匿名类可以用作 C++ 中的返回类型吗？

Question

有没有办法在 C++ 中使用匿名类作为返回类型？

我在谷歌上搜索过这可能有效：

struct Test {} * fun()
{
}

但是这段代码没有编译，错误信息是：

新类型不能在返回类型中定义

其实这段代码没有任何意义，我只是想弄清楚在C++中是否可以使用匿名类作为返回类型。

这是我的代码：

#include <typeinfo>
#include <iterator>
#include <iostream>
#include <fstream>
#include <cstring>
#include <cstdlib>

using namespace std;

int main(int argc, char **argv)
{
    int mx = [] () -> struct { int x, y ; } { return { 99, 101 } ; } ().x ;
    return 0;
}

我用 g++ xx.cpp -std=c++0x 编译这段代码，编译器比较：

expected primary-expression before '[' token.

Answer 1

注意：这些代码 sn-ps 不再适用于最新版本的 g++。我用 4.5.2 版本编译它们，但 4.6.1 和 4.7.0 版本不再接受它们。

---

您可以将匿名结构声明为 C++11 中 lambda 函数的返回类型。但这并不漂亮。此代码将值 99 分配给 mx：

int mx = [] () -> struct { int x, y ; } { return { 99, 101 } ; } ().x ;

ideone 输出在这里：http://ideone.com/2rbfM

应郑的要求：

lambda 函数是 C++11 中的一个新特性。它基本上是一个匿名函数。这是一个更简单的 lambda 函数示例，它不接受任何参数并返回 int：

[] () -> int { return 99 ; }

您可以将其分配给一个变量（您必须使用auto 来执行此操作）：

auto f = [] () -> int { return 99 ; } ;

现在你可以这样称呼它：

int mx = f() ;

或者你可以直接调用它（这是我的代码所做的）：

int mx = [] () -> int { return 99 ; } () ;

我的代码只是使用struct { int x, y ; } 代替int。末尾的.x 是应用于函数返回值的普通struct 成员语法。

此功能并不像看起来那么无用。您可以多次调用该函数，以访问不同的成员：

auto f = [] () -> struct {int x, y ; } { return { 99, 101 } ; } ;
cout << f().x << endl ;
cout << f().y << endl ;

您甚至不必调用该函数两次。此代码完全符合 OP 的要求：

auto f = [] () -> struct {int x, y ; } { return { 99, 101 } ; } () ;
cout << f.x << endl ;
cout << f.y << endl ;

Answer 2

不是他们不能。如错误消息中所示，来自 ISO/IEC 14882:2011 8.3.5/9：

类型不应在返回或参数类型中定义。函数定义的参数类型或返回类型不应是不完整的类类型（可能是 cv 限定的），除非函数定义嵌套在该类的成员规范中（包括在该类中定义的嵌套类中的定义） )。

当然，您不能在函数声明中将现有匿名类型命名为返回类型，因为匿名类没有名称。

虽然您可以为未命名的类创建 typedef 并将其用作返回类型，但由于 typedef 名称成为用于链接目的的类类型的名称，该类不再是真正的匿名类了。

Answer 3

struct Test {} * a;
decltype(a) fun() {
  return a;
}

顺便说一句，struct Test {} 不是匿名结构。

Answer 4

不，你不能在 C++ 中做这样的匿名类型。

但是，您可以使用 typedef 为匿名类型分配新名称。

typedef struct
{
    unsigned x;
    unsigned y;
} TPoint;

Answer 5

在 C++14 中，你能得到的最接近你想要的东西是这样的：

auto f() { 
    struct {
        int x, y;
    } ret{10,24};
    return ret;
}
int main() {
  printf("%i", f().x);
}

结构是匿名的（ret 是变量名，不是类型名），并被返回。

如果需要，您仍然可以使用

using my_struct = decltype(f());
my_struct another; another.x++;

Answer 6

@Charles 的帖子几乎回答了直接引用规范的问题。

现在，我想为什么 anonymous 类型不能是函数的返回类型，是因为假设 f 返回一个匿名类型，那么在调用站点会写什么？

?????  obj = f();

上面代码中的?????应该写什么？