“std::make_tuple”的原因是什么

What is the reason for `std::make_tuple`?

本文关键字：是什么 tuple std make      更新时间：2023-10-16

我的意思是为什么std::make_tuple存在？我知道在某些情况下，函数会减少您必须键入的字符数量，因为您可以避免模板参数。但这是唯一的原因吗？std::tuple的特殊之处在于，该函数存在，而其他类模板没有该函数？这只是因为在这种情况下你可能会更频繁地使用std::tuple吗？

以下是std::make_tuple减少字符数量的两个示例：

// Avoiding template parameters in definition of variable.
// Consider that template parameters can be very long sometimes.
std::tuple<int, double> t(0, 0.0); // without std::make_tuple
auto t = std::make_tuple(0, 0.0);  // with std::make_tuple
// Avoiding template parameters at construction.
f(std::tuple<int, double>(0, 0.0)); // without std::make_tuple
f(std::make_tuple(0, 0.0));         // with std::make_tuple

但就像上面所写的，对于许多其他类模板，您没有这样的函数。

因为不能对构造函数使用参数推导。您需要显式地编写std::tuple<int, double>(i,d);。

它使创建元组并一次性将其传递给另一个函数更加方便。

CCD_ 6与CCD_。

当i或d的类型发生变化时，尤其是在新旧类型之间可能存在转换的情况下，可以少更改一个位置。

如果可以写入std::tuple(i,d);，则make_*（可能）将是多余的。

（这里不要问为什么。也许是因为类似的原因，语法A a();没有调用默认构造函数。有一些令人痛苦的c++语法特性。）

更新注意事项：正如Daniel正确地注意到的那样，c++17将得到增强，这样模板参数推导将适用于构造函数，而这样的委托将变得过时。

我们可以在提案N3602中找到为什么我们需要make_tuple和各种其他make_*实用程序的基本原理：构造函数的模板参数推导，它说（emphasis mine）：

本文提出将函数的模板参数推导扩展到模板类的构造函数。描述问题和解决方案的最清晰的方法是用一些例子。

假设我们已经定义了以下内容。

vector<int> vi1 = { 0, 1, 1, 2, 3, 5, 8 }; 
vector<int> vi2; template<class Func> 
    class Foo() { 
        public: Foo(Func f) : func(f) {} 
        void operator()(int i) { os << "Calling with " << i << endl; f(i); } 
        private: 
        Func func;
    };

目前，如果我们想实例化模板类，我们需要要么指定模板参数，要么使用"；make_*"；包装器，利用函数的模板参数推导，或完全双关语：

pair<int, double> p(2, 4.5); 
auto t = make_tuple(4, 3, 2.5); 
copy_n(vi1, 3, back_inserter(vi2)); // Virtually impossible to pass a lambda to a template class' constructor
for_each(vi.begin(), vi.end(), Foo<???>([&](int i) { ...}));

请注意，该提案正在通过EWG第60期进行跟踪。

我认为这类函数的巧妙使用是作为参数传递
类似的东西：

std::bind_front(&std::make_tuple, 1, "test", true);

这可能很有用，因为如果我没有错的话，我们不能直接调用构造函数。

auto obj = Object::Object(3); // error: cannot call constructor ‘Object::Object’ directly [-fpermissive]

仅用于模板参数推导。然而，这里有一个（人为的）例子，其中这是使用lambda:所必需的

class A
{
public:
    template<typename F>
    A(const std::tuple<F> &t)
    {
        // e.g.
        std::get<0>(t)();
    }
};
class B : public A
{
public:
     B(int i) : A(std::make_tuple([&i]{ ++i; }))
     {
         // Do something with i
     }
};

无法使用std::tuple<decltype([&i]{ ++i; })>([&i]{ ++i; })，因为这两个lambda表达式具有不同的类型。像std::function这样的多态包装器增加了运行时开销。具有用户定义的operator ()的命名类可以工作（根据操作员主体的内容，它可能还需要是B的朋友）。这是我们在C++11之前的旧日子里使用的。

相关文章：