《C++设计新思维》勘误，附C++14新解法
勘误：
原书（中文版）3.13节，65-69页中GenScatterHierarchy以及FieldHelper均存在问题，当TypeList中类型有重复时，无法通过编译（原因在于“二义性基类”）。
书中出现的二义性问题，可以用一小段代码演示一下：
class A{};
class B:public A{};
class C:public A,public B{};
void test()
{
C c;
A& cf =c;//wrong,don't try this at home.
B& cbf =c;//right
A& caf = cbf;//right
}
由于C继承了两个A，一个直接继承，一个间接继承，所以将C转换成A，存在两条路径，无法转换。甚至我们永远无法访问C直接继承的A！
继承B的路径是唯一的，所以可以通过B，再次转换成为A。
《C++设计新思维》书中给出的代码和类图，向右侧转换是唯一的，但是向左侧转换时路径不为一，所以TypeList一旦包含重复类型后，无法通过编译。
这个问题已经解决了，具体解决方案请参看Loki源码 Loki源码
这里我简要说一下，解决方法就是确保左端的直接父类是唯一的，这样即可有一条唯一的路径可以转换到某一基类。
C++14 新法：
首先，给出typelist和操作typelist的两个函数
template <typename... T> struct TypeList; template <int I, typename Arg>
struct at;
template <int I, typename Head, typename... Tail>
struct at<I, TypeList<Head, Tail...>>
{
typedef typename at<I - , TypeList<Tail...>>::type type;
};
template <class Head, typename... Tail>
struct at<, TypeList<Head, Tail...>>
{
typedef Head type;
};
template <int N, class Seq>
struct drop;
template <int N, class Head, class... Tail>
struct drop<N, TypeList<Head, Tail...>>
{
typedef
typename drop<N-, TypeList<Tail...>>::type
type;
};
template <class Head, class... Tail>
struct drop<, TypeList<Head, Tail...>>
{
typedef TypeList<Head, Tail...> type;
};
at获取typelist中某个索引值的类型元素，而drop是去除首部的某几个元素。
下面给出GenScatterHierarchy代码，此处为了方便使用Genorator代之。
namespace Private
{
// The following type helps to overcome subtle flaw in the original
// implementation of GenScatterHierarchy.
// The flaw is revealed when the input type list of GenScatterHierarchy
// contains more then one element of the same type (e.g. LOKI_TYPELIST_2(int, int)).
// In this case GenScatterHierarchy will contain multiple bases of the same
// type and some of them will not be reachable (per 10.3).
// For example before the fix the first element of Tuple<LOKI_TYPELIST_2(int, int)>
// is not reachable in any way!
template<class, class>
struct UniqueTag;
} template <typename Head,typename... Tails, template <typename> class Unit> class Genorater<TypeList<Head,Tails...>,Unit>
:public Genorater<Private::UniqueTag<Head,TypeList<Head,Tails...>>,Unit>,public Genorater<TypeList<Tails...>,Unit> {};
template <typename Head,typename... Tails,template <typename> class Unit> class Genorater<Private::UniqueTag<Head,TypeList<Head,Tails...>>,Unit>:public Unit<Head> {};
UniqueTag，用于辅助构建唯一的类型转换路径。
下面给出FieldHelper源码：
template <int I,typename... TList,template <typename> class Unit> Unit<typename at<I,TypeList<TList...>>::type>& FieldHelper(Genorater<TypeList<TList...>,Unit>& obj)
{ Genorater<Private::UniqueTag<typename at<I,TypeList<TList...>>::type,typename drop<I,TypeList<TList...>>::type>,Unit>& leftBase = obj;
return leftBase; } template <int I,typename... TList, template <typename> class Unit> Unit<typename at<I,TypeList<TList...>>::type>& Field(Genorater<TypeList<TList...>,Unit>& obj)
{ //return FieldHelper(obj,Int2Type<I>());
return FieldHelper<I>(obj);
}
最后是测试代码：
typedef TypeList<double,int,double,string> myList; typedef Genorater<myList,Holder> Info; int main()
{
cout << "Hello world!" << endl; Info obj;
cout<<typeid(obj).name()<<endl;
Field<>(obj).value_=;
Field<>(obj).value_=;
Field<>(obj).value_="hao123";
cout<< Field<>(obj).value_<<endl;
cout<< Field<>(obj).value_<<endl;
cout<< Field<>(obj).value_<<endl; return ;
}
-------------------------------------------------------------------------华丽的分割线---------------------------------------------------------------------------------------
此处给出一个仿写Loki源码的FieldHelper
namespace Private
{
template<class, class...>
struct UniqueTag;
} template <typename Head,typename... Tails, template <typename> class Unit> class Genorater<TypeList<Head,Tails...>,Unit>
:public Genorater<Private::UniqueTag<Head,Tails...>,Unit>,public Genorater<TypeList<Tails...>,Unit> {};
template <typename Head,typename... Tails,template <typename> class Unit> class Genorater<Private::UniqueTag<Head,Tails...>,Unit>:public Unit<Head> {}; template <typename Head,typename... TList,template <typename> class Unit> Unit<Head>& FieldHelper(Genorater<TypeList<Head,TList...>,Unit>& obj,Int2Type<>){ Genorater<Private::UniqueTag<Head,TList...>,Unit>& leftBase = obj;
return leftBase;
}
template <int I,typename Head,typename... TList, template <typename> class Unit> Unit<typename at<I,TypeList<Head,TList...>>::type>& FieldHelper(Genorater<TypeList<Head,TList...>,Unit>& obj,Int2Type<I>){ Genorater <TypeList<TList...>,Unit>& rightBase = obj;
return FieldHelper(rightBase,Int2Type<I->());
}
补充一些内容，其实C++11可利用变模板参数而剔除typelist。比如C++11标准的tuple的实现并没有利用typelist技术。
tuple利用了多重继承，实现方法和Genorator方式大同小异。C++11采用左端采用公有继承，右端使用私有继承。并采用int类型模板参数，作为转换路径唯一的标示。
具体见C++11 tuple.h中 相关源码。
接下来我不使用typelist技术来实现单根继承
class empty{};
template <template <typename,typename> class Unit,typename Head,typename... Tail> class GenorateLiner
:public Unit<Head,GenorateLiner<Unit,Tail...>>{
};
template <template <typename,typename> class Unit,typename Head> class GenorateLiner<Unit,Head>:Unit<Head,empty>{
};
谢谢，转载请表明出处！本文仅对读过《C++设计新思维》一书朋友有用，其他博友慎读（不要对C++产生抵触情绪）
《C++设计新思维》勘误，附C++14新解法的更多相关文章
- 《C++设计新思维》Command设计模式读后感
原文内容提领: 本书第5章标题为泛化仿函数,我认为本章真正讲述的内容可以总结出一句话! 如何利用C++老标准实现C++11新标准类似std::function提供的功能. std::function简 ...
- PowerBuilder编程新思维3：适配（三层架构与GraphQL）
PowerBuilder编程新思维3:适配(三层架构与GraphQL) PB在富客户端时代,是一线开发工具.随着网络发展,主流架构演进到三层架构的时代,PB拿不出有力的三层架构,已经明显力不从心,市场 ...
- PowerBuilder编程新思维2：嵌入（Thread多线程）
PowerBuilder编程新思维2:嵌入(Thread多线程) 在PB中使用多线程,在网上有大量的文章介绍.不过深入研究并试着给出更易用的模型的,目前还只有"路人甲cw"的一篇& ...
- MySQL 8.0.14 新的密码认证方式和客户端链接
MySQL 8.0.14 新的密码认证方式和客户端链接 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. MySQL8.0在密码认证方式发生了改变,这也是有点小伙伴在MySQL创建 ...
- PowerBuilder编程新思维5：包装（界面美化与WebUI+React）
PowerBuilder编程新思维5:包装(界面美化与WebUI+React) 前一节,分析了三种界面美化方案,都是控件级的美化.今天再来分析一下窗口级的美化.上一次讲的DirectUI,大家反响一般 ...
- PowerBuilder编程新思维4：钩挂（界面美化与DirectUI）
<第二部分 Outside> PowerBuilder编程新思维4:钩挂(界面美化与DirectUI) PB的界面由于其封闭性,一直以来都是最大的弱项.自PB9.0开放了PBNI接口后,开 ...
- PowerBuilder编程新思维1：扩展（Lua）
前言 PowerBuilder作为开发工具退出一线行列已经很久了,在2019年来谈这样一款老旧的编程工具是否有意义?诚然,PB有着太多硬伤,但还是有它的用武之地的.而且今天讲的这个“新思维”大部分内容 ...
- FS系统开发设计（思维导图）
FS系统开发设计(思维导图) 最近做了一个小系统,公司应急,要对各个部门进行费用成本核算分摊,做运维,苦于无奈,简简单单的设计了一下,模仿用友ERP软件,首先对DB进行了初步设计,总体如下: 未完 ...
- 基于事件驱动的DDD领域驱动设计框架分享（附源代码）
原文:基于事件驱动的DDD领域驱动设计框架分享(附源代码) 补充:现在再回过头来看这篇文章,感觉当初自己偏激了,呵呵.不过没有以前的我,怎么会有现在的我和现在的enode框架呢?发现自己进步了真好! ...
随机推荐
- 在Windos上安装Nginx
官网地址:http://nginx.org/en/download.html 1.下载 2.解压 3.启动 4.访问 打开cmd cd到nginx路径,使用命令关闭它 nginx.exe -s sto ...
- cocos2d-x 3.x 物理碰撞机制
近期又弄了物理引擎.写一下吧,以下有在其它博客学习到的知识.加上自己的理解,总结下. cocos2d-x 3.X 中全新的封装的物理引擎给了开发人员最大的便捷,你不用再繁琐与各种物理引擎的细节,全然的 ...
- 1.高并发教程-基础篇-之nginx负载均衡的搭建
温馨提示:请不要盲目的进行横向扩展,优先考虑对单台服务器的性能优化,只有单台服务器的性能达到最优化之后,集群才会被最大的发挥作用. 一.架构图: 服务器准备:3台,ubuntu16.04系统maste ...
- Objective-C基础知识之“类”
Objective-C语言是iOS开发的专用语言,虽然现在在逐步被swift语言取代,但是仍可以作为基础学习,学会Objective-C之后入手swift也是相当快速.今天我来简谈一下关于OC中的类. ...
- rpm与yum，at与crontab，sed命令使用
1.简述rpm与yum命令的常见选项,并举例. rpm——软件包管理系统,它使得在Linux下安装.升级.删除软件包的工作变得容易,并且具有查询.验证软件包的功能. 1)安装选项 命令格式: rpm ...
- MySQL数据库创建用户并实现远程登录
创建用户 CREATE USER 'username'@'host' IDENTIFIED BY 'password'; 2.授权 GRANT privileges_name privileges O ...
- PE 学习之路 —— 区块表
1. 前述 在 NT 头结束后,紧接着就是区块表,区块表包含每个块在映象中的信息,分别指向不同的区块实体. 2. 区块表 区块表是一个 IMAGE_SECTION_HEADER 结构数组,这个结构包含 ...
- 内置函数--eval
eval参数是一个字符串, 可以把这个字符串当成表达式来求值, 比如'x+2'就是一个表达式字符串>>> x = 2>>> print (eval('x+2'))2 ...
- 论 Python Opencv 中文路径及中文文件名图像文件读取的两种方式
python 2中对于中文字符的处理可谓是诟病已久,虽然python 3 使用统一编码解决了中文字符串的问题,但在使用opencv中imread函数读取中文路径图像文件时仍会报错. 1) 借助nump ...
- 批量删除C#注释
批量删除C#注释(适用于vs开发环境) 方法: 第一步:使用Ctrl+H快捷键,打开查询替换窗口 第二步:在‘查找选项’中,勾选‘使用’‘正则表达式’ 第三步:在‘查找内容’中,填写正则表达式[\t] ...