C++使用decltype(lambda)作为默认模板参数是否为合法语法

1. 语法合法性说明 #

你尝试的typename U = decltype([](){})写法存在两个核心问题：

• C++20之前的标准版本完全禁止在模板默认实参中使用lambda表达式，OnlineGDB编译报错就是因为默认使用的是C++17及更早的标准，不符合语法要求。
• 哪怕在支持C++20的环境下，每个独立书写的lambda字面量（哪怕语法完全一致）都会生成独一无二的匿名类型，不存在跨位置的等价性：你在模板默认参数里写的lambda，和你在main函数里用于typeid测试的lambda，从类型上看完全是两个不同的东西，不可能得到匹配的结果。你提到的“默认参数在此处定义了一个全新的类型”的判断完全正确。

2. 类型显示为int的现象本质 #

你在VS2019 16.9.3下看到的U_obj类型被识别为int的结果，完全是编译器bug导致的：

• 该版本对C++20的模板默认lambda、[[no_unique_address]]属性的解析逻辑存在缺陷，错误将模板第二个参数的类型推导绑定到了第一个参数T（也就是你传入的int）上，属于未定义行为范畴的错误输出。
• 正常符合标准的编译器（开启C++20支持）要么报语法错误（不支持模板默认lambda），要么正确推导出对应的匿名lambda类型，绝不会输出和第一个模板参数一致的类型。

3. 空类型占位需求的正确实现方案 #

你提到的提前声明空结构体struct EmptyType {};的方案，是标准兼容、完全可靠的最优解：

• 该空类型符合C++对空类的定义（无成员、无虚函数、无虚基类），配合[[no_unique_address]]属性可以实现零存储开销，和你预期的“无实际内容空类型”的需求完全匹配。
• 相比lambda占位方案，自定义空类型有不可替代的优势：
  • 类型可显式命名、可重用，你可以在代码中直接通过std::is_same_v<U, EmptyType>判断是否使用了默认占位
  • 无语法兼容问题，从C++11开始即可正常使用，不受编译器版本、标准版本支持度的限制
  • 不会出现lambda类型“同名不同型”的歧义问题

补充：lambda占位的可行写法（不推荐） #

如果你确实想要复用lambda作为空占位（无实际收益），需要先在命名空间作用域定义全局lambda，再取它的类型，避免每次生成新的匿名类型：

inline const auto empty_placeholder = []() {};
template <typename T, typename U = decltype(empty_placeholder)>
struct Planet {
    T T_obj;
    [[no_unique_address]] U U_obj;
};

这种写法仅适用于C++20及以上标准，且因为lambda类型是匿名的，无法便捷判断是否为占位类型，实用性远不如自定义空结构体方案。

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