c++23中的新功能之十五类tuple类型的完全支持

template
struct pair
{
  T1 first;
  T2 second;
};
1
2
3
4
5
6

auto [a,b,c,d] = getTuple();
std::cout<

• 1
• 2
• 3
• 4

它等于是简化了使用std::tie来处理这种情况，这样做的好处就不言而喻了。
为了鼓励开发者从std::pair转到std::tuple(std::tuple的应用还真是不多)，STL提供了从pair到 tuple的隐式转换，但反之则不行。这也算是一种诱导法则吧。

二、类tuple类型及处理

在结构化绑定中，理论上讲，只要成员是公有的，都可以直接进行处理。类似于下面的代码：

struct Data{...};
Data d{...};
auto [a,b,c] = d;

1
2
3
4

在C++17中提供了一个std::is_aggregate元编程的接口来判断是否一个可聚合初始化的类型。但是对于一些自定义的非聚合类型呢？这块也有办法。这就是本文提到的类tuple的实现，先看代码：

#include 
class Data {
private:
  int id;
  int num;
  int value;

public:
  Data(int d, int n, int v) : id{d}, num{n}, value{v} {}
  int getV() const { return value; }
  int getN() const { return num; }
  int getID() const { return id; }
};

template <> struct std::tuple_size : std::integral_constant {};
template <> struct std::tuple_element<0, Data> { using type = int; };
template <> struct std::tuple_element<1, Data> { using type = int; };
template <> struct std::tuple_element<2, Data> { using type = int; };

template  auto get(const Data &d) {
  static_assert(0 <= i && i <= 2);
  if constexpr (i == 0) {
    return d.getID();
  } else if (i == 1) {
    return d.getN();
  } else {
    return d.getV();
  }
}

void testTuple() {
  Data data{3, 6, 9};
  auto [id, num, v] = data;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

说明：
要想实现类tuple类型就需要对下面的三个约束条件进行实现：
1、std::tuple_size_v要符合要求（std::integral_constant），返回一个大于0的长度。
2、std::tuple_element_t（i与数组定义类似从0～tuple.size-1）符合要求，其类型要与自定义类型相匹配。
3、必须实现tuple.get或get(tuple)，并返回tuple的第i个元素值.
此功能在C++17中已经有所体现，到了C++23有着更强有力的支持：
1、任意标准类tuple类型可以转换成std::tuple，同时能进行大小/相等的比较 ;任意长度为2的标准tuple类型和std::pair可互转，并且可以比较大小/相等
2、任意两个标准类tuple类型之间有common_reference和common_type
3、任意标准类tuple类型现在都能成为tuple_cat/apply/make_from_tuple的参数
这样一来，基本上常见的一些问题都可以解决了。

三、注意点

使用std::tuple和类tuple的人不多，应用场景也不多。但是注意点却很多：
1、尽量使用标准类tuple类型（tuple, pair, array, ranges::subrange），否则会有一些可能想不到意外
2、不要想把tuple相关的函数悉数应用在类tuple类型中
3、尽量使用新标准的编译器

四、总结

人们总是希望新标准能解决问题，但没想到的是，往往新的标准又会引入新的问题。这本身就是一个动态循环的问题，已经是一个众人皆知的现象，但人们仍然还是抱有一种希望吧。不过，新的标准会把一些急切的问题解决并引领开发者不断的向着更好的方向发展，这才是标准发展的意义。