c++23的Deducing this是什么，如何改变类成员函数的设计？ (显式对象参数)_技术教程

de
ducing this是C++23引入的语法，将成员函数隐式this参数显式化为带类型占位符的形参，支持对cv/ref限定符进行模板推导；基本形式为在参数列表首位写this auto& self等。

什么是 `deducing this`（显式对象参数）

这是 C++23 引入的语法，允许把成员函数的第一个隐式 this 参数写成显式的、带类型占位符的形参，从而让编译器能对 this 的 cv/ref 限定（如 const、&&）做模板参数推导。它不是“重载 this”，而是把原本隐式绑定的对象，变成可参与模板推导的普通形参。

怎么写显式对象参数的成员函数

基本形式是：在函数声明中把 this 拿出来，写在参数列表最前面，类型用 auto& 或更精确的 MyClass& 等，支持 const、volatile、引用限定符；若用 auto，就触发推导。

struct Vec {
    int x = 0;

    // 显式对象参数 + auto → deducing this
    void print(this auto& self) {
        std::cout << "x = " << self.x << "\n";
    }

    // 也可限定 const
    int get(this const auto& self) const { return self.x; }

    // 支持右值限定（注意：this 后面的 && 是函数的引用限定符，不是参数的）
    void consume(this Vec&& self) { x = -1; }
};

this auto& 表示“接受任意 cv/ref 限定的 Vec 对象，并推导其完整类型”
不能写 this auto self（必须带引用，因为 this 总是引用语义）
显式对象参数必须是第一个参数，且只能有一个
仍可有其他普通参数，例如 void set(this auto& self, int v)

它如何改变成员函数重载与设计习惯

以前靠 const/non-const 成员函数重载区分读写权限，现在可以用一个 auto& 函数覆盖多种情况，再用 if constexpr 分支处理逻辑差异——尤其适合通用工具类或需要精细控制 cv/ref 行为的场景。

struct Box {
    std::string data;

    // 替代 const 和 non-const 两个版本
    std::string& get(this auto& self) {
        if constexpr (std::is_const_v) {
            return const_cast(self.data);
        } else {
            return self.data;
        }
    }
};