使用 std::copy 时 istream_iterator 无效

Question

我正在尝试将一些 ints 从 stdin 复制到 vector。我的代码可以工作，但我不确定为什么在copy 的第二个参数之后需要()。我的意思是istream_iterator<int>() 调用中的istream_iterator<int>() 参数。

代码在这里...

#include <iterator>
#include <vector>
#include <iostream>

using std::vector;
using std::copy;
using std::cin;
using std::istream_iterator;

int main()
{   
     vector<int> nums;
     copy(istream_iterator<int>(cin), istream_iterator<int>(), back_inserter(nums)); // why do I need the empty brackets after the 2nd argument?

     return 0;
}   

如果我删除括号，我会从编译器中得到一个错误，但是如果我将我的代码稍微修改为下面的代码，我的程序就可以正常工作。

int main()
{   
     vector<int> nums;
     istream_iterator<int> end; // no brackets used here
     copy(istream_iterator<int>(cin), end, back_inserter(nums)); 

     return 0;
}  

我来自 Java 背景，所以空括号仅表示您使用了空构造函数。第一个代码 sn-p 违背了我的理解，根据我对 C++ 的理解，如果你想使用一个空的构造函数，你只会错过 () 但这里不是这种情况

帮助！

Answer 1

线

copy(istream_iterator<int>(cin), istream_iterator<int>, back_inserter(nums));

毫无意义。 istream_iterator<int> 是类型而不是对象。您需要使用() 来创建istream_iterator<int> 类型的未命名的、临时的、默认构造的对象。

使用

istream_iterator<int> end;

您声明了一个istream_iterator<int> 类型的对象，并且不需要括号，因为它是默认构造的，没有它们。事实上，如果你使用了括号，比如：

istream_iterator<int> end();

那么您将遇到most vexing parse 问题，而end 现在将是一个不接受任何内容并返回istream_iterator<int> 的函数。

Answer 2

我的代码可以运行，但我不确定为什么在复制的第二个参数之后需要()

您需要它们在适当的位置构造一个迭代器，而不是声明一个单独的变量来表示输入流的过去。如果你写

istream_iterator<int>

没有括号，那将是一个类型名称。使用括号调用默认构造函数：

istream_iterator<int>()

一个istream_iterator<int> 对象在原地构造，并作为第二个参数传递给std::copy。按照惯例，istream_iterator<T> 的默认构造函数为您提供了一个迭代器的实例，该实例发出一个流结束后的信号。

Answer 3

这可能会令人困惑，但这两种情况都是通过默认构造函数创建对象。对于第一种情况，您必须使用()，对于第二种情况，您不能使用()。

istream_iterator<int>() 默认构造函数创建一个临时对象。如果没有()，istream_iterator<int> 只是一个类型名称，没有意义，因为它是预期类型的​​实例。

istream_iterator<int> end; 默认构造函数也会创建一个命名对象。这里不能使用()，否则会变成函数声明，不带参数返回istream_iterator<int>。见Most vexing parse。