能否在C++函数返回类型中定义临时匿名结构体？

C++目前不支持将匿名结构体直接用作函数的返回类型，你遇到的编译错误正是源于这一限制：匿名结构体的声明必须是定义，而函数返回类型位置的匿名结构体声明无法被编译器识别为有效类型——编译器需要可复用的类型名称来完成函数签名匹配与返回值处理，匿名结构体无类型名，自然无法满足这一要求。

替代方案 #

若你想要兼顾声明性与结构化绑定的便利性，可采用以下几种替代方式：

1. 定义命名结构体类型 #

这是最直观的方案，提前定义与需求结构匹配的命名类型，既清晰可读，又能完美适配结构化绑定：

#include <iostream>

struct file {
    int min;
    int max;
};

// 提前定义命名的返回值结构体
struct DateRange {
    int min;
    int max;
};

DateRange read_historic_file_dates(file F) {
    return { F.min, F.max };
}

int main() {
    file F = { 1, 4 };
    auto [min_date, max_date] = read_historic_file_dates(F);
    std::cout << min_date << ", " << max_date << std::endl;
}

2. 利用auto推导返回类型 #

若不想额外定义命名结构体，可让编译器通过返回值推导类型，用auto作为返回类型，同时保留返回值的结构化特性：

#include <iostream>

struct file {
    int min;
    int max;
};

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

int main() {
    file F = { 1, 4 };
    auto [min_date, max_date] = read_historic_file_dates(F);
    std::cout << min_date << ", " << max_date << std::endl;
}

此方式中，匿名结构体仅在返回值初始化时定义，编译器通过auto推导其类型，同样可配合结构化绑定使用。

3. 用std::pair配合别名增强可读性 #

若想复用std::pair，可通过类型别名提升声明性：

#include <iostream>
#include <utility>

struct file {
    int min;
    int max;
};

using DateRange = std::pair<int, int>;

DateRange read_historic_file_dates(file F) {
    return { F.min, F.max };
}

int main() {
    file F = { 1, 4 };
    auto [min_date, max_date] = read_historic_file_dates(F);
    std::cout << min_date << ", " << max_date << std::endl;
}

总结 #

虽然直接将匿名结构体作为返回类型不被支持，但上述替代方案均能满足你“声明性强+适配结构化绑定”的需求，其中定义命名结构体的方式在代码可读性与维护性上表现最优。

内容的提问来源于stack exchange，提问作者glades