考虑代码
template <class A>
class B;
template <class A>
class B<const A>{};
template <class A, int N>
class B<A[N]>{};
template <class A>
class B<A*>{};
template <class A>
class B<A&>{};
以下模板实例可以正常工作：
A<int*&>
A<const int*>
A<int*[3]>
但以下一个不起作用：
A<const int[3]>
是否有某种原因表明这种特定组合无效，或者它可能是 g++4.6.3 的错误？
顺便说一句，我设法使用 SFINAE 和 boost::disable_if<> 解决了这个问题，所以至少问题得到了解决。
编辑
我忘了提到有问题的错误是一个模棱两可的类模板实例化，它无法决定 const 的重载还是数组的重载。
编辑2
这与指针无关，这是完整的上下文：
我正在阅读C++ Template Metaprogramming这本书，并且正在做问题 2-3（第 2 章问题 3），它说：
使用类型特征工具来实现 type_descriptor 类模板，其实例在流式传输时打印其模板参数的类型：注意：我们不能使用 RTTI 来达到相同的效果，因为根据 18.5.1 [lib.type.info]标准的第 7 段， typeid(T).name() 不能保证返回有意义的结果。
我的解决方案（包括编译错误的解决方法）如下：
//QUESTION 2-3
template <class T, class enable = void>
struct type_descriptor
{
std::string operator()() const
{
return "Unknown";
}
};
//specializations for primitive types
#define TYPE_DESC_SPEC(type) template <> \
struct type_descriptor<type,void> \
{std::string operator()() const{return #type;}};
TYPE_DESC_SPEC(int)
TYPE_DESC_SPEC(long)
TYPE_DESC_SPEC(void)
TYPE_DESC_SPEC(short)
TYPE_DESC_SPEC(unsigned char)
TYPE_DESC_SPEC(unsigned short)
TYPE_DESC_SPEC(unsigned long)
//specializations for modifiers *, const, &, and [N]
template <class T>
struct type_descriptor<T&,void>
{std::string operator()(){return type_descriptor<T>()() + " &";}};
template <class T>
struct type_descriptor<T*,void>
{std::string operator()(){return type_descriptor<T>()() + " *";}};
//Replace void with what's in the comment for the workaround.
template <class T>
struct type_descriptor<const T, void/*typename boost::disable_if<boost::is_array<T> >::type*/>
{std::string operator()(){return type_descriptor<T>()() + " const";}};
template <class T>
struct type_descriptor<T(*)(),void>
{std::string operator()(){return type_descriptor<T>()() + " (*)()";}};
template <class T, class U>
struct type_descriptor<T(*)(U),void>
{std::string operator()(){return type_descriptor<T>()() + " (*)(" + type_descriptor<U>()() + ")";}};
template <class T, int N>
struct type_descriptor<T[N],void>
{
std::string operator()()
{
std::stringstream s;
s << type_descriptor<T>()() << " [" << N << "]";
return s.str();
}
};
template <class T>
struct type_descriptor<T[],void>
{std::string operator()(){return type_descriptor<T>()() + " []";}};
//Now overload operator<< to allow streaming of this class directly
template <class T>
std::ostream & operator<<(std::ostream & s, type_descriptor<T> t)
{
return s << t();
}
//END QUESTION 2-3
示例用法是：
std::cout << "\nQuestion 2-3 results\n";
std::cout << type_descriptor<int*>() << std::endl;
std::cout << type_descriptor<int*[3]>() << std::endl;
std::cout << type_descriptor<std::string*>() << std::endl;
std::cout << type_descriptor<const int&>() << std::endl;
std::cout << type_descriptor<const int *const&>() << std::endl;
std::cout << type_descriptor<int[4]>() << std::endl;
std::cout << type_descriptor<int(*)()>() << std::endl;
std::cout << type_descriptor<int*&(*)(const char &)>() << std::endl;
std::cout << type_descriptor<int*&>() << std::endl;
std::cout << type_descriptor<int[]>() << std::endl;
std::cout << type_descriptor<const long[]>() << std::endl;
并且相应的输出是（当解决方法存在时，否则它不会在最后一个上编译）：
整数 * 整数 * [3] 未知 * 整数常量 & int 常量 * 常量 & 整数 [4] 整数 (*)() int * & (*)(未知常量 &) 整数 * & 整数 [] 长常量 []
因此 C++ 能够区分模板参数的指针和数组，能够正确、递归地分离复合类型并输出正确的结果，除了const A[]. 它需要帮助