如何避免实例化错误后的专业化？

Question

这是简化的问题。

template <class T> 
std::string name(const T&); // This is the template 
          // I want to explicitly specialize. 

class Outer 
{ 
    class Inner 
    { 
    }; 

    class Container : public ::Container<Inner> // This causes also an implicit 
               // specialization of f::name 
    { 
    }; 
}; 

我如何专注

template <class T> 
std::string name(const T&); 

为Outer::Inner？

我不能宣布在三个地方我认为是明确的分工：

template <class T> 
std::string name(const T&); 

// 1. Here I cannot forward declare a nested class 

class Outer 
{ 
    class Inner 
    { 
    }; 

    // 2. Here I get error: explicit specialization 
    // in non-namespace scope 'class Outer' 

    class Container : public ::Container<Inner> 
    { 
    }; 
}; 

// 3. Here I get error: specialization of '...' after instantiation 

我怎样才能解决这个问题？

Answer 1

看一看this article。您可能会更好，只需要为要“专门化”的特定类型编写name函数：

std::string name(const Outer::Inner&);