5

考虑这个例子：

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

int main()
{
    std::string sen = "abc def ghi jkl";
    std::istringstream iss(sen);

    std::vector<std::string>    // declaration in question
    vec(std::istream_iterator<std::string>(iss),
        std::istream_iterator<std::string>());

    std::copy(vec.begin(), vec.end(),
              std::ostream_iterator<std::string>(std::cout, "\n"));
}

编译器在调用时抛出错误std::copy

request for member 'begin' in 'vec', which is of non-class type...

我可以解决这样的错误：

std::istream_iterator<std::string> it_begin(iss);
std::istream_iterator<std::string> it_end;
std::vector<std::string> vec(it_begin, it_end);

或者通过在每个参数周围加上括号，如下所示：

std::vector<std::string>
vec((std::istream_iterator<std::string>(iss)),
    (std::istream_iterator<std::string>()));

甚至在 C++11 中使用新的统一初始化：

std::vector<std::string> vec { /*begin*/, /*end*/ };

为什么编译器将示例中的声明解析为函数声明？我知道大多数令人烦恼的解析，但我认为这只发生在空参数列表中。我也想知道为什么第二种解决方法有效。

4

1 回答 1

9

它仍然是最令人头疼的解析。

std::vector<std::string>                     // return type
vec(                                         // function name
    std::istream_iterator<std::string>(iss), // param 1: an iterator called (iss), or just iss
    std::istream_iterator<std::string>()     // param 2: unnamed function 
);                                           //          returning iterator

乔迪 说：

<tomalak> << ETYPE_DESC(vec); std::vector<std::string> vec(std::istream_iterator<std::string>(iss), std::istream_iterator<std::string>());
<geordi> lvalue function taking a istream_iterator<string, char, char_traits<char>, long> , a pointer to a nullary function returning a istream_iterator<string, char, char_traits<char>, long> , and returning a vector of strings

实际上，它的关键在于您的参数名称可以在它们周围有括号（即iss→ (iss)），而不会改变声明的语义。有时。

如您所展示的，使用另一组也围绕 type的括号来强制将第一个参数（以及因此的第二个参数）解析为表达式而不是声明。

如果有帮助，还请考虑：

void foo(int (x)) {
   cout << x;
}

int main() {
   foo(42);
}

输出是42。

于 2012-01-19T14:43:19.510 回答