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 来让编译器自动推导调用对象的类型。
语法如下：
template
void func(this Self& self) {
// 使用 self 调用成员
}
这相当于把 this 显式化并支持值类别和 const 限定的自动推导，无需写多个重载版本。
立即学习“C++免费学习笔记（深入）”；
如何简化递归 lambda？
标准 lambda 不支持直接递归，因为它们没有名字。通常需要通过 std::function 包装或外部引用实现，但会带来性能开销或捕获问题。
借助 deducing this，可以在类或结构体中定义可调用对象，使其自然支持递归调用：
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模式的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1488911.html
微信扫一扫 
支付宝扫一扫 
