将指向数组第一个元素的指针强制转换为指向整个数组的指针是否合法？

template<typename T, size_t N>
void whatever(T(&)[N])
{
    std::cout << N << '\n';
}

int main()
{
    int a[10];
    int * p = a;
    whatever(*(int(*)[10])(p));   // <-- legal?
}

这在我的编译器上打印10,但我不确定C标准是否允许它.

最佳答案 不,这不合法(因为它的未定义行为).指向整个数组的指针是& a not p.基本上,你正在向另一个指向一个指针.该标准描述了所有允许的转换,而且这个转换不在其中.