在函数的返回类型中，可以定义一个adhoc匿名结构体吗？

Question

考虑到可以像这样创建匿名结构体：

#include 

struct {
    int a;
    int b;
} my_anonymous_struct = { 2,3 };

int main() {
    std::cout << my_anonymous_struct.a << std::endl;
}

在这种情况下，是什么导致了错误？

#include 

struct file {
    int min;
    int max;
};

// 函数声明处的错误
auto read_historic_file_dates(file F) -> struct { int min; int max; } {
    return { F.min, F.max };
}

int main() {
    file F = { 1, 4 };
    auto [min_date, max_date] = read_historic_file_dates(F);
}

错误信息：

:8:42: 错误：匿名结构体的声明必须是定义
auto read_historic_file_dates(file F) -> struct { int min; int max; } {
                                         ^
:15:2: 错误：期待一个类型
}
 ^
:15:2: 错误：函数声明后期待函数体

这在C++中是否不可行？相比于使用std::pair，这种方式对于结构化绑定来说会更具声明性。

Ben James · Answer

不，这是不可能的。你不能声明一个函数返回一个匿名struct，因为在函数声明中你无法定义这个struct。

因此，你需要为此新struct命名，或者使用一个已存在的、在这个场景下似乎合适的名称，比如file：

auto read_historic_file_dates(file F) -> file {
    return { F.min, F.max };
}

然而，在给出的上下文中，直接将file用于返回类型可能不合适，因为它已经代表了一个具有不同成员（min和max）的结构体。为了正确解决问题，你应该创建一个新的命名结构体或使用std::pair、std::tuple等标准库容器作为返回类型，正如之前提到的那样。如果确实需要一个新结构体，正确的做法是这样的：

struct DateRange {
    int min;
    int max;
};

auto read_historic_file_dates(file F) -> DateRange {
    return { F.min, F.max };
}
```

DaveRandom · Answer

您不能在函数声明中定义（匿名）结构体：

类型不应在返回类型或参数类型中被定义。

—— 来自 C++ 标准文档 [dcl.fct] 第 17 节

但是，您可以在函数内部作用域中定义它，并利用 auto 类型推断：

auto read_historic_file_dates(file F) {
    struct { int min; int max; } res{ F.min, F.max };
    return res;
}