每个 lambda 应该有一个唯一的未知类型。是否可以保证同一作用域中的两个 lambda 具有不同的类型?
int main() {
auto l1 = [](){};
auto l2 = [](){};
static_assert(std::is_same<decltype(l1), decltype(l2)>::value == false, "Types cannot be equal!");
}
这可行,但我想知道是否可以保证断言永远不会触发。
是的,每个 lambda 表达式都会生成一个唯一的类型(C++ 标准,[expr.prim.lambda]/3):
lambda 表达式的类型(也是闭包对象的类型)是unique,未命名的非联合类类型(称为闭包类型),其属性如下所述。
[已添加强调]
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)