传递数组的一种病态方式：通过引用第一个元素

Question

似乎可以通过引用第一个元素来传递数组：

void passMe(int& firstElement)
{
    int* p=&firstElement;
    cout << p[0] << p[1];
}

主程序：

int hat[]={ 5,2,8 };
passMe(hat[0]);

通常，我会使用void passMe(int* myArray) 或void passMe(int[] myArray) 来代替上述函数定义。但是上述方法会引起任何问题吗？如果没有别的，知道答案会让我更好地理解这里的事情。

Answer 1

就语言律师和编译器而言，这很好。主要问题将与人类程序员（包括您自己的未来版本）有关。当您的标准 C++ 程序员在程序中看到这一点时：

void passMe(int& firstElement);  // function declaration (in a .h file)

int hat[]={ 5,2,8 };
passMe(hat[0]);

他预计 passMe() 可能会读取和/或修改 hat[0]。他绝对不会期望 passMe() 可能会读取和/或修改 hat[1]。当他最终弄清楚你在做什么时，他会对你通过不必要的“聪明”代码误导他感到非常不满。 :)

此外，如果另一个程序员（他不知道你的把戏）试图从他自己的代码中调用你的函数，在只看到标头中的函数声明之后，他可能会尝试做这样的事情：

int cane = 5;
passMe(cane);

...当 passMe() 尝试在 cane 之后引用数组中的第二项时，这将直接导致运行时神秘的未定义行为，这实际上并不存在，因为 cane 实际上不在数组中。