类型特性的模板别名无效

Question

我正在通过一个简单的定制类型特征来练习SFINAE：

#include <iostream>
#include <type_traits>

struct A{ int i, j; };

// Type trait
template<typename T>
struct is_class_A{ static const bool value = false; };

template<>
struct is_class_A<A>{ static const bool value = true; };

// (1)
template <typename T>
std::enable_if_t<is_class_A<T>::value> foo(const T& t){
    puts("Hi!\n");
}


int main() {
    A a;
    foo(a);   // allowed
    //foo(1); // not allowed
}

按预期工作。但是，使用模板别名

template <typename T>
using is_class_A_v = is_class_A<T>::value;


// (1)
template <typename T>
std::enable_if_t<is_class_A_v<T>> foo(const T& t){
    puts("Hi!\n");
}

生成编译器错误：

<source>:37:22: error: missing 'typename' prior to dependent type name 'is_class_A<T>::value'
using is_class_A_v = is_class_A<T>::value;
                     ^~~~~~~~~~~~~~~~~~~~
                     typename 
<source>:40:18: error: template argument for non-type template parameter must be an expression
std::enable_if_t<is_class_A_v<T>> foo(const T& t){

另一方面，通过使用

template <typename T>
using is_class_A_v = typename is_class_A<T>::value;

我得到了错误消息

error: template argument for non-type template parameter must be an expression
std::enable_if_t<is_class_A_v<T>> foo(const T& t){
                 ^~~~~~~~~~~~~~~

我在这里错过了什么？

Answer 1

模板变量语法如下：

template <typename T> const bool is_class_A_v = is_class_A<T>::value;