GCC声明表达问题

我刚刚阅读了GCC中的Statement Expressions Extension，我在使用它时发现了一些意想不到的行为。

请注意这个例子：

#include  int main(void) { char* res1 = ({ char arr[] ={'h', 'e', '\0'}; // was char *arr[] arr[0] = 'x'; char* ptr = arr; ptr; }); char* res2 = ({ char arr[] ={'h', 'e', '\0'}; // was char *arr[] arr[0] = 'X'; char* ptr = arr; ptr; }); printf ("%s %p\n", res1, res1); printf ("%s %p\n", res2, res2); return 0; } 

输出：

 X 0x7fff93098160 X 0x7fff93098160 

我注意到，第一个块中的变量arr和第二个块中的arr采用相同的内存地址。

为什么会这样？

Answer 1

两次出现的arr都是具有自动存储持续时间的数组对象; 它们是语句表达式中封闭块{ ... }本地。

每个语句表达式都会获取该局部变量的地址; 当地址arr` 不再存在 and used *after* the end of the block, when the object该地址保存在res1和res2中and used *after* the end of the block, when the object 。

这与返回局部变量地址的函数是同一个问题。 当变量不再存在时，地址变为无效，并且程序的行为未定义。

所以不要这样做。

Answer 2

据我所知，语句表达式中定义的变量范围只是那些语句表达式本身。 也就是说，当初始化res1时，数组已经超出范围，指针指向未分配的内存。 第二个语句表达式中的数组恰好占用相同的内存。 它实际上与以下代码没有太大区别：

 char* res1; { char arr[] ={'h', 'e', '\0'}; arr[0] = 'x'; char* ptr = arr; res1 = ptr; } char* res2; { char arr[] ={'h', 'e', '\0'}; arr[0] = 'X'; char* ptr = arr; res2 = ptr; } printf ("%s %p\n", res1, res1); printf ("%s %p\n", res2, res2); 

Answer 3

两个数组都是语句表达式的本地数组，并且它们占用的内存可以在表达式结束后重用。 在这种情况下，它被重用。

如果您要访问或使用这些指针的值，您将调用未定义的行为，因此它们的相等性无关紧要。