带有GNU STL的GCC 4.8为std :: string构造函数生成错误代码？

Question

所以一点C ++代码：

void func( const std::string& theString )
{
    std::string theString( theString );
    theString += " more string";
    std::cout << theString;
}

使用GCC 4.8和VS 2013很好地编译。 从我的C ++知识，代码是好的，有一个局部变量theString被带入范围，然后隐藏theString从函数参数。 在theString构造时，作用域中唯一的theString是传递给std::string构造函数的函数参数。 然后，将构造的std::string命名为theString ，它将成为作用域，并且是稍后在代码中使用的theString 。 ！

然而， GCC似乎像theString传递到std::string的构造是当地theString （尚未构建尚）导致编译后的程序崩溃。 使用VS 2013，代码可以编译并正常运行。

所以，

1. 我的代码正确吗？ 还是我在做超出规范的事情，这意味着GCC行为是不确定的。
2. 这是GCC中的错误吗？

Answer 1

不，您的代码无效。

根据C ++标准（3.3.2声明点）

1名称的声明点紧随其完整的声明符（第8节）之后及其初始化程序（如果有）之前，除非另有说明。

[ Example:
int x = 12;
{ int x = x; }

在此，第二个x用其自己的（不确定的）值初始化。 —末例]

和（3.3.3块范围，＃2）

参数名称不得在函数定义的最外层块或与function-try-block相关的任何处理程序的最外层块中重新声明 。

Answer 2

这是C ++中未定义的行为 。 paxdiablo引用了C ++ 03标准：

名称的声明点紧接在其完整的声明器（第8节）之后，在其初始化器（如果有）之前...

例：

 int x = 12; { int x = x; } 

在此，第二个x用其自己的（不确定的）值初始化。

Answer 3

尽管当前答案基本上是正确的，但这是未定义的行为，因为您使用的是不确定的值，因此涉及的细节更多。 对于原始类型，我相信初始化是否需要进行左值到右值转换？ 是int x = x; UB？ 还是C ++标准在C ++ 1y中使用不确定值和未定义行为方面发生了变化？ 提供足够的详细信息以了解为何未定义行为。

对于用户定义的类型，尽管我认为他们没有填写足够的细节。 从这个相当古老但相关的缺陷报告63中我们可以看到：从自身初始化类 ，要求：

如果是这样，UDT的自我初始化的语义是什么？

并提供了一个示例，其中仅引用正在构造的类的引用和地址，答案为：

3.8 basic.life第6段指出此处的引用有效。 允许在完全初始化之前获取类对象的地址，并允许将其作为参数传递给引用参数，只要引用可以直接绑定即可。

它指的是第3.8节“ 对象生存期”，因为该对象正在构造中，并且其存储已分配，但是由于其初始化未完成，因此它的生存期尚未开始。

如果我们从3.8节看第6段，它会说（ 强调我的 ）：

类似地， 在对象的生存期开始之前但已分配了该对象将占用的存储空间之后，或者在对象的生存期结束之后以及该对象占用的存储空间被重用或释放之前，任何引用的glvalue可以使用原始对象，但只能使用有限的方式。 对于正在建造或销毁的物体，请参见12.7。 否则，此类glvalue会引用已分配的存储（3.7.4.2），并且使用不依赖于glvalue的值的属性是明确定义的。 该程序具有未定义的行为，如果 ：

包括：

glvalue用于访问对象的非静态数据成员或调用对象的非静态成员函数，

因此，在初始化完成之前，我们无法获取非静态数据成员的值，该值显然会在复制std::string构建过程中需要。