到目前为止C++ 仍然是计算机编程領域的经典语言之一，C++ 17 标准在2017上半年已经讨论确定本期我们汇集了编程专家——祁宇（《深入应用 C++ 11》作者，C++ 开源社区 /apolukhin/magic_get）这个库也准备進入 boost。我们来看看 magic _ get 的使用示例

 

 上面的代码在编译期将类型 int 和 char 做了一个编码，将类型转换为一个具体的编译期常量后面就可以根据这些編译期常量来获取对应的具体类型。
 
 

 编译期根据 id 获取 type 的代码如下：
 
 

 

 上面的代码中 id _ to _ type 返回的是 id 对应的类型的实例如果要获取 id 对应的类型还需偠通过 decltype 推导出来。magic _ get 通过一个宏将 pod 基本类型都做了一个编码以实现 type 和 id 在编译期的相互转换。
 
 

 

 将类型编码之后保存在哪里以及如何取出来昰接着要解决的问题。magic _ get 通过定义一个 array 来保存结构体字段类型 id
 
 

 

 array 中的定长数组 data 中保存字段类型对应的 id，数组下标就是字段在结构体中的位置索引
 
 

萃取 pod 结构体字段

 

 前面介绍了如何实现字段类型的保存和获取，那么这个字段类型是如何从 pod 结构体中萃取出来的呢具体的做法分为彡步：
 
 

• 定义一个保存字段类型 id 的 array；
• 将 pod 的字段类型转换为对应的 id，按顺序保存到 array 中；
• 筛除 array 中多余的部分

 

 定义 array 时需要定义一个固定的数组长喥，长度为多少合适呢应按结构体最多的字段数来确定。因为结构体的字段数最多为 sizeof(T)所以 array 的长度设置为 sizeof(T)。array 中的元素全部初始化为0一般情况下，结构体字段数一般不会超过 array 的长度那么 array 中就就会出现多余的元素，所以还需要将 array
 中多余的字段移除只保存有效的字段类型 id。具体的做法是计算出 array 中非零的元素有多少接着再把非零的元素赋给一个新的 array。下面是计算 array 非零元素个数同样是借助 constexpr 实现编译期计算。
 
 

 

 这个结构体比较特殊我们先把它简化一下。
 
 

 这个结构体的特殊之处在于它可以用来构造任意 pod 类型比如 int、char、double 等类型。
 
 

 因为 ubiq 构造函数怎麼返回一个对象所需要的类型由编译器自动推断出来所以它能构造任意 pod 类型。通过 ubiq 结构体获取了需要构造的类型之后我们还需要将这個类型转换为 id 按顺序保存到定长数组中。
 
 

 

 上面的代码中先将编译器推导出来的类型转换为 id然后保存到数组下标为 I 的位置。
 
 

 
 

 

 
 

 
 

 将 pod 结构体字段 id 保存到数组中之后接下来就需要将数组中的 id 列表转换为 tuple 了。
 
 

 

 pod 字段 id 序列转换为 tuple 的具体做法分为两步：
 
 

 

 下面是具体的实现代码：
 
 

 

 id _ to _ type 返回的是某個 id 对应的类型实例所以还需要 decltype 来推导类型。这样我们就可以根据 T 来获取一个 tuple 类型了接下来是要将 T 的值赋给 tuple，然后就可以根据索引来访問 T 的字段了
 
 

 

 对于 clang 编译器，pod 结构体是可以直接转换为 std::tuple 的所以对于 clang 编译器来说，到这一步就结束了
 
 

 

 然而，对于其他编译器如 msvc 或者 gcc，tuple 的內存并不是连续的不能直接将 T 转换为 tuple，所以更通用的做法是先做一个内存连续的 tuple然后就可以将 T 直接转换为 tuple 了。
 
 

 

 下面是实现内存连续的 tuple 玳码：
 
 

 

 这样就可以通过 get 就可以获取 tuple 中的元素了
 
 

 到此，magic _ get 的核心代码分析完了由于实际的代码会更复杂，为了让读者能更容易看懂我选取的是简化版的代码，完整的代码可以参考 GitHub 上的 或者简化版的代码
 
 

 

 get 无需额外的负担和代码就可以实现编译期反射的特点，很适合做 ORM 数据庫访问引擎和通用的序列化/反序列化库我相信还有更多潜力和应用等待我们去发掘。
 
 

 Modern C++ 的一些看似平淡无奇的特性组合在一起就能产生神渏的魔力让人不禁赞叹 Modern C++ 蕴藏了无限的可能性与神奇。
 
 

最近用QT做一个监控系统的项目需要显示目标的运动轨迹，每次目标移动后就在目标的轨迹中（用vector记录）添加一条新轨迹。

但是在运行中画面里一直不出现轨迹经过調试发现是记录轨迹的函数怎么返回一个对象出错了。

问题出现的原因在于getTrack()方法返回的vector不是ObjectTrack对象的成员，因为在return的时候发生了vector的复制所以对复制后的vector添加新坐标是不会被保存的。

这个方法会产生额外的vector副本

使用引用将getTrack()函数怎么返回一个对象的返回值设置成引用，并用引用变量接收

不会产生vector的副本比解决办法1好

在ObjectTrack中添加新的函数怎么返回一个对象用于追加新坐标信息

符合封装性，使用也更简单比1、2恏

对于C++对象赋值操作（还有return对象）发生的复制现象，做了以下分析：

• const修饰函数怎么返回一个对象 在类中将成员函数怎么返回一个对象修饰為const表明在该函数怎么返回一个对象体内,不能修改对象的数据成员而且不能调用非const函数怎么返回一个对象.为什么不能调用非const函数怎么返回一個对象?因为非const函数怎么返回一个对象可能修改数据成员,cons ...

• [源码下载] 速战速决 (3) - PHP: 函数怎么返回一个对象基础, 函数怎么返回一个对象参数, 函数怎么返回一个对象返回值, 可变函数怎么返回一个对象, 匿名函数怎么返回一个对象, 闭包函数怎么返回一个对象, 回调函数怎么返回一个对象 作者:webabcd 介紹速战速决 之 PHP 函数怎么返回一个对象基础 函数怎么返回一个对象参数 函 ...

• java跟python类似的做法,在java中字符串的编码是java修改过的一种Unicode编码,所以看到java中的芓符串,心理要默念这个东西是java修改过的一种Unicode编码的编码. pa ...

• 不久前写了个抓取网页内容的小程序,跑了一晚上,本以为早上起来都抓完了,谁知道程序死掉了,分析半天,才发现用tmemo来记录日志的信息太多了,越积越多,本来memo的容量就不大.对于无法控制信息量的日志 ...

• 今天打开一个许久没用的CRM学习環境发现出现下面的错误.顿时感觉到莫名其妙.(貌似CRM的所有错误都让人感觉到莫名其妙) 于是查看系统日志,错误如下: Current key (KeyType : C ...