Impl模式实现之注意内联

最近学习muduo源码时,对于内联函数有了更深刻的认知.

内联(inline)在代码执行方面具有优势,但是有时使用不当,或者稍微不注意,就会造成编译错误.

以下将通过Impl实现说明一二:

 头文件:

 1 #ifndef MUDUO_TEMP_H
 2 #define MUDUO_TEMP_H
 3 
 4 #include <memory>
 5 
 6 class Temp
 7 {
 8 public:
 9     Temp();
10     ~Temp();
11 
12 private:
13     class Impl;
14     std::unique_ptr<Impl> impl_;
15 };
16 
17 
18 #endif //MUDUO_TEMP_H

源文件:

 1 #include "Temp.h"
 2 
 3 class Temp::Impl
 4 {
 5 public:
 6     Impl() = default;
 7 
 8     ~Impl() = default;
 9 };
10 
11 Temp::Temp()
12         : impl_(new Impl())
13 {
14 
15 }
16 
17 Temp::~Temp()
18 {
19 
20 }

 解释:

(1)构造函数在源文件实现,比较容易理解,因为在头文件中并未具体实现Impl,无法通过new创建Impl实例;

(2)尽管析构函数是空的,但是也必须放在源文件中进行定义,否则编译期隐式声明的~Temp() inline展开的时候无法寻找到Impl()::~Impl的声明,会出现编译报错.

 

PS:

如果您觉得我的文章对您有帮助,可以扫码领取下红包,谢谢!

转载于:https://www.cnblogs.com/jason1990/p/9894485.html

– 来自百度多态其实可以简单看成就是用户执行同样的行为,但是因为执行者的差异,展现出不同的效果通常语言中会使用继承和动态绑定来实习这一目的(当然,你个年轻人不讲武德,用函数绑定来干这一件事情另谈)常规多态class A {public: virtual void f() {std::cout << "A\n";}};class B: public A {public: void f() {std::cout << "B\n";}};class C: public A {public: void f() {std::cout << "C\n";}};void demo(A* a) { a->f();}int main() { demo(new A); demo(new B); demo(new C); return 0;}12345678910111213141516171819202122232425直接使用std::function第二种并算不上一种方法,但是在只有一个两个虚函数时还是有用途的class A {public: std::function<void()> f; explicit A(std::function<void()>&&fun): f(std::move(fun)){}};void demo(A* a) { a->f();}int main() { demo(new A([]() {std::cout << "A\n";})); demo(new A([]() {std::cout << "B\n";})); demo(new A([]() {std::cout << "C\n";}));}123456789101112131415上述都是迟绑定在c++里面,若是要实现多态的话,实现多态利用的虚表来实现的迟绑定(类似于std::function),虚表中存放好对应函数的调用地址,以此来实现运行时选择但是,运行时绑定也不是没有负担C++中内存布局函数不能内联和优化虚表再怎么都需要占用一个指针的空间,不然,如何存放虚表指针由于是运行时决定,而不是早绑定,需要通过虚表去寻找调用地址,中间存在一个过程(虽然可以忽略不计,但是不计较今天怎么说CRTP呢?)。c++的虚表可以满足需求了c++是一门多样化的语言多样化让c++变得可以选择的方式变多了(比如上述的直接利用std::function来搞,你只管实现,剩下的交给编译器)CRTP,一般类似于这种形式template<typename T>class A {public: T* self() {return static_cast<T*>(this);} };class B: public A<B>{ };123456789核心在于,父类是个模板,模板有个参数是子类对于父类来说,只需要知道子类的名称可以生成一个指针就可以了父类在实例化时只需要有子类的声明的就ok了,由于传入的模板类会继承自己,所以自己可以向下转这个指针。于是,我们就可以这样玩:template <typename D> class Base { void f_impl(); int add_impl(int a, int b); D *self() { return static_cast<D *>(this); }protected: Base() {}public: void f() { self()->f_impl(); } int add(int a, int b) { return self()->add_impl(a, b); }};class A : public Base<A> {public: int x; A(int v): x(v) {} int add_impl(int a, int b) {return x + a + b;} void f_impl() { std::cout << "A\n"; }};class B : public Base<B> {public: int x; B(int v): x(v) {} int add_impl(int a, int b) {return x + a + b;} void f_impl() { std::cout << "B\n"; }};int main() { Base<A> *t = new A(1); t->f(); std::cout << t->add(1, 2) << "\n"; Base<B> *p = new B(1); p->f(); std::cout << p->add(1, 2) << "\n"; return 0;}12345678910111213141516171819202122232425262728293031323334353637不让父类生成对象父类只声明具体函数实现其实只是交给编译器,去codegen 生成了 几分不同的 base <T> 的类所有行为发生在编译期上述main代码里面还是重复代码了,我们是“多态”,当然要做一个统一的动作呢统一动作呢,当然也要统一生成
最新发布
04-04
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值