C++11, 14, 17对tuple元素的访问详情

 更新时间:2022年11月05日 09:58:07   作者:歪锅锅  
这篇文章主要介绍了C++11, 14, 17对tuple元素的访问详情,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教

C++11, 14, 17对tuple元素的访问

std::tuple 作为可以存放任意个数,任意类型的元祖被我个人经常使用。

记得以前看侯捷谈到这个数据结构的时候,被他的实现所惊奇,太巧妙地设计。

我自己在使用std::tuple的时候也随着C++版本的更新尝试新的写法,对于元组中元素的获取,我一直觉得很有意思:

比如我有这么一个源文件:

#include <iostream>
#include <tuple>

#define CPP11 (__cplusplus < 201401L)
#define CPP14 (__cplusplus < 201701L and __cplusplus > 201401L)
#define CPP17 (__cplusplus >= 201702L)

class Moo {
  Moo() { ::printf("%s\n", __PRETTY_FUNCTION__); }
  Moo(Moo const &) { ::printf("%s\n", __PRETTY_FUNCTION__); }
  Moo(Moo &&) { ::printf("%s\n", __PRETTY_FUNCTION__); }
  Moo &operator=(Moo const &) noexcept {
    ::printf("%s\n", __PRETTY_FUNCTION__);
    return *this;
  }

  Moo &operator=(Moo &&) noexcept {
    ::printf("%s\n", __PRETTY_FUNCTION__);
    return *this;
  }

  ~Moo() { ::printf("%s\n", __PRETTY_FUNCTION__); }
};

int main() {
  std::cout << "c++ version:" << __cplusplus << std::endl;
  auto &&tp = std::make_tuple<Moo, const char *, int>(Moo(), "hello world", 3);

#if CPP11
  auto &&first = std::get<0>(tp);
  auto &&second = std::get<1>(tp);
  auto &&third = std::get<2>(tp);
#endif

#if CPP14
  auto &&first = std::get<Moo>(tp);
  auto &&second = std::get<const char *>(tp);
  auto &&third = std::get<int>(tp);
#endif

#if CPP17
  auto [a, b, c] = tp;
  auto &[first, second, third] = tp;
#endif

  return 0;
}

Moo类考察当前对象在构造tuple和返回值的过程中经历怎样的人生

  • C++11: 使用std::get方法来获取对应秩的元素的引用
  • C++14: 使用类似在nlohmannjson里面获取对应类型的json对象的方式,通过类型来获取对应的元素的引用,有点现代C++那味儿了吼
  • C++17: 引入了结构化绑定,不实用引用的时候会返回新创建的临时对象,a, b, c是对临时对象的右值引用,而使用引用则是想std::get那样引用原本对象。C++17结构化绑定yyds!表达力比之前强太多

std::tuple大总结

C++11引入了一个新的较实用的模板类型,std::tuple,也即是元组。元组是一个固定大小的不同类型(异质,heterogeneous)值的集合,也即它可以同时存放不同类型的数据。

类似于python中用小括号表示的元组类型。C++已有的std::pair类型类似于一个二元组,可看作是std::tuple的一个特例,std::tuple也可看作是std::pair的泛化。std::pair的长度限制为2,而std::tuple的元素个数为0~任意个。

元组的使用

  • 有时候希望将一些数据组合成单一对象,但又不想麻烦地定义一个新数据结构来表示这些数据时,std::tuple是非常有用的。我们可以将std::tuple看作一个“快速而随意”的数据结构。我们可以把它当作一个通用的结构体使用,但又不需要创建和获取结构体的特征,使得程序更加简洁直观。
  • 创建一个std::tuple对象时,可以使用tuple的默认构造函数,它会对每个成员进行值初始化;也可以为每个成员提供一个初始值,此时的构造函数是explicit的,因此必须使用直接初始化方法。
  • 一个std::tuple类型的成员数目是没有限制的,因此,元组的成员都是未命名的。要访问一个元组的成员,就要使用一个名为get的标准库函数模板。为了使用get,我们必须指定一个显式模板实参,它指出我们想要访问第几个成员。我们传递给get一个tuple对象,它返回指定成员的引用。get尖括号中的值必须是一个整型常量表达式。与往常一样,我们从0开始计数,意味着get<0>是第一个成员。
  • 为了使用tuple_size或tuple_element,我们需要知道一个元组对象的类型。与往常一样,确定一个对象的类型的最简单方法就是使用decltype。
  • std::tuple的一个常见用途是从一个函数返回多个值。
  • std::tuple中元素是被紧密地存储的(位于连续的内存区域),而不是链式结构。
  • std::tuple实现了多元组,这是一个编译期就确定大小的容器,可以容纳不同类型的元素。多元组类型在当前标准库中被定义为可以用任意数量参数初始化的类模板。每一模板参数确定多元组中一元素的类型。所以,多元组是一个多类型、大小固定的值的集合。

典型使用

创建和初始化

{
    std::tuple<int, double, std::string> first;    // 创建一个空的元组,需要指定元组元素的数据类型,调用各个成员的默认构造函数进行初始化。
    std::tuple<int, double, std::string> second(first);  // 拷贝构造
    std::tuple<int, char> third(10, 'a');        // 创建并初始化,使用小括号初始化
    std::tuple<int, std::string, double> fourth{42, "Test", -3.14};  // 创建并初始化,使用新的大括号初始化列表方式初始化
    std::tuple<int, char> fifth(std::make_tuple(20, 'b'));     // 移动构造,使用模板库的make_tuple
    first = std::make_tuple(1, 3.14, "tuple");       // 移动赋值
    int i_third = 3;
    std::tuple<int&> sixth(std::ref(i_third));   // 创建一个元组,元组的元素可以被引用
} 

元组的访问和修改 

std::get<N>()

{
    int n = 1;
    auto t = std::make_tuple(10, "Test", 3.14, std::ref(n), n);
    // get尖括号中的值必须是一个整型常量表达式。从0开始计数,意味着get<0>是第一个成员。
    std::cout << "The value of t is "  << "("
               << std::get<0>(t) << ", " << std::get<1>(t) << ", "
               << std::get<2>(t) << ", " << std::get<3>(t) << ", "
               << std::get<4>(t) << ")\n";
    // 由于get返回指定元素的引用,所以可用来修改指定位置的元素的值。此处因为第4个元素是引用类型,所以被引用的值也会改变
    std::get<3>(t) = 9;
    std::cout << n << std::endl;
}

元组的元素个数

使用std::tuple_size<>()

{
    std::tuple<char, int, long, std::string> first('A', 2, 3, "4");
    int i_count = std::tuple_size<decltype(first)>::value;  // 使用std::tuple_size计算元组个数
    std::cout << "the number of elements of a tuple:" << i_count << "\n";
}

元组的解包

std::tie() 元组包含一个或者多个元素,使用std::tie解包: 首先需要定义对应元素的变量,再使用tie。

{ // std::tie: function template, Constructs a tuple object whose elements are references
  // to the arguments in args, in the same order
  // std::ignore: object, This object ignores any value assigned to it. It is designed to be used as an
  // argument for tie to indicate that a specific element in a tuple should be ignored.
    
    int myint;
    char mychar;
 
    std::tuple<int, float, char> mytuple;
 
    mytuple = std::make_tuple(10, 2.6, 'a');          // packing values into tuple
 
    std::tie(myint, std::ignore, mychar) = mytuple;   // unpacking tuple into variables
 
    std::cout << "myint contains: " << myint << '\n';
    std::cout << "mychar contains: " << mychar << '\n';
}

元组的元素类型获取

获取元组中某个元素的数据类型,需要用到另外一个类型: std::tuple_element。 语法: std::tuple_element<index, tuple>。

{
    std::tuple<int, std::string> third(9, std::string("ABC"));
    
    // 得到元组第1个元素的类型,用元组第一个元素的类型声明一个变量
    std::tuple_element<1, decltype(third)>::type val_1;
    
    // 获取元组的第一个元素的值
    val_1 = std::get<1>(third);
    std::cout << "val_1 = " << val_1.c_str() << "\n";
}

元组的拼接

使用 std::tuple_cat 执行拼接

{
    std::tuple<char, int, double> first('A', 1, 2.2f);
    // 组合到一起, 使用auto, 自动推导
    auto second = std::tuple_cat(first, std::make_tuple('B', std::string("-=+")));
    // 组合到一起,可以知道每一个元素的数据类型时什么 与 auto推导效果一样
    std::tuple<char, int, double, char, std::string> third = std::tuple_cat(first, std::make_tuple('B', std::string("-=+")));
    // 输出合并后的元组内容
    int index = 0;
    std::cout << index++ << " = " << std::get<0>(second) << "\n";  // 0 = A
    std::cout << index++ << " = " << std::get<1>(second) << "\n";  // 1 = 1 
    std::cout << index++ << " = " << std::get<2>(second) << "\n";  //  2 = 2.2
    std::cout << index++ << " = " << std::get<3>(second) << "\n";  // 3 = B
    std::cout << index++ << " = " << std::get<4>(second).c_str() << "\n"; // 4 = -=+
}

元组的遍历

元组没用提供operator []重载,遍历起来较为麻烦,需要为其单独提供遍历模板函数 

以上为个人经验,希望能给大家一个参考,也希望大家多多支持脚本之家。

相关文章

  • C语言文件读写操作介绍与简单示例

    C语言文件读写操作介绍与简单示例

    这篇文章主要给大家介绍了关于C语言文件读写操作的相关资料,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2021-01-01
  • C++实现哈夫曼树编码解码

    C++实现哈夫曼树编码解码

    这篇文章主要为大家详细介绍了C++实现哈夫曼树编码解码,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-04-04
  • C语言线性表中顺序表超详细理解

    C语言线性表中顺序表超详细理解

    程序中经常需要将一组数据元素作为整体管理和使用,需要创建这种元素组,用变量记录它们,传进传出函数等。一组数据中包含的元素个数可能发生变化,顺序表则是将元素顺序地存放在一块连续的存储区里,元素间的顺序关系由它们的存储顺序自然表示
    2022-03-03
  • C++实现本地TCP通讯的示例代码

    C++实现本地TCP通讯的示例代码

    这篇文章主要为大家详细介绍了C++如何利用TCP技术,实现本地ROS1和ROS2的通讯,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下
    2024-02-02
  • 线程崩溃不会导致 JVM 崩溃的原因解析

    线程崩溃不会导致 JVM 崩溃的原因解析

    网上看到一个很有意思的据说是美团的面试题:为什么线程崩溃崩溃不会导致 JVM 崩溃,这个问题我看了不少回答,但都没答到根本原因,所以决定答一答,相信大家看完肯定会有收获,本文分以下几节来探讨,需要的朋友可以参考下
    2022-06-06
  • c语言实现奇偶排序算法

    c语言实现奇偶排序算法

    这篇文章主要介绍了c语言实现奇偶排序算法,有需要的朋友可以参考一下
    2013-12-12
  • C++/C 回文字符串的实例详解

    C++/C 回文字符串的实例详解

    这篇文章主要介绍了C++ 回文字符串的实例详解的相关资料,需要的朋友可以参考下
    2017-07-07
  • C++变量判定的螺旋法则示例详解

    C++变量判定的螺旋法则示例详解

    这篇文章主要给大家介绍了关于C++变量判定的螺旋法则,文中通过示例代码介绍的非常详细,对大家学习或者使用C++具有一定的参考学习价值,需要的朋友们下面来一起学习学习吧
    2019-09-09
  • C++ OpenGL实现旋转立方体的绘制

    C++ OpenGL实现旋转立方体的绘制

    这篇文章主要主要为大家详细介绍了如何利用C++和OpenGL实现旋转立方体的绘制,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起动手尝试一下
    2022-07-07
  • c++中的string常用函数用法总结

    c++中的string常用函数用法总结

    以下是对c++中的string常用函数的用法进行了详细的分析介绍,需要的朋友可以过来参考下
    2013-09-09

最新评论