C++为什么可以初始化一个空字符串数组？

Question

这是一个“它是如何工作的”问题。根据我的理解，您必须使用恒定数量的元素（int intarr[5]）初始化一个非动态数组，否则您的数组将覆盖可能分配给其他东西的内存块。

那为什么不用任何元素就可以初始化一个字符串数组（string strArray[]）呢？

例子：

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

int main()
{
string s[] = {"hi", "there"};

cout << s[0] << s[1];
cin >> s[10]; //why is this ok?
cout << s[10];

return 0;
}

Answer 1

作为一个特性，C++（和 C）允许你声明一个数组而不指定元素的数量，如果你为它指定一个初始化器的话。编译器会推断出需要的元素数量。

所以对于

   int intarr[] = { 1,2,3,4,5};

编译器将看到该数组需要为 5 个整数留出空间，这与您所说的完全相同：

int intarr[5] = {1,2,3,4,5};

字符串数组也一样；

 string s[] = {"hi", "there"};

就像你写的一样

 string s[2] = {"hi", "there"};

您的代码有一个严重的错误；

string s[] = {"hi", "there"};

cout << s[0] << s[1];
cin >> s[10]; //why is this ok?

cin >> s[10]; 绝对不行。数组s只有2个元素，即使编译器没有报错，也不能使用s[10] 这样做会导致undefined behavior - 所以它可能看起来可以工作，或者它可能会崩溃，或者它可以做任何事情。

Answer 2

您可以通过两种方式使用string strArray[]

string strArray[] = {"apple","banana"};

或

void function(string strArray[]) {
    ...
}

在第一种情况下，数组的大小由初始化器的数量（2）自动确定。在第二种情况下，不需要数组的大小，因为它是一个形式参数。

除此之外，您必须为数组声明一个大小。不管是基于string还是int。

如果您在示例中写入 s[10] 但只有 2 个元素，则您正在写入未分配的内存并且程序行为未定义。它可能不会崩溃，但以后会发生一些不好的事情。