SFINAE条件依赖待声明函数时是否必为假？代码合法性分析

问题1：当SFINAE的生效条件依赖于正在声明的函数时，该条件是否会被保证判定为假？ #

答案是否定的——这种情况下条件不一定为假，具体取决于编译器对候选函数的处理规则。结合你给出的第一段代码：

#include <type_traits>

struct A {};

struct B
{
    template <typename T, std::enable_if_t<!std::is_constructible_v<B, T &&>, std::nullptr_t> = nullptr>
    B(T &&) {}
};

int main()
{
    B b(A{});
}

这段代码是合法的，编译器应当接受它。原因在于：当通过SFINAE检查std::is_constructible_v<B, T&&>时，C++标准规定，正处于声明过程中的这个模板构造函数，不会被纳入is_constructible的候选构造函数集合。也就是说，此时编译器还未将该构造函数注册为B的可用构造函数，因此std::is_constructible_v<B, T&&>会判定为false，取反后条件成立，SFINAE不会排除这个构造函数，最终它能被正常实例化并用于构造B对象。

为什么requires子句版本会触发错误？ #

将约束改为C++20的requires子句后：

#include <type_traits>

struct A {};

struct B
{
    template <typename T>
    requires(!std::is_constructible_v<B, T &&>)
    B(T &&) {}
};

int main()
{
    B b(A{});
}

Clang和GCC报错提示“satisfaction of constraint depends on itself”，这是符合标准的行为，而MSVC接受则是编译器实现差异。核心原因是SFINAE和requires子句的约束检查逻辑不同：

• SFINAE的检查是在重载决议的候选函数筛选阶段，只会考虑已经完成声明的函数，不会包含正在声明的当前函数；
• requires子句的约束检查则会尝试完整评估表达式的合法性，这个过程会考虑所有可见的声明——包括正在声明的这个模板构造函数。这就形成了循环依赖：判断!std::is_constructible_v<B, T&&>需要知道B能否被T&&构造，而这又依赖于当前构造函数的约束是否满足，违反了C++标准中约束不能存在循环依赖的规定，因此代码不合法。

结论 #

• 第一段std::enable_if_t版本代码：合法，符合C++标准，编译器应接受；
• 第二段requires子句版本代码：不合法，符合标准的编译器应当拒绝，MSVC的接受属于实现上的兼容性处理。

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