如何在C++中通过模板去除强制转换

C++与C语言相比是一个强类型语言,即对数据类型的匹配程度较C更为严格,这有助于避免程序员在编程过程中由于粗心所犯之错。由于历史原因,C++中仍保留了reinterpret_ cast、static_cast等用于强制类型转换的关键字,但从语言向强类型发展的趋势来看,我们在编程工作中应尽量少使用强制类型转换,模板有助于我们实现这一目的。减少使用强制类型转换的另一个好处,是程序的可维护性更强。
下面让我们通过例子来了解如何通过模板减少程序中的强制转换。图1以简化的形式示例了双向链表(Double-Linked List, DLL)的部分实现内容,以及使用双向链表的代码片段。

class dll_t; 

class dll_node_t
{
  friend class dll_t; 

public:
  explicit dll_node_t (); 

  void data (void *_p_data) {p_data_ = _p_data;}
  void *data () {return p_data_;} 

private:
  dll_node_t *prev_;
  dll_node_t *next_;
  void *p_data_;
}; 

class channel_t
{
public:
  channel_t () : node ()
  {
    node_.data (reinterpret_cast <void *> (this));
  } 

private:
  dll_node_t node_;
};

图1 

其中,dll_node_t是双向链表节点的类封装。它除了prev_和next_两个用于保存前一个和后一个节点指针的成员变量外,还有一个用于保存节点数据的p_data_。由于节点所保存数据的具体含义完全取决于链表的使用者,因此p_data_类型被定义为void*,以便容纳任何类型的数据。位于第10和11行的data()函数用于分别设置和获取p_data_变量的值。
 
图中第19至29行的代码示例了channel_t类使用dll_node_t类的片段。在channel_t类的构造函数中,调用data()函数时需要通过强制类型转换的方式将this指针保存到节点的p_data_变量中。不难想象,当通过data()函数获取p_data_中的值时,也得通过强制转换的方式使其变成类型为channel_t的指针(这部分代码在图中并未列出)。
 
图2是使用模板改写后的版本。相信读者能轻易地辨别出其中已不存在强制类型转换的身影。

template <typename T_NODE> class dll_t; 

template <typename T_DATA> class dll_node_t
{
  friend class dll_t <dll_node_t <T_DATA> >; 

public:
  explicit dll_node_t (); 

  void data (T_DATA *_p_data) {p_data_ = _p_data;}
  T_DATA *data () {return p_data_;} 

private:
  dll_node_t *prev_;
  dll_node_t *next_;
  T_DATA *p_data_;
}; 

class channel_t
{
public:
  channel_t (): node_ ()
  {
    node_.data (this);
  } 

private:
  dll_node_t <channel_t> node_;
};

图2

以上就是本文的全部内容,希望对大家熟练使用模板去除强制转换有所帮助。

(0)

相关推荐

  • C++中Operator类型强制转换成员函数解析

    类型转换操作符(type conversion operator)是一种特殊的类成员函数,它定义将类类型值转变为其他类型值的转换.转换操作符在类定义体内声明,在保留字 operator 之后跟着转换的目标类型.转换函数又称类型强制转换成员函数,它是类中的一个非静态成员函数.它的定义格式如下: 复制代码 代码如下: class <类型说明符1> { public: operator <类型说明符2>(); - } 这个转换函数定义了由<类型说明符1>到<类型说明符2

  • c++类的隐式转换与强制转换重载详解

    在写这篇文章之前,让我们先回顾一下编译器通过匹配过程确定调用哪一个函数的匹配顺序:(1)寻找和使用最符合函数名和参数类型(包括返回值)的函数,若找到则调用: (2)否则,寻找一个函数模板,将其实例化产生一个匹配的重载函数,若找到则调用: (3)否则,寻找可以通过类型转换进行参数匹配的重载函数,若找到则调用它. 如果以上步骤均未找到匹配函数,则这个调用是错误的:如果这个调用有多于一个的匹配选译,则调用匹配出现二义性,也是错误的.   类型转换是将一种类型的值映射为另一种类型的值.类型转换实际上包含

  • C#自定义类型强制转换实例分析

    本文实例讲述了C#自定义类型强制转换的用法.分享给大家供大家参考.具体分析如下: 先来举一个小例子 类定义: public class MyCurrency { public uint Dollars; public ushort Cents; public MyCurrency(uint dollars, ushort cents) { this.Dollars = dollars; this.Cents = cents; } public override string ToString()

  • 如何在C++中通过模板去除强制转换

    C++与C语言相比是一个强类型语言,即对数据类型的匹配程度较C更为严格,这有助于避免程序员在编程过程中由于粗心所犯之错.由于历史原因,C++中仍保留了reinterpret_ cast.static_cast等用于强制类型转换的关键字,但从语言向强类型发展的趋势来看,我们在编程工作中应尽量少使用强制类型转换,模板有助于我们实现这一目的.减少使用强制类型转换的另一个好处,是程序的可维护性更强. 下面让我们通过例子来了解如何通过模板减少程序中的强制转换.图1以简化的形式示例了双向链表(Double-

  • 如何在 C++ 中实现一个单例类模板

    单例模式是最简单的设计模式之一.在实际工程中,如果一个类的对象重复持有资源的成本很高,且对外接口是线程安全的,我们往往倾向于将其以单例模式管理. 此篇我们在 C++ 中实现正确的单例模式. 选型 在 C++ 中,单例模式有两种方案可选. 一是实现一个没有可用的公开构造函数的基类,并提供 GetInstance 之类的静态接口,以便访问子类唯一的对象.由于子类构造必须调用基类构造,但基类无公开构造函数可用,这使得子类对象只能由基类及基类的友元来构造,从而在机制上保证单例. 二是实现一个类模板,其模

  • 分享如何在VB中调用VC编写的DLL

    一般来说,VB和VC共同编程有3种方式:一种是VC生成DLL,在VB中调用DLL:一种是VC生成ActiveX控件(.ocx),在VB中插入:还有一种是在VC中生成ActiveX Automation服务器,在VB中调用.相对而言,第一种方法对VC编程者的要求最低,但要求你的伙伴进行配合,我推荐这种方法. 先说说VC++的编程.首先在VC++中生成Win32 DLL工程.在这个工程中添加几个函数供VB用户调用.一个DLL中的函数要想被VB调用,必须满足两个条件:一是调用方式为stdcall,另一

  • 详解如何在webpack中做预渲染降低首屏空白时间

    一.浏览器渲染过程 1.用户打开页面,空白屏,等待html的返回 2.html下载完毕,开始解析html,初始渲染 3.下载css.js等资源,执行js渲染虚拟DOM 4.发起请求.获取数据,渲染内容 下面我们主要是讨论一下如何通过预渲染的方式降低空白屏的时间 缩小首屏载时间是一个重要的优化项,总结来主要有以下几种方式: 1.尽可能的缩小webpack或者其他打包工具生成的包的大小 2.使用服务端渲染的方式 3.使用预渲染的方式 4.使用gzip减小网络传输的流量大小 5.按照页面或者组件分块懒

  • 如何在scrapy中捕获并处理各种异常

    前言 使用scrapy进行大型爬取任务的时候(爬取耗时以天为单位),无论主机网速多好,爬完之后总会发现scrapy日志中"item_scraped_count"不等于预先的种子数量,总有一部分种子爬取失败,失败的类型可能有如下图两种(下图为scrapy爬取结束完成时的日志): scrapy中常见的异常包括但不限于:download error(蓝色区域), http code 403/500(橙色区域). 不管是哪种异常,我们都可以参考scrapy自带的retry中间件写法来编写自己的

  • 如何在vue中使用HTML 5 拖放API

    拖放 API 将可拖动元素添加到 HTML,使我们可以构建包含可以拖动的具有丰富 UI 元素的 Web 应用. 在本文中我们将用 Vue.js 构建一个简单的看板应用.看板是一种项目管理工具,使用户可以从头到尾直观地管理项目. Trello.Pivotal Tracker 和 Jira 等工具都属于看板应用. 设置看板 运行以下命令创建我们的看板项目: vue create kanban-board 在创建项目时,该选择只包含 Babel 和 ESlint 的默认预设. 完成后,删除默认组件 H

  • 如何在 Vue 中使用 JSX

    JSX 是什么 JSX 是一种 Javascript 的语法扩展,JSX = Javascript + XML,即在 Javascript 里面写 XML,因为 JSX 的这个特性,所以他即具备了 Javascript 的灵活性,同时又兼具 html 的语义化和直观性 为什么要在 Vue 中使用 JSX 有时候,我们使用渲染函数(render function)来抽象组件,渲染函数不是很清楚的参见官方文档, 而渲染函数有时候写起来是非常痛苦的 createElement( 'anchored-h

  • 如何在C#中使用Dapper ORM

    对象关系映射(ORM)这个概念已经存在很长时间了,ORM的作用就是用来解决 编程领域的 object model 和关系数据库中的 data model 的不匹配问题,Dapper 是一个开源的,轻量级的 ORM 框架,由 Stack Overflow 团队开发,Dapper 和其他流行的ORM框架相比,最大的优点就是羽翼级. Dapper在最初开发时就考虑到了性能和易用性,它支持在 事务,存储过程 或者 批量插入时进行静态或者动态的对象绑定. 使用 Visual Studio 安装 Dappe

  • 如何在MyBatis中实现DataSource

    一.DataSource 首先大家要清楚DataSource属于MyBatis三层架构设计的基础层    然后我们来看看具体的实现. 在数据持久层中,数据源是一个非常重要的组件,其性能直接关系到整个数据持久层的性能,在实际开发中我们常用的数据源有 Apache Common DBCP,C3P0,Druid 等,MyBatis不仅可以集成第三方数据源,还提供的有自己实现的数据源. 在MyBatis中提供了两个 javax.sql.DataSource 接口的实现,分别是 PooledDataSou

  • 如何在Pycharm中制作自己的爬虫代码模板

    目录 写作背景 爬虫代码 在 Pycharm 中设置代码模板 写作背景 最近本菜鸡有几个网站想要爬,每个爬虫的代码不一样,但 有某种联系,可以抽出一部分通用的代码制成模板,减少代码工作量,于是就有了这篇文章. 如果觉得我这篇文章写的好的话,能不能给我 点个赞 ,评论 .收藏 一条龙(☆▽☆).如果要点个 关注 的话也不是不可以. 如果 有什么问题,还 请各位大佬提出,不胜感激. 爬虫代码 我的爬虫代码都是使用的 自己 写的 多线程. 因为我的代码能力很差,所以如果代码有哪里让各位大佬倍感不适,请

随机推荐