std :: is_same <A,B> :: value ==第1行为true，第2行为false

Question

我有一个代码，其中一行返回true，另一行返回false。

例如，

struct Z{
    static const int value = 10;
};

struct A : Z{
};
struct B : Z{
};

int main(){
    if(std::is_same<A,B>::value){
        static_assert(std::is_same<A,B>::value , "why am i here?");
    }
    return 0;
}

有人可以解释为什么它引发一个静态的断言错误吗？

Answer 1

这是因为static_assert是静态（即：编译时）断言。 它不在乎上面的if语句（在运行时评估）。