代码之家 › 专栏 › 技术社区 › HolyBlackCat

跳过变量初始化是否格式错误或导致UB?

language-lawyer c++

HolyBlackCat · 技术社区 · 5 年前

考虑以下代码:

void foo()
{
    goto bar;
    int x = 0;
    bar: ;
}

GCC和Clang reject it ,因为跳到 bar: 绕过变量初始化。MSVC根本不抱怨(除了使用 x 之后 酒吧: 引起警告)。

我们可以用一个 switch :

void foo()
{
    switch (0)
    {
        int x = 0;
        case 0: ;
    }
}

现在,所有三个编译器 emit errors .

这些片段是格式错误的吗?或者它们会导致UB吗?

我过去认为这两个标准都不完善,但我找不到标准中有意义的部分。 [stmt.goto] 对此什么也没说,也没有 [stmt.select] .

2 回复 | 直到 5 年前

StoryTeller - Unslander Monica 5 年前

当初始化为非空时,它的格式不正确。

[stmt.dcl]

3 可以转移到一个块中,但不能以这种方式通过初始化绕过声明(包括条件和init语句)。从一个点跳转的程序其中具有自动存储持续时间的变量不在除非变量具有空初始化([basic.life])。在这种情况下,变量使用空初始化时,按照它们的顺序构造宣言。

初始化器使初始化非空。相比之下,这

void foo()
{
    goto bar;
    int x; // no initializer
    bar: ;
}

将形成良好。尽管使用时通常需要注意 x 如果值不确定,则适用。

Peter Mortensen icecrime 5 年前

如果控制权转移进入任何自动变量的范围 (例如,通过跳过声明语句),程序是格式错误(无法编译),除非其作用域为已输入

声明的标量类型没有初始化器

声明了平凡默认构造函数和平凡析构函数的类类型没有初始化器

上述内容之一的简历合格版本

上述之一的数组

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前