c++23中的新功能之十七显示this的应用

一、显示this

在前面的文章中分析了显示this(Deducing This),具体的内容请移步《c++23新功能之二语法中的Deducing This》，本篇对显示this对实际应用中的一些完善和更新形式进行分析说明，抛砖引玉。

二、CRTP的应用

在前面的学习中，学过CRTP（Curiously Recurring Template Pattern ，奇异递归模板模式），其实就是在传统的子继承父的基础上，在利用模板时，将子类传入到父类模板中去的一种转置继承。在前面的文中也对其中的一些用法和特点进行了分析说明。重点是知道了一般这种情况都是在模板的元编程中使用。下面看一下在c++23前后的应用方式的不同情况：

1、传统方式

#include <iostream>
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.<Derived>(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);//vcBuilderOld().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;
}