2

我正在阅读“Accelerated C++”一书的第 8 章。第 8.3 节是关于输入和输出迭代器的：

vector<int> v; // read ints from the standard input and append them to v
copy(istream_iterator<int>(cin), istream_iterator<int>(), back_inserter(v));

[...]

复制的第二个参数创建一个默认（空）istream_iterator，它不绑定到任何文件。istream_iterator 类型有一个默认值，其属性是任何已到达文件结尾或处于错误状态的 istream_iterator 似乎都等于默认值。因此，我们可以使用默认值来指示复制的“one-past-the-end”约定。

这就是我的理解：istream_iterator 是一个模板类，而 istream_iterator<int> 是模板的一个实例。编写 istream_iterator< int>() 会触发 istream_iterator< int> 对象的值初始化，这意味着零初始化 + 调用隐式默认构造函数 ( http://en.cppreference.com/w/cpp/language/value_initialization )。我认为 istream_iterator< int> 对象的默认初始化也可以正常工作（触发对默认构造函数的调用），所以我尝试了这个：

vector<int> v; // read ints from the standard input and append them to v
copy(istream_iterator<int>(cin), istream_iterator<int>, back_inserter(v));

但这不会编译：

错误：“，”标记之前的预期主表达式

我不明白发生了什么事。欢迎任何解释。

4

4 回答 4

2

在这种情况下：

copy(istream_iterator<int>(cin), istream_iterator<int>, back_inserter(v));
//                               ^^^^^^^^^^^^^^^^^^^^^

第二个参数，istream_iterator<int>被解析为一个类型。你需要一个实例，所以你需要(), 带或不带参数。出于同样的原因，以下内容不起作用：

void foo(int); // function declaration

int main()
{
  foo(int);
}
于 2013-08-02T14:32:29.130 回答
2

没有办法默认初始化，而不是值初始化，一个临时的。虽然表达式type()创建了一个值初始化的临时变量，但单独的类型名称不是有效的表达式。

但是，对于声明默认构造函数的任何类型（例如这个），默认初始化和值初始化是等价的；在调用非隐式构造函数之前没有零初始化。

于 2013-08-02T14:37:54.110 回答
2

不要被模板分心。任何类型名称都会出现同样的问题：

struct S {};

void f(int, S);

f(1, S);   // error: S is not an object
f(1, S()); // okay: S() constructs an object
于 2013-08-02T14:42:20.427 回答
0

istream_iterator是一个“模板化”类 提供了两个构造函数：

  basic_istream<charT,traits>* in_stream;
  istream_iterator() : in_stream(0) {}
  istream_iterator(istream_type& s) : in_stream(&s) { ++*this; }

默认构造函数初始化in_stream为0用于流结束

所以，

istream_iterator<int>需要()EOF

使固定：- copy(istream_iterator<int>(cin), istream_iterator<int>(), back_inserter(v));

于 2013-08-02T14:32:10.623 回答