C++ 中的函数与变量声明

Question

此代码有效：

std::ifstream f(mapFilename.c_str());
std::string s = std::string(std::istreambuf_iterator<char>(f), std::istreambuf_iterator<char>());
ParseGameState(s);

其中 mapFilename 是 std::string 和 void ParseGameState(const std::string&);。

而这不是：

std::ifstream f(mapFilename.c_str());
std::string s(std::istreambuf_iterator<char>(f), std::istreambuf_iterator<char>());
ParseGameState(s);

这是错误：

game.cpp: In member function ‘int Game::LoadMapFromFile(const std::string&)’:
game.cpp:423: error: no matching function for call to ‘ParseGameState(std::string (&)(std::istreambuf_iterator<char, std::char_traits<char> >, std::istreambuf_iterator<char, std::char_traits<char> > (*)()))’
game.cpp:363: note: candidates are: ParseGameState(const std::string&)

因此，在这种情况下，它似乎将 s 识别为函数声明，而不是变量声明。

这是为什么？这是 GCC 4.2.1（Apple 版本）中的错误吗？或者 GCC 是否正确处理这个问题？这是 C++ 标准中未定义的吗？

Answer 1

这是 C++ 的“最令人烦恼的解析”。快速谷歌一下，应该会出现很多带有很多细节的点击。基本答案是肯定的，编译器将其视为函数声明，而 C++ 要求它这样做。您的编译器没有任何问题（至少在这方面）。

如果你能感到安慰的话，那就是你遇到了很多好伙伴。事实上，C++0x 添加新的大括号初始化语法是很常见的，很大程度上是因为它避免了这种歧义。使用它，您可以编写如下内容：

std::string s{std::istreambuf_iterator<char>(f), std::istreambuf_iterator<char>()};

这将清楚地表明大括号的内容是用于初始化 s 的值，而不是 函数参数类型命名为s。我不知道 Apple 是否有它的端口，但 gcc 从 4.5 版（左右）开始接受新语法。

编辑：重读 N3092，约翰内斯（像往常一样）非常正确。适用的语言是（§8.5.4/3/5）：“如果 T 有一个初始化器列表构造函数，则参数列表由初始化器列表作为单个参数组成；否则，参数列表由初始化器的元素组成列表。”

因此，由于 std::string 有一个初始化列表构造函数，这将尝试将两个 istreambuf_iterator“填充”到初始化列表中，并将其传递给 < code>std::string 构造函数接受初始化列表——但这会导致类型不匹配，因此代码无法编译。对于某些其他类型（与 std::string 不同，没有有初始化列表构造函数），上面的转换将起作用（感谢“否则...”）在上面的引用中）。对于 std::string，您必须使用当前的替代方案之一，例如 std::string s = std:string(...) 。

我对不正确的建议修复表示歉意——在这种情况下，情况变得更糟，因为它混淆了一个本身可能会过度混乱的问题，如果有什么需要仔细澄清的话，尤其是在接下来的几年里。