在前面的文章中分析了显示this(Deducing This),具体的内容请移步《c++23新功能之二语法中的Deducing This》,本篇对显示this对实际应用中的一些完善和更新形式进行分析说明,抛砖引玉。
在前面的学习中,学过CRTP(Curiously Recurring Template Pattern ,奇异递归模板模式),其实就是在传统的子继承父的基础上,在利用模板时,将子类传入到父类模板中去的一种转置继承。在前面的文中也对其中的一些用法和特点进行了分析说明。重点是知道了一般这种情况都是在模板的元编程中使用。下面看一下在c++23前后的应用方式的不同情况:
1、传统方式
#include
template <class T>
class Base
{
public:
void Display()
{
static_cast<T*>(this)->Data();
}
static void Call()
{
T::Call();
}
};
class Derived : public Base<Derived>
{
public:
void Data() { std::cout << "Derived function :Data()" << std::endl; };
static void Call() { std::cout << "Derived function :Call()" << std::endl; };
};
int main()
{
Derived d;
Base<Derived> *b = &d;
b->Display();
b->Call();
}
这个例子非常简单,在前文也出现过。
2、c++23的应用方式
class Base
{
public:
template<typename T>
void Display(this T&&t)
{
t.Data();
}
};
class Derived : public Base
{
public:
void Data() { std::cout << "Derived function :Data()" << std::endl; };
};
int main()
{
Derived d;
Base b;
b.Display(d);
//b.(std::move(d));//ok other
}
1、传统方式
举一个构建者的例子:
template <typename T = void>
class BuilderOld
{
using Derived = std::conditional_t<std::is_void_v<T>, BuilderOld, T>;
public:
Derived& owner()
{
std::cout << "Builder owner" << std::endl;
return *static_cast<Derived*>(this);
}
public:
Derived& setColor(int color) { std::cout << "color is: "<<color << std::endl; return owner(); }
Derived& setAge(int age) { std::cout << "age is:"<<age << std::endl; return owner(); }
Derived& setSex(int sex) { std::cout << "sex is:"<<sex << std::endl; return owner(); }
};
class DOld :public BuilderOld<DOld>
{
public:
DOld& setLen(int l) { std::cout << "set len is:" <<l<< std::endl; return *this; }
DOld& setWidth(int w) { std::cout << "set width is:"<<w << std::endl; return *this; }
};
int main()
{
BuilderOld<>().setColor(1).setAge(2).setColor(3).setSex(6);//vc
BuilderOld().setColor(1).setAge(2).setColor(3).setSex(6);//g++
DOld().setColor(2).setLen(9).setWidth(9).setSex(9);
return 0;
}
2、c++23中的应用方式
在C++23中,使用显示this来对其进行处理:
class Builder23
{
public:
template <typename T>
owner& setColor(this T&& t,int color) { std::cout << "set color is:" << color << std::endl; return owner; }
template <typename T>
owner& setAge(this T&& t,int age) { std::cout << "set age is:" << age << std::endl; return owner; }
template <typename T>
owner& setSex(this T&& t,int sex) { std::cout << "set sex is:" << sex << std::endl; return owner; }
};
class D23 :public Builder23
{
public:
D23& setLen(int l) { std::cout << "c++23:set len is:" << l << std::endl; return *this; }
D23& setWidth( int w) { std::cout << "c++23:set width is:" << w << std::endl; return *this; }
};
int main()
{
Builder23().setColor(1).setAge(9).setColor(11).setSex();
D23().setColor().setLen().setWidth().setSex();
return 0;
}
在Builder中,不一定非要这种流式调用的方法,其它方法也有很多。重点在于如何真正理解Builder的本身存在的目的。在c++中,实现流式的方法有不少方式,但采用CRTP的方式是一种在编译期处理的情况,这就看具体的需要来决定采用哪种情况了。
学以致用,用才是关键。学而不用,和不学没有什么区别。具体到计算机的技术上,学而不用,简单来说时间长会忘记,另外一个问题是,计算机技术的迅速更迭,导致形成自身的技术断层,甚至某些技术直接就被淘汰了。这样,再想形成一个完整的知识体系,就非常困难了。同样,也不利于快速的跟进新技术的发展。