Lambda生成的函数对象的C++ [[deprecated]]属性语义及编译器差异问题

问题背景 #

CppCon2022相关演讲提到，C++23之前可以为Lambda生成的function object指定属性，示例代码如下：

auto a = [] () [[deprecated]] { return 42; };

但不同编译器对这段代码的处理存在明显分歧：

• Clang直接报错：'deprecated' attribute cannot be applied to type
• GCC和MSVC可正常编译，但调用该Lambda时不会触发过时警告

结合cppreference的说明：Lambda尾部的属性是针对闭包类型调用运算符的类型，而非运算符本身，这里需要明确[[deprecated]]属性的实际语义。

属性语义与编译器分歧原因 #

1. 标准定义的模糊点
   C++23之前的标准中，Lambda尾部的属性被绑定到闭包类型调用运算符的函数类型（比如示例中的int()），而非调用运算符这个函数实体。而[[deprecated]]属性的常规作用是标记函数、类等实体为过时，但标准并没有明确规定将其应用到函数类型的行为。

2. 各编译器的处理逻辑

   • Clang：严格遵循属性的适用范围，认为[[deprecated]]不能应用到函数类型，因此直接报错。
   • GCC/ MSVC：接受将属性应用到函数类型，但由于调用Lambda时实际调用的是闭包的调用运算符实体（而非函数类型），而该实体并未被标记为deprecated，所以使用时不会触发警告——这也是编译通过但无警告的核心原因。

C++23的修正 #

C++23明确了Lambda尾部的属性直接应用到调用运算符本身，而非其函数类型。此时相同写法的代码会被所有符合标准的编译器识别为标记调用运算符为过时，调用该Lambda时会正常触发deprecated警告，彻底解决了之前的编译器分歧。

内容的提问来源于stack exchange，提问作者VainMan