为什么允许嵌套类模板的部分专门化,而不允许完全专门化?

我猜测为什么会发生这种情况:完全的专门化不再是“模板类/函数”,它们是“真实的”类/方法,并且得到了真实的(链接器可见的)符号。但是对于一个完全专用化的模板和一个部分专用化的模板来说,这是不可能的。

在第一种情况下,C++标准明确禁止成员模板类的完全专业化。根据14.7.3/18:

在类模板或出现的成员模板的成员的显式专门化声明中 在名称空间范围内,成员模板和它的一些封闭类模板可能保持非专用性, 如果类成员模板的封闭类 模板也没有显式专门化 .

namespace detail
{
  template <class T, class U>
  struct InnerImpl {};
}

template <class T>
struct Outer
{
  template <class U>
  struct Inner: detail::InnerImpl<T,U>
  {
  };
};

现在你可以专攻了 InnerImpl

支持维吉尔的论点(他比我提出同样的理由要快),考虑一下:

template<typename T1>
class TOuter
  {
  public:
    template<typename T2>
    class TInner
      {
      public:
        T1 m_1;
        T2 m_2;
      };
  };

template<typename T1>
template<>
class TOuter<T1>::TInner<float>
  {
  public:
    T1    m_1;
    float m_2;
 };

编辑:

在考虑了其他一些注释之后,您似乎希望基于外部类中的template参数进行完全的专门化。如果嵌套内部类的实现,在Visual Studio 2005中似乎可以:

template<typename T1>
class TOuter
  {
  public:
    template<typename T2>
    class TInner
      {
      public:
        std::string DoSomething() { return "Inner - general"; }
        T2 m_2;
      };

    template<>
    class TInner<T1>
      {
      public:
        std::string DoSomething() { return "Inner - special"; }
        T1 m_1;
      };
  };