Question

我想要实现的主要是从C ++ 11中的函数返回一个未命名的结构。在C ++ 14中，我可以通过定义内联函数并将auto作为返回类型来实现，如下所示：

auto func()
{
    struct
    {
        int member;
    } ret;

    // set ret.member

    return ret;
}

但是，C ++ 11不支持推导普通（非lambda）函数的返回类型，这仅在内联完成定义时才适用于C ++ 14。

我尝试了以下两种在函数声明中声明结构的变体：

auto func() -> struct { int member; };
struct { int member; } func();

这对C ++ 11来说根本不可能吗？如果是这样，是否有人知道这是否是故意不允许的，或者只是没有人想到自动推断类型的这种新用法（因为这只适用于将函数返回值分配给auto变量）？

最后，还有其他方法可以实现与此类似的东西吗？我知道std::tuple，但我想命名这些值;在我的用例中，struct类型肯定只用作这一函数的返回类型，为什么要命名呢？

Answer 1

[dcl.fct] / P11：

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

据我所知，这在C ++ 11中并不新鲜。

Answer 2

类说明符由 class-head-name 和{ }组成。遇到右大括号后，定义类。如果省略 class-head-name ，则该类未命名（§9）。 类型说明符可以有类说明符，但尾随类型说明符不能（只有简单类型 - 允许使用说明符， elaborated-type-specifier ， typename-specifier 和 cv-qualifier ，§7.1.6）。出于这个原因，我认为不可能将类的定义放在 trailing-return-type 中。

资料来源：N4140

为什么结构不能在C ++ 11或更高版本的函数声明中定义？

2 个答案: