MSVC报C2753错误是否为Bug？C++17模板特化合规性问询

问题场景 #

以下C++17代码可在Clang 15.0.7与GCC 12.2.0编译器中正常编译通过：

template<typename T, std::size_t s = 0u>
struct A: std::false_type {};

template<typename T>
struct A<T, sizeof(T)>: std::true_type {};

static_assert(A<int, sizeof(int)>::value);

但在MSVC 19.35.32215中编译失败，报错信息如下：

error C2753: 'A<T,sizeof(T)>': partial specialization cannot match argument list for primary template
error C2607: static assertion failed

可行的Workaround #

已找到一种绕过该问题的实现方式：

template<typename T, typename S>
struct B: std::false_type {};

template<typename T>
struct B<T, std::integral_constant<std::size_t, sizeof(T)>>: std::true_type {};

template<typename T, std::size_t s = 0u>
using A = B<T, std::integral_constant<std::size_t, s>>;

static_assert(A<int, sizeof(int)>::value);

问题解答 #

原写法是否符合C++标准？ #

完全符合。C++标准禁止的是非类型模板参数的类型依赖于特化参数的情况，而原代码中，非类型参数s的类型是固定的std::size_t，仅其值sizeof(T)依赖于模板参数T，这完全在标准允许的范围内。

是否属于MSVC的Bug？ #

是的，这属于MSVC的编译器实现缺陷。主流编译器Clang和GCC都正确识别了这种合法的特化逻辑，而MSVC错误地将值依赖的场景判定为违反规则，导致编译报错。

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