Modern C++ std::get<n>(tuple)的原理

2024-02-01 04:04
文章标签 c++ 原理 std get modern tuple

本文主要是介绍Modern C++ std::get<n>(tuple)的原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. 前言

前面我们讲过std::tuple的实现原理,但没有讲如何取出数据,本节着重讲讲这点。本节与之前的blog有较大关联,如果您没看,这里有链接,链接已按由浅入深排好序,您可以按顺序阅读。如果时间少可以直接看第三篇由工具快速理解std::tuple的实现原理:

  1. Modern C++ std::unique_ptr的实现原理 带出size问题
  2. Modern C++ std::tuple的size 编程实验size问题
  3. Modern C++利用工具快速理解std::tuple的实现原理 快速理解std::tuple的实现原理
  4. GDB调试技巧实战–自动化画出类关系图 写一个普世工具结合GDB自动画类关系图,当然也适用std::tuple
  5. Modern C++ sizeof(std::tuple)的秘密及实现代码解读 从源码理解std::tuple的实现

2. 按图索骥

原理也不难,根据要取的数据是空类还是非空类分两种情况,先上图,懂了就不必往下看了。

请添加图片描述
实验代码贴在这,方便大家从copy试验:

#include<iostream>
#include <tuple>
using namespace std;struct Empty{constexpr Empty() noexcept = default;
};std::tuple<int,Empty,Empty,int> ie2i = {1, Empty(), Empty(), 2};//12auto& ie2i_0 = std::get<0>(ie2i);auto& ie2i_1 = std::get<1>(ie2i);auto& ie2i_2 = std::get<2>(ie2i);auto& ie2i_3 = std::get<3>(ie2i);std::cout<<"sizeof(std::tuple<int,Empty,Empty,int>):"<<sizeof(std::tuple<int,Empty,Empty,int>)<<std::endl;std::cout<<"ie2i addr:"<<&ie2i<<" ie2i_3:"<<&ie2i_3<<" ie2i_2:"<<&ie2i_2<<" ie2i_1:"<<&ie2i_1<<" ie2i_0:"<<&ie2i_0<<std::endl<<std::endl;

3. 看代码实现

3.1 先看取第一个元素:类型为int,值为1

在这里插入图片描述
注意下面由__t转换为__b, 即从类型std::_Tuple_impl<0, int, Empty, Empty, int> &转成了std::_Head_base<0, int, false> &,而且偏移加了8,说明在std::tuple<int,Empty, Empty, int>这个大房子里std::_Head_base<0, int, false> 位于+8处的偏房中。偏移大小和对象内存模型相关,我们不去讨论。
在这里插入图片描述

3.2 再看取第二个元素:类型为Empty:

在这里插入图片描述
地址从d4f0跳到了d4f4, 说明在std::tuple<int,Empty, Empty, int>这个大房子里std::_Head_base<1, Empty, true> 位于+4处的偏房中, 这一点可以由下面的反汇编代码证明():
在这里插入图片描述
$rax偷偷加了4传给了_M_head(_Head_base& __b)

/usr/include/c++/8/tuple72   template<std::size_t _Idx, typename _Head>73     struct _Head_base<_Idx, _Head, true>74     : public _Head75     {
... ...112       static constexpr _Head&113       _M_head(_Head_base& __b) noexcept { return __b; }

这篇关于Modern C++ std::get<n>(tuple)的原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/666021

相关文章

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作。由于数据类

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息:读取"/proc/cpuinfo"文件获取磁盘信息:读取"/proc/diskstats"文

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符(formatspecifier)快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指

Spring Boot循环依赖原理、解决方案与最佳实践(全解析)

《SpringBoot循环依赖原理、解决方案与最佳实践(全解析)》循环依赖指两个或多个Bean相互直接或间接引用,形成闭环依赖关系,:本文主要介绍SpringBoot循环依赖原理、解决方案与最... 目录一、循环依赖的本质与危害1.1 什么是循环依赖?1.2 核心危害二、Spring的三级缓存机制2.1 三

C#中async await异步关键字用法和异步的底层原理全解析

《C#中asyncawait异步关键字用法和异步的底层原理全解析》:本文主要介绍C#中asyncawait异步关键字用法和异步的底层原理全解析,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录C#异步编程一、异步编程基础二、异步方法的工作原理三、代码示例四、编译后的底层实现五、总结C#异步编程

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a

C++ vector的常见用法超详细讲解

《C++vector的常见用法超详细讲解》:本文主要介绍C++vector的常见用法,包括C++中vector容器的定义、初始化方法、访问元素、常用函数及其时间复杂度,通过代码介绍的非常详细,... 目录1、vector的定义2、vector常用初始化方法1、使编程用花括号直接赋值2、使用圆括号赋值3、ve

Go 语言中的select语句详解及工作原理

《Go语言中的select语句详解及工作原理》在Go语言中,select语句是用于处理多个通道(channel)操作的一种控制结构,它类似于switch语句,本文给大家介绍Go语言中的select语... 目录Go 语言中的 select 是做什么的基本功能语法工作原理示例示例 1:监听多个通道示例 2:带

如何高效移除C++关联容器中的元素

《如何高效移除C++关联容器中的元素》关联容器和顺序容器有着很大不同,关联容器中的元素是按照关键字来保存和访问的,而顺序容器中的元素是按它们在容器中的位置来顺序保存和访问的,本文介绍了如何高效移除C+... 目录一、简介二、移除给定位置的元素三、移除与特定键值等价的元素四、移除满足特android定条件的元

鸿蒙中@State的原理使用详解(HarmonyOS 5)

《鸿蒙中@State的原理使用详解(HarmonyOS5)》@State是HarmonyOSArkTS框架中用于管理组件状态的核心装饰器,其核心作用是实现数据驱动UI的响应式编程模式,本文给大家介绍... 目录一、@State在鸿蒙中是做什么的?二、@Spythontate的基本原理1. 依赖关系的收集2.