在C++概念约束中使用变量模板为何会引发编译错误？

正常工作的实现 #

最初的概念与函数重载可以正常匹配：

template< typename T, std::size_t Value >
concept Is_ = requires(T&&)
{
    requires Value == std::remove_cvref_t< T >::value;
};

template< Is_< 2 > T >
void foo(T&&)
{
    std::cout << "Value is 2!" << std::endl;
}

template< typename T >
void foo(T&&)
{
    std::cout << "Either no value or it isn't 2!" << std::endl;
}

调用示例：

foo(std::integral_constant< std::size_t, 2 >{}); // 匹配约束重载
foo(std::tuple{}) // 匹配通用实现

修改后出现编译错误的实现 #

将概念中的直接成员访问替换为自定义变量模板t_value：

template< typename T >
inline constexpr auto t_value = T::value;

修改后的概念：

template< typename T, std::size_t Value >
concept Is_ = requires(T&&)
{
    requires Value == t_value< std::remove_cvref_t< T > >;
};

此时触发编译错误：

main.cpp: In instantiation of 'constexpr const auto t_value':
main.cpp:11:23: required by substitution of 'template requires Is_<T, 2> void foo(T&&) [with T = int]'
main.cpp:27:8: required from here
main.cpp:6:29: error: 'value' is not a member of 'int'
6 | constexpr auto t_value = T::value;

错误原因解析 #

核心差异在于概念约束中表达式的“替换失败是否被视为SFINAE”的规则：

• 原代码中，std::remove_cvref_t<T>::value是直接在requires表达式中访问类成员：当类型T没有value成员时，这个表达式的替换失败属于SFINAE友好的错误——编译器会判定该约束不满足，直接跳过这个重载版本，转而匹配通用实现，不会触发硬错误。
• 改用变量模板t_value<std::remove_cvref_t<T>>后，变量模板的实例化是一个独立的模板实例化过程：当std::remove_cvref_t<T>没有value成员时，t_value的实例化会产生直接的编译错误，这个错误不属于requires表达式替换失败的范畴，无法被SFINAE机制忽略，因此编译器会抛出硬错误，而非跳过该重载。

简单总结：直接访问成员的失败是约束检查的一部分，会被SFINAE跳过；变量模板的实例化失败是独立的模板错误，不受SFINAE保护，所以导致编译报错。

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