c++23的deducing this是什么_c++简化递归lambda和CRTP模式

C++23的deducing this允许成员函数显式使用auto推导调用对象类型，简化泛型编程。1. 通过template void func(this Self& self)语法实现this指针自动推导，避免多重重载；2. 在递归lambda中，定义operator()(this auto& self, int n)可直接递归调用self(n-1)，消除std::function开销；3. 对CRTP模式，原需模板参数Derived的静态多态可改写为poly_base中template void call_impl(this Self& self)调用self.implementation()，无需继承依赖，提升灵活性和复用性。该特性虽小但显著增强泛型表达能力。

C++23 引入的 deducing this 是一项重要语言特性，它让成员函数能够自动推导调用对象的类型，从而简化泛型编程中的代码编写。这项特性不仅提升了代码的灵活性，还在递归 lambda 和 CRTP（Curiously Recurring Template Pattern）等常见模式中带来了显著的便利。

什么是 deducing this？

在传统 C++ 中，成员函数的第一个隐式参数是 this 指针，其类型固定为指向类类型的指针（如 T* 或 const T*）。而 deducing this 允许我们将成员函数的第一个参数显式写出，并使用 auto 来让编译器自动推导调用对象的类型。

语法如下：

这相当于把 this 显式化并支持值类别和 const 限定的自动推导，无需写多个重载版本。

立即学习“C++免费学习笔记（深入）”；

如何简化递归 lambda？

标准 lambda 不支持直接递归，因为它们没有名字。通常需要通过 std::function 包装或外部引用实现，但会带来性能开销或捕获问题。

借助 deducing this，可以在类或结构体中定义可调用对象，使其自然支持递归调用：

NameGPT

免费的名称生成器，AI驱动在线生成企业名称及Logo

119

查看详情

struct recursive_callable {
    auto operator()(this auto& self, int n) -> int {
        if (n         return n * self(n - 1); // 递归调用
    }
};

// 使用
recursive_callable fact;
int result = fact(5); // 正确调用

这种方式避免了 std::function 的运行时开销，同时保持了 lambda 风格的简洁性。

如何优化 CRTP 模式？

CRTP 常用于静态多态，例如：

template
struct base {
    void interface() {
        static_cast>(this)->implementation();
    }
};

struct derived : base {
    void implementation() { /...*/ }
};

有了 deducing this，可以进一步泛化基类操作，甚至不需要模板参数就能访问派生类成员（在合适作用域下）：

struct poly_base {
    template
    void call_impl(this Self& self) {
        self.implementation(); // 自动推导 self 类型
    }
};

struct my_concrete : poly_base {
    void implementation() { /.../ }
};

my_concrete obj;
obj.call_impl(); // 成功调用 implementation

这种写法不再依赖 CRTP 的继承结构，也能实现类似静态分发的效果，代码更灵活、复用性更高。

基本上就这些。deducing this 看似小改动，实则打通了泛型编程中对象自引用的表达瓶颈，让递归 lambda 和泛型接口设计变得更自然。不复杂但容易忽略。

以上就是c++++23的deducing this是什么_c++简化递归lambda和CRTP模式的详细内容，更多请关注php中文网其它相关文章！