C 11：分配给匿名实例的原始类型的默认构造函数

概述请考虑以下代码： #include <iostream>template<class T>void f(T& t){ t = T();}int main(){ int x = 42; f(x); std::cout << x;} C 11标准是否定义输出是什么？我的编译器输出0,但是我的印象是原始类型的默认构造函数是空 *** 作或未定义的行为. 您的代码 请考虑以下代码：

#include <iostream>template<class T>voID f(T& t){    t = T();}int main(){    int x = 42;    f(x);    std::cout << x;}

C 11标准是否定义输出是什么？我的编译器输出0,但是我的印象是原始类型的默认构造函数是空 *** 作或未定义的行为.

解决方法 您的代码中没有“默认构造函数”.只有类类可以有构造函数.标量类型没有构造函数,默认值或其他值.

T()语法创建一个由所谓的值初始化初始化的临时对象.价值初始化仅适用于类类型的构造函数调用,仅适用于具有用户定义构造函数的构造函数(在C 11中有一些细微差别).对于其他类型,值初始化根本不涉及任何构造函数.它根据自己的具体且相当复杂的初始化规则进行,它直接定义数据的初始值,而不涉及任何构造函数(见语言规范中的8.5).

对于标量类型,值初始化执行零初始化.这就是为什么你的代码保证输出为零.抽象初始化过程的具体细节在C语言标准版本之间发生了变化,但是从时间开始,C语言保证T == int的T()表达式被计算为零.即即使在C 98中,代码将输出为零.

所有这些T(…)表达式都不一定意味着构造函数调用是一个常见的误解.实际上,T(…)表达式是一个功能转换表达式(不论参数的数量)(参见语言规范中的5.2.3),可能在一些狭窄的特定情况下解决构造函数的调用,并且没有任何内容在其他情况下与任何构造函数有关.

例如,这段代码

struct S { int x,y; };S s = S();

保证用零初始化s(即,s.x和s.y都将为零),尽管类S具有不执行任何 *** 作的默认构造函数.我特意提出了这个例子来说明即使在默认构造函数存在的情况下,T()表达式仍然可以完全忽略它,而是通过自己的规则工作.

总结

以上是内存溢出为你收集整理的C 11：分配给匿名实例的原始类型的默认构造函数全部内容，希望文章能够帮你解决C 11：分配给匿名实例的原始类型的默认构造函数所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。