在常规类中声明模板的显式专业化实例

Question

我根本无法编译它。我可能不可能，但我不知道为什么不可能。

class A {
  template <typename T> 
  class B {
   int test() { return 0; }
  };
  //template <> class B<int>; <-with this, namepace error
  B<int> myB_;
 };

 template <> class A::B<int> {
  int test() {
   return 1;
  }
 };

编译器似乎抱怨“显式特化‘class A::B’必须在使用之前声明”。 如果我尝试在注释行中提供前向声明，编译器会抱怨 “必须在包含模板的命名空间中声明显式专业化“B”。” 我们在这里使用 2 个不同的编译器。此错误来自 AIX 上的 IBM“xl”编译器，但在我们的 Sun 系统上编译时，我遇到了类似的错误，但措辞不同。 这似乎是第 22 条军规。

显然，这是一个精心设计、简单化的例子，但它代表了问题。 我想在类中定义模板类，因为模板类仅与包含类相关。不应从类外部访问该模板。

我错过了什么吗？

Answer 1

你是对的。这是不可能做到的（据我所知）。您的成员声明会在声明显式专业化之前导致隐式实例化。但你想如何声明呢？你不能在类范围内这样做。其他人则认为这是一个丑陋的限制。

您可以通过将类成员设置为指针来解决此问题。这不需要在此时隐式实例化该类，而是在最终创建对象时隐式实例化该类。我意识到这是一个丑陋的解决办法。所以最好找到其他方法来做到这一点。

例如，在类范围内允许部分特化。因此，您可以添加一个虚拟模板参数，然后您可以在成员声明之前在类中对其进行专门化。同样，我觉得这很丑，但我觉得它不会打扰太多事情。

Answer 2

您可以通过使用未命名的命名空间来解决此问题以保护隐私：

namespace {

  template <typename T> 
  class B {
   int test() { return 0; }
  };

  template <> class B<int> {
    int test() {
      return 1;
    }
};

}

class A {
  B<int> myB_;
};

这将编译，但如果 A 需要在此编译单元之外可见，您将需要更复杂的机制（例如< /em>、接口和工厂或 Pimpl）。

Answer 3

B 不是模板类，您正在尝试对其进行专门化。这就是错误的原因。您可以检查这两个错误 C2913 和 < a href="http://msdn.microsoft.com/en-us/library/t72c30ht(VS.80).aspx" rel="nofollow noreferrer">C3413。
这是您要找的吗？

class A
{
   template<class T>
   class B
   {
      inline int test()
      {
         return 0;
      }
   };
   A::B<int> myB_;
};