为什么在显式实例化类模板之前需要显式实例化外部类模板

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;

一个明智的解决方案是说“我们会让整个事情变得明确”。