实例化错误后如何避免特化？

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&);