テンプレートエイリアス宣言が新しいタイプのファミリに解決される場合

Question

次のコードを考慮して：

Xのようにテンプレートエイリアスを使用するとどうなりますか？ ZはYのエイリアスなので、専門化Xはまだ使用されていますか？ テンプレートエイリアスを使用すると、テンプレートエイリアスの宣言が新しいタイプのファミリに解決されるとどうなりますか？

#include <iostream> 

template <template <typename> class> 
struct X { 
    X() { std::cout << "1"; } 
}; 

template <typename> 
struct Y {}; 

template <typename T> 
using Z = Y<T>; 

template <> 
struct X<Y> { 
    X() { std::cout << "2"; } 
}; 

int main() { 
    X<Y> x1; 
    X<Z> x2; 
} 

output :21 

Answer 1

エイリアスは単なるエイリアスであり、新しいタイプのファミリを導入しません。実際には、あなたのコードを実行して22を印刷する - ZはYのエイリアスであるため、特殊化は2回ヒットします。

残念ながら、g ++は22を期待どおりに印刷しますが、clangは21と表示します。私はそれがbug #26093のためだと思う。実際には、通常のテンプレートにtemplateテンプレートを変換すると、発生するバグを防ぐ：

template <typename> 
struct X { 
    X() { std::cout << "1"; } 
}; 

struct Y {}; 
using Z = Y; 

template <> 
struct X<Y> { 
    X() { std::cout << "2"; } 
}; 

int main() { 
    X<Y> x1; 
    X<Z> x2; 
} 

wandbox example