c++ - 使用 goto 传递 POD 堆栈变量时的范围和生命周期

Question

我的问题与 C99/GNU-C 和 C++ 中堆栈变量的生命周期有关，当 goto 越过它们时。这里有很多相关问题，但没有一个真正回答了我的问题。考虑以下代码示例:

void Foo(char *ptr)
{
label1:
    if (ptr)
    {
        char string1[50];
        strcpy(string1, ptr);
        strupr(string1);
        printf("upcased string = %s\n", string1);
        return;
    }

#if CASE_1
    char string2[50] = "test";
#else
    char string2[50];
    strcpy(string2, "test");
#endif
    ptr = string2;
    goto label1;
}

我读到 goto 不会引入新的范围，因此该变量甚至在声明之前就应该可以访问(理论上)。 string2 存在于函数范围内，但不能从声明前的代码直接访问它。另一方面，使用 goto 和指针变量，可以访问它。我知道当 goto 向后跨越对象初始化时，C++ 需要调用析构函数，但我没有发现任何关于内置/POD 类型的生命周期的信息。使用 GCC 的测试表明，当 ptr 未分配给 string2 时，编译器会重用堆栈空间，但当分配完成时，它将停止重用它，就好像它“知道”它可以在 goto 之后解决。

C99/C++ 标准(或什至可能仅限于 GCC)中是否有任何规则明确说明是否允许这样做？我对 C++ 特别感兴趣。

编辑:

• 处理它的 c++ 标准部分是 "3.7.3-1 显式声明 register 或未显式声明 static 或 extern 的 block 作用域变量具有自动存储持续时间。这些实体的存储持续到创建它们的 block 退出。” 虽然这似乎证明了上述代码的合理性，但事实并非如此，因为很明显，编译器将重用自动变量的堆栈空间作为优化，当它知道它将不再被使用。所以需要回答的问题是:是否允许编译器假设一个变量在声明之前的位置没有被使用，即使程序流会携带引用？
• 我添加了一个替代案例，它似乎有不同的规则。
• 回答任何问题，为什么我首先要使用如此丑陋的结构:这当然不是我想要编写普通代码的方式。它应该是兼容性宏的一部分，以允许使用 G++ 进行结构化异常处理

Answer 1

关于 C++，C++11 标准的第 6.6/1 段规定:

[...] Transfer out of a loop, out of a block, or back past an initialized variable with automatic storage duration involves the destruction of objects with automatic storage duration that are in scope at the point transferred from but not at the point transferred to. [...]

然后第 3.7.3/3 段规定:

If a variable with automatic storage duration has initialization or a destructor with side effects, it shall not be destroyed before the end of its block, nor shall it be eliminated as an optimization even if it appears to be unused, except that a class object or its copy/move may be eliminated as specified in 12.8.

由于 string2 有初始化，程序有未定义的行为。

就是说，既然可以使用结构化编程，为什么还要使用 goto 呢？ Dijkstra taught us long ago that goto is harmful .