爲什麼類模板

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; 

一個明智的解決辦法是說：「我們會讓整個事情明確的」。