指向 const 类型的 const 指针的模板特化

Question

我正在阅读 http:// /bartoszmilewski.wordpress.com/2009/10/21/what-does-haskell-have-to-do-with-c/ 并遇到此代码来检查是否类型是否是指针：

template<class T> struct
isPtr {
 static const bool value = false;
};

template<class U> struct
isPtr<U*> {
 static const bool value = true;
};

template<class U> struct
isPtr<U * const> {
 static const bool value = true;
};

如何专门化通用模板来处理指向 const 类型的 const 指针的情况？ 如果我这样做：

std::cout << isPtr <int const * const>::value << '\n';

当我期待错误时，我会得到正确的结果。 有人可以解释一下吗？

编辑：使用 VC++ 2010 编译器（表达:-)

Answer 1

结果只是正确；当您调用 isPtr时，将调用您的第三个专业化；您将其设置为true。

在这种情况下，您可以选择 enum 而不是 bool，因为您有 3 种状态：

enum TYPE
{
  NOT_POINTER,
  IS_POINTER,
  IS_CONST_POINTER
};

template<class T> struct
isPtr {
 static const TYPE value = NOT_POINTER;
};

template<class U> struct
isPtr<U*> {
 static const TYPE value = IS_POINTER;
};

template<class U> struct
isPtr<U * const> {
 static const TYPE value = IS_CONST_POINTER;
};

这里是 演示。