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;

使用copy initialization：

进行值初始化

 T a = T();

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

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

 T a();

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

 T a{};

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

1 个答案: