C++23 deducing this怎么在递归lambda中不用额外传参调用自己

大敏吖_3902

大敏吖_3902

2026-09-29

486人浏览

原创

根本原因是deducing this仅适用于非静态成员函数,而lambda的operator()是静态函数,不支持该语法。

c++23 deducing this怎么在递归lambda中不用额外传参调用自己

递归 lambda 里 deducing this 不能直接调用自己

根本原因:C++23 的 deducing this 只能用于 *非静态成员函数*(包括隐式对象参数的友元函数),而 lambda 表达式本质是闭包类型,其 operator() 是静态函数(除非捕获 *this 并显式声明为 mutable + 成员访问),不支持 deducing this 语法。所以你写不出 [&](this auto&& self, int n) { return n —— 这段代码在任何标准下都非法,this 不能出现在 lambda 参数列表中。

替代方案:用 std::function 或 Y 组合子绕过类型未定问题

lambda 自引用的难点在于:定义时类型尚未完成,无法在捕获列表或参数中直接写出自身类型。常见解法不是靠 deducing this,而是让类型可推导或延迟绑定:

  • std::function 显式指定签名,把递归调用“擦除”掉类型依赖:
    std::function<int> fact = [&](int n) -> int {
        return n </int>
  • Y 组合子(无状态、不依赖 std::function):
    auto y = [](auto f) { return [=](auto... xs) { return f(f, std::forward<decltype>(xs)...); }; };
    auto fact = y([](auto self, int n) -> int {
        return n </decltype>
  • 如果必须用 deducing this 风格,得退到类成员函数:把逻辑封装进一个 struct,用 template auto operator()(this Self&& self, int n),然后实例化后调用 —— 但这已不是 lambda 了。

为什么不用 deducing this 反而是更干净的解法

强行在 lambda 中模拟 deducing this 会引入额外模板参数、自引用捕获、生命周期风险(比如按值捕获导致闭包复制后 self 指向失效)。而 std::function 方案虽然有轻微运行时开销,但语义清晰、调试友好、兼容 C++11 起;Y 组合子零开销但可读性差,且需注意完美转发和右值引用陷阱(例如 self(self, n-1) 中第二次 self 是左值,可能触发拷贝)。

真正需要 deducing this 的场景,是泛型成员函数要区分调用者是左值/右值/const 对象 —— 递归计算本身并不从中受益。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载

编译器支持与实际限制

即使你用 Clang 17+ 或 GCC 14 启用了 -std=c++23,下面这段仍然报错:

auto bad = [](this auto&& self, int n) { return n == 0 ? 1 : n * self(n-1); };
error: 'this' not allowed in lambda parameter-declaration-clause

。这不是实现不全,是标准明确禁止——lambda 的 operator() 不是成员函数,没有隐式对象参数,deducing this 语法在此无意义。

别被“C++23 新特性”误导:它解决的是成员函数模板推导歧义,不是给 lambda 加自引用能力。真要简洁递归,老老实实用 std::function 或提前命名函数对象。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.15

1111

5

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

2025.11.08

345

7

Python lambda详解
Python lambda详解

本专题整合了Python lambda函数相关教程,阅读下面的文章了解更多详细内容。

2026.01.05

634

7

C++ Lambda 表达式与函数式编程
C++ Lambda 表达式与函数式编程

深入讲解 C++ Lambda 表达式与函数式编程范式,涵盖 Lambda 基础语法与返回值推导、值捕获与引用捕获的区别与陷阱、初始化捕获(C++14 广义捕获)、泛型 Lambda(auto 参数)、mutable 关键字修改捕获变量、std::function 类型擦除与函数包装、std::bind 参数绑定(及其被 Lambda 替代的趋势)、Lambda 在 STL 算法(sort/transform/for_each/remo

2026.05.06

809

22

Java 函数式接口与 Lambda 进阶技巧
Java 函数式接口与 Lambda 进阶技巧

在 Java Stream 基础之上进一步深入函数式编程,涵盖 @FunctionalInterface 注解与自定义函数式接口设计、四种方法引用(静态/实例/对象/构造器)的使用场景、Lambda 中的 effectively final 变量捕获规则、函数组合(andThen/compose)与柯里化技巧、Comparator 链式比较器构建、CompletableFuture 异步函数式编排、Reactor / RxJava 响应

2026.05.08

448

28

DBeaver怎么导入数据
DBeaver怎么导入数据

DBeaver数据导入专题,整理Excel、CSV、SQL、TXT等常见文件的数据导入方法,涵盖目标数据库选择、数据表创建、字段映射、数据类型设置及导入参数配置等操作,帮助用户将本地文件中的数据写入数据库,并了解批量导入、重复数据处理和导入失败等常见问题的解决方法。

2026.11.05

20

12

DBeaver安全防护教程大全
DBeaver安全防护教程大全

DBeaver安全防护专题,围绕数据库连接安全、账号密码保护和访问权限管理展开,整理SSL/TLS加密连接、SSH隧道、数据库凭据保存及证书验证等配置方法,同时介绍敏感信息保护、远程连接风险和高权限账号使用等注意事项,帮助用户提高数据库日常管理的安全性。

2026.11.05

20

12

DBeaver连接创建与配置教程
DBeaver连接创建与配置教程

本专题聚焦DBeaver数据库连接配置与管理,覆盖从新建连接、选择数据库类型到填写连接参数和验证连接的完整流程。针对MySQL、PostgreSQL、SQL Server等常见数据库,整理相应的连接设置方法,并提供驱动缺失、认证失败和连接异常等问题的排查方向。

2026.11.04

20

16

XORM框架结构体映射与表结构同步
XORM框架结构体映射与表结构同步

本专题围绕XORM框架的结构体映射展开,说明表名与字段的命名策略、xorm标签常用属性、主键自增与时间字段自动填充,并演示Sync2自动建表、增量字段升级、索引声明与反向生成结构体的完整流程。

2026.11.04

20

15

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ 手册教程
C++ 手册教程

共41课时 | 78.6万人学习

C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习