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

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

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

2025-12-14

浏览次数：次

返回列表

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是什么_c++简化递归lambda和crtp模式

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 限定的自动推导，无需写多个重载版本。

如何简化递归 lambda？

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

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

Glarity

Glarity是一款免费开源的AI浏览器扩展，提供YouTube视频总结、网页摘要、写作工具等功能，支持免费的镜像翻译，电子邮件写作辅助，AI问答等功能。

131 查看详情 Glarity

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模式的详细内容，更多请关注其它相关文章！

# 复用 # 网站seo 是什么 # 没有熊掌号seo # 丰县网站建设推广费用 # 叠彩抖音seo # 柏乡全网营销推广策划 # 房山区综合网站建设推广 # 聊城定制化网站建设 # 阿里巴巴的网站推广职能 # 网站单页推广 # 网站建设案例学 # c++ # 如何实现 # 如何选择 # 抛出 # 等功能 # 中文网 # 第一个 # 多态 # 数据结构 # 递归 # 作用域