c++ - 为什么未命名的结构不能用作尾随返回类型？

Question

struct { int a, b; } f(int x, int y) // OK
{
    return { x, y };
}

auto g(int x, int y) -> struct { int a, b; } // error C2332
{
    return { x, y };
}

int main()
{
    auto n = f(1, 2).a; // OK
}

我的编译器是 VC++ 2013 RC。

为什么 g 错误而 f 正常？

这是VC++的bug吗？

Answer 1

实际上，在 C++ 中，在参数或返回类型中定义类型是非法的，无论是否命名。参见 C++11[diff.decl]:

Change: In C++, types may not be defined in return or parameter types. In C, these type definitions are allowed

所以实际的问题是第一个被接受，而不是第二个被拒绝。