为什么lambda捕获变量的decltype行为不符合预期？

问题原因分析 #

这个现象是C++标准对decltype推导规则、lambda捕获规则共同作用的结果，分三部分解释：

1. 函数f的形参x断言通过的原因
   函数f的形参x的声明类型就是const int，而decltype作用于无括号的标识符时，会直接推导该标识符的声明类型，因此decltype(x)得到const int，std::is_const_v判定为真，断言通过。
2. lambda简单按值捕获的n断言失败的原因

• decltype的操作数属于不求值语境，不会触发变量的ODR（One Definition Rule）使用。对于简单按值捕获的变量，在不求值语境下decltype会直接引用lambda外部原始变量的类型。本例中外部main函数里的n声明类型是int，没有const修饰，因此decltype(n)得到的是int，std::is_const_v判定为假，断言失败。
• 你在lambda体内无法修改n，和n本身的类型是否带const无关：是因为默认lambda的operator()是const成员函数，在const成员函数内不允许修改普通非mutable的闭包成员变量。

3. lambda初始化捕获的m断言通过的原因

• 初始化捕获m = n的本质是在lambda闭包内新建一个独立的成员变量，不存在对应的外部原始实体，因此decltype(m)只能推导闭包内该成员的类型。
• 对于没有加mutable修饰的lambda，其operator()是const成员函数，在const成员函数内访问闭包成员时，decltype推导会带上const限定，因此decltype(m)得到const int，std::is_const_v判定为真，断言通过。如果给lambda加上mutable修饰，这个断言就会失败。

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