关于模板中的通用初始化的C++

Question

我正在编写如下的通用函数.

template<class Iterator, class T>
void foo(Iterator first, Iterator last) {
   T a;
   cout << a << endl;
   // do something with iterators
 }

 typedef vector<double>::iterator DblPtr;
 vector<double> values;
 foo< DblPtr, int>();

a如果我将初始化更改为,则此函数会打印出变量的未定义值

   ///
   T a = T()
   cout << a << endl;
   // do something with iterators

我可以看到初始值是0我所期待的.

如果我调用T a变量初始化为默认值,但如果我调用T a = T()我相信由于优化,应该调用复制构造函数,其值T()仍然是默认值.

我无法理解这两条线背后的区别是什么以及这种情况发生的原因？

Answer 1

首先,内置类型的默认初始化(例如int使它们未初始化).值初始化使它们零初始化.至于你的例子

这是默认初始化:

 T a;

这是一个值初始化,使用复制初始化:

 T a = T();

你是对的,可以在这里省略副本,因此这具有创建单个值初始化T对象的效果.但是,它确实需要T可复制或可移动复制.这是内置类型的情况,但要记住这是一个限制.

复制初始化语法是必需的,因为这是一个函数声明:

 T a();

但是C++ 11允许你像这样进行值初始化:

 T a{};