C++23新特性：显式对象形参与显式对象成员函数

文章目录

C++23标准引入了一项重要的语言特性------显式对象形参与显式对象成员函数，又名"推导 this"（Deducing this，P0847R7）。这一特性改变了我们编写成员函数的方式，为模板元编程和设计模式的实现带来了新的可能性。

一、背景与动机

在C++23之前，成员函数的this指针类型是隐式的，这在某些情况下会带来不便。例如，当需要为一个类提供多个重载的成员函数以应对不同类型的对象（如const和非const对象、左值和右值对象）时，代码会变得冗余。而显式对象形参允许我们明确指定this的类型，让编译器能够根据对象的实际类型和值类别来推导出this的类型。

二、语法与基本使用

显式对象形参的语法为：

cpp 复制代码

ret-type member-function-name(this type-name param-name)

例如，以下代码展示了如何使用显式对象形参来定义一个成员函数：

cpp 复制代码

struct A {
    template<typename Self>
    void foo(this Self&& self) {
        // do something
    }
};

在这个例子中，Self是一个模板参数，它代表了对象的实际类型和值类别。当调用foo函数时，编译器会根据对象的类型和值类别来推导出Self的具体类型。

三、优势与应用场景

（一）简化代码

显式对象形参可以减少代码冗余。在C++23之前，为了处理不同类型的对象，可能需要编写多个重载的成员函数。而使用显式对象形参后，可以通过一个模板函数来处理所有情况。例如：

cpp 复制代码

// Before
struct S_implicit {
    int data_;

    int& foo() & { return data_; }
    const int& foo() const& { return data_; }
};

// After
struct S_explicit {
    int data_;

    template <class Self>
    auto&& foo(this Self& self) {
        return std::forward<Self>(self).data_;
    }
};

（二）提升模板编程灵活性

在模板元编程中，显式对象形参使得成员函数能够更灵活地处理不同类型的对象。这为实现一些复杂的模板模式，如Curiously Recurring Template Pattern（CRTP），提供了更简洁的语法。例如：

cpp 复制代码

struct Base { void name(this auto&& self) { self.impl(); } };
struct D1 : Base { void impl() { std::puts("D1::impl()"); } };
struct D2 : Base { void impl() { std::puts("D2::impl()"); } };

不再需要使用static_cast进行转换，直接调用即可。

（三）与Lambda表达式结合

显式对象形参还可以与Lambda表达式结合使用，为Lambda表达式提供递归调用的能力。例如，以下代码展示了一个递归的Lambda表达式：

cpp 复制代码

auto fib = [](this auto&& self, int n) {
    if (n <= 1)
        return n;
    else
        return self(n - 1) + self(n - 2);
};

四、限制与注意事项

显式对象形参只能用于非虚的非静态成员函数，并且必须是函数的第一个形参。此外，在使用显式对象形参时，需要注意重载决议的规则。例如，当存在多个重载的成员函数时，编译器会根据显式对象形参的类型和值类别来选择最合适的函数。

五、总结

C++23的显式对象形参与显式对象成员函数为C++编程带来了新的灵活性和简洁性。它不仅简化了代码，还提升了模板编程的能力。然而，这一特性也引入了一定的理解成本。开发者在使用时需要仔细考虑重载决议的规则，以确保代码的正确性和可读性。随着C++23标准的逐步普及，相信这一特性将在更多场景中得到应用，为C++开发带来更多的便利和创新。