template<typename T>是什么?干什么用的?

比如我们要计算两个数的加法,针对不同类型可能需要设计不同类型的函数,那么template <typename T>就可以很好的解决这个问题。

原始解决方法:

int sum(int a,int b);
double sum(double a,double b);
float sum(float a,float b);

 

但是当用template <typename T>后为:

template <typename T>
T sum(T a, T b)
{
  return a+b;
}

 

我们发现,代码变得简单了很多。

– 来自百度多态其实可以简单看成就是用户执行同样的行为,但是因为执行者的差异,展现出不同的效果通常语言中会使用继承和动态绑定来实习这一目的(当然,你个年轻人不讲武德,用函数绑定来干这一件事情另谈)常规多态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
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值