对元组使用函数

C++11中，STL添加了std::tuple，这种类型可以用来将多个不同类型的值捆绑在一起。元组这种类型已经存在与很多编程语言中，本书的一些章节已经在使用这种类型，这种类型的用途很广泛。

不过，我们有时会将一些值捆绑在一个元组中，然后我们需要调用函数来获取其中每一个元素。对于元素的解包的代码看起来非常的冗长(并且易于出错)。其冗长的方式类似这样：func(get<0>(tup), get<1>(tup), get<2>(tup), ...);。

本节中，你将了解如何使用一种优雅地方式对元组进行打包和解包。调用函数时，你无需对元组特别地了解。

How to do it...

我们将实现一个程序，其能对元组值进行打包和解包。然后，我们将看到在不了解元组中元素的情况下，如何使用元组：

1. 包含必要的头文件，并声明所使用的命名空间：

   #include <iostream>
   #include <iomanip>
   #include <tuple>
   #include <functional>
   #include <string>
   #include <list>
   
   using namespace std;

2. 首先定义一个函数，这个函数能接受多个参数，其描述的是一个学生，并将学生的相关信息进行打印。其和C风格的函数看起来差不多：

   static void print_student(size_t id, const string &name, double gpa)
   {
       cout << "Student " << quoted(name)
           << ", ID: " << id
           << ", GPA: " << gpa << '\n';
   }

3. 主函数中，将对一种元组类型进行别名，然后将具体学生的信息填入到这种类型的实例中：

   int main()
   {
       using student = tuple<size_t, string, double>;
       student john {123, "John Doe"s, 3.7};

4. 为了打印这种类型的实例，我们将会对元组中的元素进行分解，然后调用print_student函数将这些值分别进行打印：

       {
           const auto &[id, name, gpa] = john;
           print_student(id, name, gpa);
       }
       cout << "-----\n";

5. 然后，我们来创建一个以元组为基础类型的多个学生：

       auto arguments_for_later = {
           make_tuple(234, "John Doe"s, 3.7),
           make_tuple(345, "Billy Foo"s, 4.0),
           make_tuple(456, "Cathy Bar"s, 3.5),
       };

6. 这里，我们依旧可以通过对元素进行分解，然后对其进行打印。当要写这样的代码时，我们需要在函数接口变化时，对代码进行重构：

       for (const auto &[id, name, gpa] : arguments_for_later) {
              print_student(id, name, gpa);
       }
       cout << "-----\n";

7. 当然可以做的更好，我们无需知道print_student的参数的个数，或学生元组中元素的个数，我们使用std::apply对直接将元组应用于函数。这个函数能够接受一个函数指针或一个函数对象和一个元组，然后会将元组进行解包，然后与函数参数进行对应，并传入函数：

       apply(print_student, john);
       cout << "-----\n";

8. 循环中可以这样用：

       for (const auto &args : arguments_for_later) {
           apply(print_student, args);
       }
       cout << "-----\n";
   }

9. 编译并运行程序，我们就能得到如下的输出：

   $ ./apply_functions_on_tuples
   Student "John Doe", ID: 123, GPA: 3.7
   -----
   Student "John Doe", ID: 234, GPA: 3.7
   Student "Billy Foo", ID: 345, GPA: 4
   Student "Cathy Bar", ID: 456, GPA: 3.5
   -----
   Student "John Doe", ID: 123, GPA: 3.7
   -----
   Student "John Doe", ID: 234, GPA: 3.7
   Student "Billy Foo", ID: 345, GPA: 4
   Student "Cathy Bar", ID: 456, GPA: 3.5
   -----

How it works...

std::apply是一个编译时辅助函数，可以帮助我们处理不确定的类型参数。

试想，我们有一个元组t，其有元素(123, "abc"s, 456.0)。那么这个元组的类型为tuple<int, string, double>。另外，有一个函数f的签名为int f(int, string, double)(参数类型也可以为引用)。

然后，我们就可以这样调用函数x = apply(f, t)，其和x = f(123, "abc"s, 456.0)等价。apply方法还是会返回f的返回值。