检测结构类型（structural type）的简化方法是否正确？是否属GCC Bug？

问题概述 #

为判断某类型是否是NTTP支持的结构类型，存在两种concept实现方案：

原版验证方案 #

template <auto>
struct nttp_test {};

template<class T> 
concept structural = requires { []<T x>(nttp_test<x>) { }; };

开发者提出的简化方案 #

template<class T>
concept structural = requires { []<T>{}; };

编译器行为差异 #

测试中不同编译器对简化方案的处理出现明显分歧：

• GCC下，所有类型均被判定为满足structural概念；
• Clang和MSVC下，int&&、void、std::ostream会被判定为不满足（返回0）；
• 若使用原版方案，GCC也会对上述类型返回0，与Clang、MSVC表现一致。

结论：简化方案不正确，GCC存在Bug #

简化方案的核心逻辑完全偏离了NTTP结构类型的验证要求：[]<T>{}声明的是带类型模板参数的lambda，而非带非类型模板参数的lambda，这根本没有验证T能否作为NTTP的类型。

原版方案的验证逻辑才是合规的：它尝试将T作为非类型模板参数（T x），并通过实例化nttp_test<x>来验证合法性——只有当T是结构类型时，这一系列操作才能通过编译，从而满足concept。

GCC对简化方案的错误判定，是因为它错误地将“类型模板参数lambda的合法性”等价于“类型可作为NTTP类型”，这违反了C++标准的规定。

内容的提问来源于stack exchange，提问作者Eric M Schmidt