模板部分特化

Question

有人知道根据什么规则下面的代码不能编译吗？

template <class T>
struct B
{
    typedef T type;
};

template<class T>
struct X
{
};
template<class T>
struct X<B<T>::type*>//HERE I'M PARTIALLY SPECIALIZING (WELL, TRYING TO...)
{
};

请参阅代码内的注释。

Answer 1

你认为这会如何运作？编译器将查看某个地方是否有一个类 T 具有您的类的 typedef“类型”？

它只是不会。尽管它是一个指针。

请记住，您的 B 模板可能在某些地方是专门化的，因此该类型并不总是 T*，但它无法通过逆向工程推断出它。

对于那些不完全理解我的答案的人，您要求编译器做的是找到一个类 U，使得 B::type 是您作为参数传入的类。

class Foo;
class Bar;

template<> struct B<Foo>
{
  typedef int type;
};

template<> struct B<Bar>
{
  typedef int type;
};

X<int*> // ambiguous, T is Foo or Bar?

很难确切地知道你为什么要尝试做你现在要做的事情。您可以对所有指针进行部分特化，然后对特定指针进行完全特化，这可以根据另一个模板来实现。

Answer 2

您需要使用 typename 关键字，

template<class T>
struct X<typename B<T>::type*>
{
};

因为 B::type 是一个从属名称。所以 typename 是必需的！

--

编辑：

即使输入 typename 后，它也不会编译。我认为这是因为对于编译器来说，从 X 中推导 B 中的 T 类型是很困难的，或者可能是不可能的。所以我相信它的非演绎上下文。

请参阅此处的类似示例和讨论：

非推导中的模板参数部分特化中的上下文

---

但是，如果将特化更改为：

template<class T>
struct X<B<T> >
{
};

那么它就成为可推导的上下文，因此可以编译。

Answer 3

假设您已经按照 Nawaz 的建议添加了 typename。

您遇到的错误消息中准确地解释了该问题：“模板参数在部分特化 B::type* 中不可推导。问题在于 B:: type 和 T 对于所有类型 T 都完全相同：考虑以下示例：

class MyClass1 {};
typedef typename B<MyClass>::type MyClass2; //(*)

X<MyClass*> obj1;
X<MyClass2*> obj2;

行 (*) 的结果是类型 MyClass2 本质上是 MyClass1 因此，obj1 和 obj2 应该是同一类的对象 现在，模板 的版本。 >X 他们应该使用吗？

如果您期望使用 X 的专用版本，请告诉我如果删除 (*) 行，答案是否应该相同（显然 obj2 也是如此）。仍然 obj1 应该是 X 的专门版本，如行 (*) 。 。

但现在我们希望编译器能够检测到某些类型可能被声明为 B::type，尽管我们从未这样做过 我们希望编译器验证所有可能的模板实例化，以检查其中之一是否没有奇怪的 typedef。

我希望这能澄清为什么编译器无法处理这种专业化。

---

可能有帮助的替代方案

我相信您的问题可以通过创建一个特征类来显式标记应该以特殊方式处理的类型来解决。像这样的事情：

template <bool v>
struct boolean_value {
  static const bool value=v;
};

template <typename T>
struct is_my_interesting_type : public boolean_value<false> {};

class MyClass {
  ...
};

template <>
struct is_my_interesting_type<MyClass> : public boolean_value<true> {};

template <typename T, bool special>
class  InternalX {
  ... //generic version of your template X
};

template <typename T>
class InternalX<T,true> {
  ... //special version of your template X
};

template <typename T>
class X : public InternalX<T,is_my_interesting_type<T>::value> {};

另外，您可能会对 boost 库中的操作方式感兴趣，特别是 Boost.Type_Traits

Answer 4

“参数列表不能与非专用参数列表相同（它必须专门化某些东西）”
请参阅en.cppreference.com 上的partial_specialization