从 C++11 中的函数返回元组的最佳方法是什么？

Question

我想从一个函数返回一些值，我想把它打包成一个元组。所以我有两种可能的函数声明：

std::tuple<bool, string, int> f()
{
  ...
  return std::make_tuple(false, "home", 0);
}

和

std::tuple<bool, string, int> f()
{
  ...
  return std::forward_as_tuple(false, "home", 0);
}

这些函数是等价的吗？ 这些功能你更喜欢哪一个？

Answer 1

std::forward_as_tuple() 创建一个 references 的元组。由于您无论如何都返回了tuple<bool, string, int>，因此两者最终是等效的在这种情况下，但我认为第一种方法更清晰 - 当您不转发任何内容时使用forward_as_tuple() 会令人困惑。

此外，正如 Sebastian Redl 在 cmets 中提到的，make_tuple() 将允许编译器执行复制省略 - 根据 C++11 标准的第 12.8/31 段，而forward_tuple() 不会（因为它返回与函数的返回类型不同）。

Answer 2

我更喜欢，

std::tuple<bool, std::string, int> f()
{
  ...
  return { false, "home", 0 };
}

---

编辑 1

上面的代码实际上是在 clang/libc++ 主干下为我编译的。正如@AndyProwl 在 cmets 部分评论的那样，这不应该因为 std::tuple 构造函数是显式的，并且通过初始化列表语法返回是在复制初始化上下文中，因此复制列表初始化，当显式构造函数匹配时失败。

我不知道 clang/libc++ 通过的原因，我想它是 libc++ 中的一个错误。无论如何，对于元组无法做到这一点很遗憾......

我想我意识到（对我来说，终于）它是多么可悲，一般来说。我已经习惯了这种语法，但人们不得不事先知道返回类型是否包含显式构造函数以便它随时工作。

编辑 2

这确实是一个 libc++ 扩展，有关更多信息，请在此处查看 Howard Hinnant 的回答：https://stackoverflow.com/a/14963014。

它目前也在 libc++ 错误列表中打开：http://llvm.org/bugs/show_bug.cgi?id=15299。

这是相关提案：Daniel Krügler, Improving pair and tuple。

简而言之，这就是 libc++ 发生的情况：

#include <tuple>
#include <string>

struct S
{
    explicit S(int) {}
};

int main()
{
    std::tuple<int, std::string> t1 = { 1, "hello" }; // ok
    std::tuple<std::string> t2      = "hello";        // ok
    std::tuple<int, S> t3           = { 1, 1 };       // fail: an *element* is to be constructed explicitly
}