为什么类模板

Question

我的问题是w.r.t以下螺纹的显式实例之前，需要外部类模板的显式实例：specialize a member template without specializing its parent

我对这个标准说，这是非法的这样做精绝。但我想了解为什么这样做是非法的？如果允许，会有什么影响？

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; 

一个明智的解决办法是说：“我们会让整个事情明确的”。