c++ - クラステンプレートの明示的なインスタンス化の前に、外部クラステンプレートの明示的なインスタンス化が必要な理由

Question

私の質問は次のスレッドです：親を特殊化せずにメンバーテンプレートを特殊化する

私はそうすることは違法であると言っている基準で絶対に大丈夫です。しかし、なぜそうすることが違法なのかを理解したいのですが？それが許可された場合、どのような影響がありますか？

Answer 1

たぶんこのようなもののために：

template <typename T>
struct foo
{
    template <typename U>
    struct bar
    {
        typedef U type;
    };
};

template <typename T> 
struct foo<T>::bar<int> // imaginary
{
    typedef void type;
};

template <>
struct foo<float>
{
    template <typename U>
    struct bar
    {
        typedef U* type;
    };
};

// is it void [foo<T>::bar<int>] or 
// int* [foo<float>::bar<U>]?
typedef foo<float>::bar<int>::type ambiguous;

賢明な解決策は、「すべてを明確にする」と言うことです。