C++ if constexpr条件块编译报错的原因及解决方法

C++ 中if constexpr的分支丢弃机制有严格的适用前提：只有当判断条件是依赖模板参数的常量表达式时，不满足条件的分支才会在模板实例化阶段被丢弃，跳过语义合法性检查。
你的代码中main是普通非模板函数，HasFriction<A, C>::value是编译期就能直接确定的常量（值为false），不依赖任何待推导的模板参数。这种场景下编译器会对if constexpr的两个分支做全量语义检查，哪怕编译期已经确定会走else分支，依然会校验if分支内的代码合法性：MyStruct<A,C>继承的是空结构体Friction<false>，不存在value成员，访问f.value自然触发编译错误。

将依赖if constexpr分支丢弃特性的逻辑封装到模板函数中，让判断条件绑定模板参数，此时不满足条件的分支会被正确丢弃，不会校验无效的成员访问逻辑。
修复后的完整代码如下：

struct A{};
struct B{};
struct C{};

template <typename J0, typename J1>
struct HasFriction {
    constexpr static bool value = false;
};

template <> struct HasFriction<A,B> {
    constexpr static bool value = true;
};

template <bool> struct Friction { };
template <> struct Friction<true> { int value = 4; };

template <typename J0, typename J1>
struct MyStruct : public Friction<HasFriction<J0, J1>::value> {};

// 逻辑封装为模板函数，判断条件依赖模板参数
template <typename J0, typename J1>
int run_test() {
    if constexpr (HasFriction<J0, J1>::value) {
        MyStruct<J0,J1> f;
        return f.value;
    } else {
        MyStruct<J0,J1> no_f;
        return 0;
    }
}

int main()
{
    return run_test<A, C>();
}

你也可以选择在MyStruct内部封装统一的取值接口，在模板类的内部上下文用if constexpr判断基类是否存在目标成员，外部调用时不需要额外写分支判断。

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