c++ - 最烦解析更烦

Question

在下面的代码中

#include <map>
#include <string>

struct P2d {
    double x, y;
    P2d(double x, double y) : x(x), y(y) {}
};

double bar() {
    std::map<std::string, int> m;
    //P2d lp = P2d(double(m["x"]), double(m["y"])); // this works
    P2d lp(double(m["x"]), double(m["y"]));
    return lp.x;
}

我测试的所有编译器都同意代码(未注释版本)无效，但我不明白为什么定义

 P2d lp(<double>, <double>);

我使用的是 Not Acceptable 。
我记得规则是“如果它既可以是函数声明又可以是定义，那么它就是声明”，但我希望如果它不能是声明，那么它应该被解释为定义而不是给出错误。
我错过了什么？

Answer 1

捕获你的椅子，因为它很有趣。您肯定知道 C++ 允许使用数组函数参数。所以你可以得到这个:

void foo(double s[2], double b[2]);

这是显而易见的。一个可能的混淆步骤是替换类型和参数名称之间的空格，这也是允许的:

void foo(double(s[2]),double(b[2]));

现在你可以想象可以很简单地完成什么 - 用 const char* 替换数字.像这样:

void foo(double(s["x"]),double(b["y"]));

这是无效的函数声明，但编译器认为它正是这个 - 声明。这正是您的代码发生的情况。
编辑:
整个问题似乎源于对 C++ 标准中数组声明符的限制不够严格。数组“大小”参数的唯一要求是 constexpr应该转换为 std::size_t 的值(但没有在语法分析层面进行检查，稍后进行)。有关该支票的更多信息 this