C++20中NTTP与变量的类型推导规则是否一致？GCC行为存疑

你的问题核心是：template<auto A>形式的NTTP类型推导是否和普通auto变量的推导规则一致，以及GCC与其他编译器表现差异的原因。

标准中的推导规则 #

C++20对auto型NTTP的类型推导有明确规定：

• 根据标准[temp.param]/7条款，当NTTP使用auto作为占位符类型时，其推导逻辑完全等同于普通auto变量的占位符类型推导，即相当于执行auto x = 模板实参;，然后取x的类型作为NTTP的类型。
• 普通auto变量推导的核心规则之一是：忽略顶层const修饰符。例如const s obj{}; auto x = obj;，x的类型是s而非const s——因为按值初始化时，顶层const不会被保留。

回到你的代码：
t::n是constexpr声明的类类型变量，其自身类型为const s（constexpr修饰的非引用/非数组对象默认带有顶层const）。但按照标准推导规则，将其作为auto型NTTP的实参时，NTTP的类型应该被推导为s（忽略顶层const）。

编译器行为差异 #

• Clang、MSVC：符合标准规则，推导时忽略了t::n的顶层const，因此decltype(A)为s，两个static_assert均通过。
• GCC：存在实现问题，错误地保留了t::n的顶层const，将A的类型推导为const s，导致static_assert失败。这是GCC的已知兼容性问题，后续版本可能修复。

临时 workaround #

如果需要让代码在GCC上临时通过，可以显式去除实参的顶层const：

static_assert(std::same_as<a<std::remove_const_t<decltype(t::n)>(t::n)>, s>);

但这只是临时方案，标准本身要求推导过程自动忽略顶层const，无需手动处理。

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