名前空間を使用し、std :: enable_if_tで動作しないディレクティブを使用する

Question

MSCL 19を使用して次のコードをコンパイルしようとしましたが問題ありません。私はG ++ 6.2.0と打ち鳴らす3.9.0をしようとしたときしかし、私は同じ結果を生成しますusing std::enable_if_tを追加expected nested-name-specifier class=typename

#include<type_traits> 
using namespace std; 
template<class T,class=typename enable_if_t< 
    is_signed<T>::value&&is_integral<T>::value&&(sizeof(T)>1)>> 
    void f(T i) {} 
int main() { 
    f(1); 
} 

のようなエラーが発生しました。

#include<type_traits> 
using namespace std; 
using std::enable_if_t; 
template<class T,class=typename enable_if_t< 
    is_signed<T>::value&&is_integral<T>::value&&(sizeof(T)>1)>> 
void f(T i) { 
} 
int main(){ 
    f(1); 
} 

この問題はstd::でenable_if_tを付けることによって解決することができます：

#include<type_traits> 
using namespace std; 
template<class T,class=typename std::enable_if_t< 
    is_signed<T>::value&&is_integral<T>::value&&(sizeof(T)>1)>> 
void f(T i) { 
} 
int main(){ 
    f(1); 
} 

using namespace stdとusing std::enable_if_tがstd::enable_if_tに無効であるのはなぜ？

Answer 1

あなたに伝えようとしているのは、typenameが次にネストされた型指定子を受け取ると見なされるときです。 enable_if_tは、ネストなしで使用されます（::はありません）。 typenameを削除すると、gccで動作します。