即使没有实例化,模板专门化中的静态断言也会失败

以下代码编译得很好:

#include <type_traits>

template <typename T> struct dependent_true : std::true_type { };
template <typename T> struct dependent_false : std::false_type { };

template <bool B = false>
class X { static_assert(dependent_false<X>::value); };

template <>
class X<true> { static_assert(dependent_true<X>::value); };

int main() {
   X<true> x;
}

static_assert 在主模板中不计算。相反,如果我切换到:

template <bool B = false>
class X { static_assert(dependent_true<X>::value); };

template <>
class X<true> { static_assert(dependent_false<X>::value); };

int main() {
    X<false> x;
}

然后,模板专门化中的静态断言失败,即使它没有实例化。 我只是想知道为什么。 我在gcc8和clang6中观察到了这种行为( -std=c++17 ).

https://wandbox.org/permlink/MOWNLnGMgmuDA2Ht