C++17中GCC/Clang的SFINAE表达式不同位置求值结果差异问题咨询

问题1：你的实现存在两处核心错误 #

• 误用if constexpr的分支检查规则：你两个场景下的if constexpr判断条件都不依赖模板参数，第一个场景的main是普通函数（非模板上下文），第二个场景的Build模板的判断条件用了固定类型Test而非模板参数T。按照C++标准，这种情况下if constexpr的所有分支都会被编译器做全量语法和语义检查，哪怕条件为假的分支永远不会执行，里面的错误代码也会触发编译报错。
• is_complete实现存在固有ODR（单一定义规则）风险：如果同一个翻译单元内，你先在Test不完整时实例化了is_complete<Test>得到value=false，之后补全了Test的定义再实例化一次is_complete<Test>，两次得到的结果不一致，属于未定义行为，你当前的测试没出问题只是巧合。

问题2：该现象是C++标准规定的合法特性，不是编译器Bug #

C++标准对if constexpr丢弃分支的检查规则明确要求：

• 若if constexpr处于非模板上下文（如普通函数、全局作用域），所有分支必须是合法代码，不会跳过任何检查。
• 若if constexpr处于模板上下文，只有当分支代码依赖当前模板的参数、且判断条件也依赖模板参数时，条件为假的丢弃分支才会跳过实例化阶段的语义检查，否则仍然会全量检查。
  你遇到的报错完全符合上述规则，不属于编译器缺陷。

问题3：可以通过调整代码结构绕过限制，可行方案如下 #

方案1：让if constexpr逻辑依赖模板参数 #

把检测逻辑封装到模板中，将被检测类型作为模板参数传入，让判断条件和分支代码都依赖模板参数，这样丢弃分支就会跳过检查：

// 更规范的is_complete实现（C++17及以上）
template <typename T, typename = void>
constexpr bool is_complete_v = false;
template <typename T>
constexpr bool is_complete_v<T, std::void_t<decltype(sizeof(T))>> = true;

// 封装为模板，检测类型T作为模板参数
template<typename T>
int test_logic()
{
    if constexpr (is_complete_v<T>)
    {
        static_assert(is_complete_v<T>, "Test is not complete");
        return 1;
    }
    return 0;
}

int main(void)
{
    return test_logic<Test>();
}

第二个Build函数的场景调整为：

template<typename T>
std::unique_ptr<Base> Build(void)
{
    if constexpr (is_complete_v<T> && std::is_convertible_v<std::unique_ptr<T>, std::unique_ptr<Base>>)
    {
        return std::make_unique<T>();
    }
    return std::unique_ptr<Base>();
}

// 调用时传入目标类型
auto ptr = Build<Test>();

方案2：C++20及以上可直接用requires表达式简化检测 #

不用单独实现is_complete，直接在if constexpr中写requires检测：

template<typename T>
std::unique_ptr<Base> Build(void)
{
    if constexpr (requires { sizeof(T); requires std::is_convertible_v<std::unique_ptr<T>, std::unique_ptr<Base>>; })
    {
        return std::make_unique<T>();
    }
    return std::unique_ptr<Base>();
}

注意事项 #

所有基于sizeof检测类型完整性的实现都存在ODR风险，使用时必须保证：在第一次实例化检测逻辑的位置之后，被检测类型的完整性不会发生变化，也就是不要在同一个翻译单元内先检测不完整类型，之后再补全该类型的定义。

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