C++11 中的 decltype(auto) - 推导返回类型

Question

在 C++14 中可以自动推导返回类型，但我正在尝试在 C++11 中编写类似的东西，即

如果我用 C++14 编写，它会是

struct MyTypeA{
    std::vector<int> _d;
};

struct MyTypeB{
    int _id;
    std::string _name;
    MyTypeA _data;
};

decltype(auto) MakeObject(const MyTypeA& obj) {
    return std::make_tuple(obj._vec);
}

decltype(auto) MakeObject(const MyTypeB& obj) {
    return std::make_tuple(obj._id, obj._name, std::make_tuple(MakeObject(obj._data)));
}

上面是 C++14，我可以在 C++11 中重写MakeObject类似的东西，如下所示，

auto MakeObject (const MyTypeA& obj) -> decltype( std::make_tuple(obj._d)){
    return std::make_tuple(obj._d);
};

auto MakeObject (const MyTypeB& obj) -> decltype( std::make_tuple(obj._id, obj._name, std::make_tuple(MakeObject(obj._data)))){
    return std::make_tuple(obj._id, obj._name, std::make_tuple(MakeObject(obj._data)));
};

正如你所看到的，我有一堆重载的非成员函数。 虽然这有效，但它似乎非常冗长和冗余的代码。 在 C++11 中是否有更好的方法来做到这一点？

Answer 1

在 C++11 中是否有更好的方法来做到这一点？

虽然在 C++14 之前无法推导出常规函数的返回类型，但 lambda 的返回类型可以。 一个非捕获 lambda 的行为很像一个函数。 所以，在 C++11 中你可以做

auto MakeObject = [](const MyTypeA& obj) {
     return std::make_tuple(obj._vec);
}

但是，这不允许您使用的重载。 如果您需要重载，那么尾随 decltype 可能是更好的选择。

Answer 2

#define RETURNS(...) decltype(__VA_ARGS__) { return __VA_ARGS__; }

然后你得到

auto MakeObject(const MyTypeA& obj)
->RETURNS(std::make_tuple(obj._vec))

这可能会也可能不会被认为更好。 但它确实消除了 DRY 违规。