在函数签名中定义定长数组（而非更常用的不定长数组或指针语法）是否有实际作用？

这可不是编译器的bug，而是C++里延续自C的经典语法设计细节——当你把数组作为函数参数声明时，编译器会自动把它转换成指向数组首元素的指针。换句话说，你写的void printArray(int intArray[5])，在编译器眼里和void printArray(int* intArray)完全是一回事，那个[5]的尺寸信息直接被忽略了。

为什么会出现垃圾值？ #

你的函数里硬编码了循环5次，当传入长度小于5的数组（比如array1只有1个元素）时，循环会去访问数组边界之外的内存——这属于未定义行为，那些内存里的内容是随机的垃圾值，所以打印结果就乱了。而传入长度大于5的数组时，虽然能正常打印前5个元素，但本质上还是在通过指针访问内存，函数根本不知道原数组的真实长度，只是碰巧没越界到危险的内存区域而已。

怎么解决这个问题？ #

这里有几种靠谱的方案，你可以根据需求选择：

1. 手动传递数组长度

这是最传统的做法，给函数加一个额外参数传递数组的实际长度：

#include <iostream>
using namespace std;

void printArray(int intArray[], int length) {
    for (int i = 0; i < length; i++) {
        cout << intArray[i] << " ";
    }
    cout << endl;
}

int main() {
    int array1[1] = {1};
    cout << "\nInvocation 1\n";
    printArray(array1, 1); // 传递实际长度1
    
    int array2[4] = {1, 2, 3, 4};
    cout << "\nInvocation 2\n";
    printArray(array2, 4); // 传递实际长度4
    
    int array3[8] = {1, 2, 3, 4, 5, 6, 7, 8};
    cout << "\nInvocation 3\n";
    printArray(array3, 5); // 想打印前5个就传5，全打印就传8
    return 0;
}

2. 使用std::array（C++11及以上）

std::array是标准库提供的定长数组容器，它能保留数组的大小信息，编译器会帮你做类型检查：

#include <iostream>
#include <array>
using namespace std;

// 只接受大小为5的std::array
void printFixedArray(const array<int, 5>& intArray) {
    for (int num : intArray) {
        cout << num << " ";
    }
    cout << endl;
}

// 用模板支持任意大小的std::array
template <size_t N>
void printAnyArray(const array<int, N>& intArray) {
    for (int num : intArray) {
        cout << num << " ";
    }
    cout << endl;
}

int main() {
    array<int,1> arr1 = {1};
    cout << "\nInvocation 1\n";
    printAnyArray(arr1); // 调用模板版本
    
    array<int,4> arr2 = {1,2,3,4};
    cout << "\nInvocation 2\n";
    printAnyArray(arr2);
    
    array<int,8> arr3 = {1,2,3,4,5,6,7,8};
    cout << "\nInvocation 3\n";
    printAnyArray(arr3);
    
    // 如果调用printFixedArray(arr1)，编译器会直接报错，因为大小不匹配
    return 0;
}

3. 使用std::vector（动态数组）

如果数组长度不确定，用std::vector更灵活，它自带size()方法可以获取长度：

#include <iostream>
#include <vector>
using namespace std;

void printArray(const vector<int>& intArray) {
    for (int num : intArray) {
        cout << num << " ";
    }
    cout << endl;
}

int main() {
    vector<int> vec1 = {1};
    cout << "\nInvocation 1\n";
    printArray(vec1);
    
    vector<int> vec2 = {1,2,3,4};
    cout << "\nInvocation 2\n";
    printArray(vec2);
    
    vector<int> vec3 = {1,2,3,4,5,6,7,8};
    cout << "\nInvocation 3\n";
    printArray(vec3);
    return 0;
}

重要提醒 #

永远不要访问数组边界之外的内存，未定义行为可能导致程序崩溃、数据损坏，甚至出现安全漏洞。用上面的方法，就能彻底避免这种问题啦。

内容的提问来源于stack exchange，提问作者Sandeep