指针和数组作为模板参数的区别

Question

template<typename T, typename U = int>
struct A {};

template<typename T, typename U>
struct A<T*, U> {};

template<typename T, typename U>
struct A<T[], U> {};

int main()
{
    A<int*> m; // m: A<int*, int>
    A<int[]> n; // n: A<int[], int>

    return 0;
}

这里int[]和int*作为模板参数有什么区别？ int[]也不只是一个指针吗？

Answer 1

int[]也不只是一个指针吗？

不，事实并非如此。数组是数组，指针是指针。数组不是指针，指针也不是数组。 int[]是一个数组。

在某些情况下，“数组是指针（而不是数组）”：在函数参数delcaration中，数组参数将被调整为指向该数组类型元素的指针。此类调整不适用于其他情况。模板参数是与函数参数分开的上下文，在这种情况下，不会发生上述调整。

这里int[]和int*作为模板参数有什么区别？

区别在于，在一种情况下，类型参数是一个数组，在另一种情况下，类型参数是一个指针。

Answer 2

事实上，这些是不同的类型。您可以说出来，因为它们做了不同的事情：

const char* a = "hi";
const char[] b = "hi";

第一个在堆栈上分配一个指针（字面量可能在其他地方），第二个在堆栈上分配整个字面量作为数组。因此，尽管它们可以隐式地相互转换，但是它们是不同的类型。