奇怪的c ++代码片段

Question

我有这个片段:

template<class T>
class VECTOR_2D 
{
public:
    T x,y;

    VECTOR_2D() 
        :x(T()),y(T())
    {}
}

在构造函数中初始化的x和y是什么？

Answer 1

x和y被复制初始化到T的值初始化值.

从C++ 03标准,§8.5/ 7:

初始值为空集括号的对象,即(),应进行值初始化.

从§8.5/ 5开始:

对值初始化类型的对象T意味着:

• if T是具有用户声明的构造函数的类类型,然后T调用默认构造函数(如果T没有可访问的默认构造函数,则初始化是错误的);
• 如果T是没有用户声明的构造函数的非联合类类型,则每个非静态数据成员和基类组件T都是值初始化的;
• 如果T是数组类型,则每个元素都是值初始化的;
• 否则,该对象被零初始化

到零初始化的类型的对象T是指:

• 如果T是标量类型,则将对象设置为0(零)转换为的值T;
• 如果T是非联合类类型,则每个非静态数据成员和每个基类子对象都是零初始化的;
• if T是一个联合类型,该对象的第一个命名数据成员)是零初始化的;
• if T是数组类型,每个元素都是零初始化的;
• 如果T是引用类型,则不执行初始化.

x(T()),y(T())可以替换为x(),y(),而不是值初始化x和y直接.在大多数情况下,这将实现相同的净效果(假设T是可复制的),但在某些情况下,这将更有效,因此作为一般规则,这种方法应始终是首选.