C++ Lambda表达式中第二个属性列表的作用是什么？

C++23允许在lambda表达式的方括号后添加属性列表，示例如下：

auto lambda = [] [[nodiscard]]
{
    return 42;
};

但lambda语法中存在两个可放置属性列表的位置，分别位于参数列表的前后：

auto lambda = [] [[nodiscard]] () [[deprecated]]
//               (1)~~~~~~~~~~    (2)~~~~~~~~~~~  // (2)位置看似无作用
{
    return 42;
};

这两个属性列表作用于不同对象，结合C++标准描述可以明确差异：

... [位置(2)处的]属性说明序列属于对应函数调用运算符或运算符模板的类型。
[位置(1)处的]属性说明序列属于对应函数调用运算符或运算符模板。

核心区别如下：

• 位置(1)的属性直接作用于lambda的调用运算符（即operator()成员函数实体），这是C++23新增的属性位，像[[nodiscard]]这类常用属性都能在此生效。
• 位置(2)的属性作用于调用运算符的函数类型，而非函数本身。

由于绝大多数标准属性（如[[nodiscard]]、[[deprecated]]）都是为函数实体设计的，无法应用于函数类型，因此在位置(2)放置这类属性时会触发编译器警告（比如Clang提示'...' attribute cannot be applied to types）。

能合法放在位置(2)的属性非常有限，标准中几乎没有通用的标准属性，更多是编译器特定的扩展属性——这类属性需要针对函数类型生效，实际开发中这个位置的使用场景极少。

另外需要说明：位置(2)在C23之前就已存在，位置(1)则是通过P2173R1提案在C23中新增的，目的是填补lambda调用运算符无法直接添加属性的空白。

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