我正在帮一个 friend 做一些 C++ 作业。我警告过这位 friend ，我使用的编程类型(PHP、Perl、Python)与 C++ 有很大不同，并且不能保证我不会说可怕的谎言。

我能够回答他的问题，但并非没有绊倒我自己的动态背景。当我重新认识 C++ 数组语义时，我做了一些愚蠢的事情(简化示例以使我的问题更清楚)

 #include <iostream>
 #include <cstring>
 using namespace std;
 int main()
 {
   char easy_as_one_two_three[] = {'A','B','C'};  
   int an_int = 1;

   //I want an array that has a length of the value 
   //that's currently in an_int (1)
   //This clearly (to a c++ programmer) doesn't do that.
   //but what is it doing?
   char breaking_things[an_int];

   cout << easy_as_one_two_three << endl;
   return 1;
 }

当我编译并运行这个程序时，它会产生以下输出

 ABC????

但是，如果我注释掉我伪造的数组声明

 #include <iostream>
 #include <cstring>
 using namespace std;
 int main()
 {
   char easy_as_one_two_three[] = {'A','B','C'};  
   int an_int = 1;

   //I want an array that has a length of the value 
   //that's currently in an_int (1)
   //This clearly (to a c programmer) doesn't do that.
   //but what is it doing?
   //char breaking_things[an_int];

   cout << easy_as_one_two_three << endl;
   return 1;
 }

我得到了我期望的输出:

 ABC

那么，这里到底发生了什么？我理解(模糊地)当你创建一个数组时，你指向一个特定的内存地址，当你给一个数组一个长度时，你告诉计算机“为我保留下一个 X block ”。

我不明白的是，当我在数组声明中使用变量时，我在告诉计算机做什么，为什么它会对一个完全独立的数组产生影响？

编译器是g++，版本字符串是

 science:c++ alanstorm$ g++ -v
 Using built-in specs.
 Target: i686-apple-darwin9
 Configured with: /var/tmp/gcc/gcc-5493~1/src/configure --disable-checking -enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib --build=i686-apple-darwin9 --with-arch=apple --with-tune=generic --host=i686-apple-darwin9 --target=i686-apple-darwin9
 Thread model: posix
 gcc version 4.0.1 (Apple Inc. build 5493)

最佳答案

更新: Neil 在他对这个问题的评论中指出，如果你在 g++ 中使用 -Wall 和 -pedantic 标志编译它，你会得到错误。

error: ISO C++ forbids variable-size array

你得到 ABC???? 因为它打印数组的内容 (ABC) 并继续打印直到遇到 \0.

如果数组是 {'A','B','C', '\0'};，输出将如预期的那样只是 ABC。

Variable-length arrays在 C99 中引入——但这似乎不适用于 C++。

这是未定义的行为。即使您注释掉虚假声明，打印输出也不总是您所期望的 (ABC)。尝试将某些可打印字符(介于 32 和 126 之间)的 ASCII 值赋给 an_int 而不是 1，您将看到不同之处。

an_int            output
------------------------
 40                ABC(
 65                ABCA
 66                ABCB
 67                ABCC
 296               ABC(
 552               ABC(
 1064              ABC(
 1024*1024 + 40    ABC(

看到这里的模式了吗？显然它将 an_int 的最后一个字节 (LSB) 解释为一个字符，打印它，之后以某种方式找到一个空字符并停止打印。我认为“不知何故”必须用 an_int 的 MSB 部分填充零来做一些事情，但我不确定(也无法得到任何结果来支持这个论点)。

更新:这是关于 MSB 被填充为零。我得到了以下结果。

ABC( 表示 40 -(3 个零字节和一个 40)，
ABC(( 表示 10280(即 (40 < 8)="" +="" 40)-(2="" 个零字节和两个="">
ABC((( 表示 2631720(即 (10280 < 8)="" +="" 40)-(1="" 个零字节和三个="">
ABC((((°¿® for 673720360(即 (2631720 < 8)="" +="" 40)="" -="">
ABCDCBA0á´¿á´¿® 对于 (((((65 < 8)="" +="" 66)="">< 8)="" +="" 67)="">< 8)="" +="">

这些结果是在 little endian processor 上获得的具有 8 位原子元素大小和 1 字节地址增量，其中 32 位整数 40(十六进制的 0x28)表示为 0x28-0x00-0x00-0x00(LSB 在最低地址)。结果可能因编译器和平台而异。

现在，如果您尝试取消对虚假声明的注释，您会发现所有输出的格式都是 ABC-randomchars-char_corresponding_to_an_int。这又是未定义行为的结果。

关于c++ - 当我不小心使用变量来声明数组长度时，C++ 到底在做什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/1838308/