C++20中非类型模板参数的转换构造与推导规则咨询

问题描述 #

当将int类型的T::v传入t<>时，预期N会通过n的转换构造函数创建，但GCC试图在c<int, 3>::v中查找成员i，这与Clang、MSVC的编译结果不一致。请问C++20标准对此类非类型模板参数的构造或推导有何规定？

代码示例 #

#include <concepts>

template<auto...>
struct n {
    constexpr n(int x): i{x} {}
    int i;
};
template<typename T, T V>
struct c { static constexpr T v = V; };

template<n N>
using t = c<decltype(N.i), N.i>;

// clang ok, gcc nope, msvc ok
static_assert([]<typename T = t<3>>
    { return std::same_as<T, t<T::v>>; }());

GCC错误信息 #

<source>: In instantiation of '<lambda()> [with T = c<int, 3>]':
<source>:15:41:   required from here
<source>:15:19: error: request for member 'i' in 'c<int, 3>::v', which is of
non-class type 'const int'
   15 |     { return std::same_as<T, t<T::v>>; }());
      |              ~~~~~^~~~~~~~~~~~~~~~~~~

解答 #

标准规定 #

C++20对非类型模板参数（NTTP）的转换与推导有明确要求：

• 当模板期望的NTTP是类类型时，若传入的实参是可转换为该类类型的非类类型，编译器必须尝试通过常量表达式语境下的用户定义转换将实参转换为目标类类型。
• 这里的n类拥有constexpr的转换构造函数n(int x)，满足常量表达式转换的要求，因此int类型的T::v应当被隐式转换为n对象，再用于模板实例化。

编译器行为差异原因 #

GCC的错误属于实现缺陷：它没有执行从int到n的隐式转换步骤，直接将T::v当作n类型尝试访问成员i，导致类型不匹配错误。而Clang和MSVC的行为符合标准，正确完成了隐式转换。

兼容处理方案 #

若需要兼容GCC，可以显式构造n对象，将t<T::v>修改为t<n{T::v}>，强制触发转换逻辑，即可让GCC正确编译。

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