`
lovesailing
  • 浏览: 36388 次
  • 性别: Icon_minigender_1
  • 来自: 陕西
社区版块
存档分类
最新评论

C++标准转换运算符reinterpret_cast

    博客分类:
  • c++
 
阅读更多

reinterpret_cast <new_type> (expression)

reinterpret_cast运算符是用来处理无关类型之间的转换;它会产生一个新的值,这个值会有与原始参数(expressoin)有完全相同的比特位。

什么是无关类型?我没有弄清楚,没有找到好的文档来说明类型之间到底都有些什么关系(除了类的继承以外)。后半句倒是看出了 reinterpret_cast的字面意思:重新解释(类型的比特位)。我们真的可以随意将一个类型值的比特位交给另一个类型作为它的值吗?其实不然。

IBM的C++指南 里倒是明确告诉了我们reinterpret_cast可以,或者说应该在什么地方用来作为转换运算符:

  • 从指针类型到一个足够大的整数类型
  • 从整数类型或者枚举类型到指针类型
  • 从一个指向函数的指针到另一个不同类型的指向函数的指针
  • 从一个指向对象的指针到另一个不同类型的指向对象的指针
  • 从一个指向类函数成员的指针到另一个指向不同类型的函数成员的指针
  • 从一个指向类数据成员的指针到另一个指向不同类型的数据成员的指针

不过我在Xcode中测试了一下,事实上reinterpret_cast的使用并不局限在上边所说的几项的,任何类型的指针之间都可以互相转换, 都不会得到编译错误。上述列出的几项,可能 是Linux下reinterpret_cast使用的限制,也可能是IBM推荐我们使用reinterpret_cast的方式

所以总结来说:reinterpret_cast用在任意指针(或引用)类型之间的转换;以及指针与足够大的整数类型之间的转换;从整数类型(包括枚举类型)到指针类型,无视大小。

(所谓"足够大的整数类型",取决于操作系统的参数,如果是32位的操作系统,就需要整形(int)以上的;如果是64位的操作系统,则至少需要长整形(long)。具体大小可以通过sizeof运算符来查看)。

reinterpret_cast有何作用

从上边对reinterpret_cast介绍,可以感觉出reinterpret_cast是个很强大的运算符,因为它可以无视种族隔离,随便搞但就像生物的准则,不符合自然规律的随意杂交只会得到不能长久生存的物种。随意在不同类型之间使用reinterpret_cast,也之后造成程序的破坏和不能使用

比如下边的代码
typedef int (*FunctionPointer)(int );
int value = 21;
FunctionPointer funcP;
funcP = reinterpret_cast <FunctionPointer> (&value);
funcP(value);

我先用typedef定义了一个指向函数的指针类型,所指向的函数接受一个int类型作为参数。然后我用reinterpret_cast将一个整型的地址转换成该函数类型并赋值给了相应的变量。最后,我还用该整形变量作为参数交给了指向函数的指针变量。

这个过程编译器都成功的编译通过,不过一旦运行我们就会得到"EXC_BAD_ACCESS"的运行错误 ,因为我们通过funcP所指的地址找到的并不是函数入口。

由此可知,reinterpret_cast虽然看似强大,作用却没有那么广。IBM的C++指南 、C++之父Bjarne Stroustrup的FAQ网页MSDN的Visual C++ 也都指出:错误的使用reinterpret_cast很容易导致程序的不安全,只有将转换后的类型值转换回到其原始类型,这样才是正确使用reinterpret_cast方式。

这样说起来,reinterpret_cast转换成其它类型的目的只是临时的隐藏自己的什么(做个卧底? ),要真想使用那个值,还是需要让其露出真面目才行。那到底它在C++中有其何存在的价值呢?

MSDN的Visual C++ Developer Center 给出了它的使用价值:用来辅助哈希函数 。下边是MSNDN上的例子:

                // expre_reinterpret_cast_Operator.cpp

// compile with: /EHsc

#include
 <iostream
>
// Returns a hash code based on an address

unsigned
 short
 Hash( void
 *p ) {
	unsigned
 int
 val = reinterpret_cast
<unsigned
 int
>( p );
	return
 ( unsigned
 short )( val ^ (val >> 16));
}

using
 namespace
 std
;
int
 main() {
	int
 a[20];
	for
 ( int
 i = 0; i < 20; i++ )
		cout
 << Hash( a + i ) << endl
;
}

//如果跟我一样是64位的系统,可能需要将unsigned
 int改成 unsigned
 long才能运行。



            

这段代码适合体现哈希的思想,暂时不做深究,但至少看Hash函数里面的操作,也能体会到,对整数的操作显然要对地址操作更方便。在集合中存放整形 数值,也要比存放地址更具有扩展性(当然如果存void *扩展性也是一样很高的),唯一损失的可能就是存取的时候整形和地址的转换(这完全可以忽略不计)。

不过可读性可能就不高,所以在这种情况下使用的时候,就可以用typedef 来定义个指针类型:
typedef unsigned int PointerType;

这样不是更棒,当我们在64位机器上运行的时候,只要改成:
typedef unsigned long PointerType;

当reinterpret_cast面对const

IBM的C++指南 指出:reinterpret_cast不能像const_cast那样去除const修饰符 。 这是什么意思呢?代码还是最直观的表述:


int
 main() 
{
	typedef
 void
 (*FunctionPointer)(int);
	int
 value = 21;
	const
 int
* pointer = &value;
	
	//int
 * pointer_r = reinterpret_cast
<int
*> (pointer); 

	// Error: reinterpret_cast
 from type 'const
 int
*' to type 'int
*' casts away constness

	
	FunctionPointer funcP = reinterpret_cast
<FunctionPointer> (pointer);
}


例子里,我们像前面const_cast一篇 举到的例子那样,希望将指向const的指针用运算符转换成非指向const的指针。但是当实用reinterpret_cast的时候,编译器直接报错组织了该过程。这就体现出了const_cast的独特之处。

但是,例子中还有一个转换是将指向const int的指针付给指向函数的指针,编译顺利通过编译,当然结果也会跟前面的例子一样是无意义的。

如果我们换一种角度来看,这似乎也是合理的。因为
const int * p = &value;
int * const q = &value;

这两个语句的含义是不同的,前者是"所指内容不可变 ",后者则是"指向的地址不可变 "(具体参考此处 )。因此指向函数的指针默认应该就带有"所指内容不可变"的特性。

毕竟函数在编译之后,其操作过程就固定在那里了,我们唯一能做的就是传递一些参数给指针,而无法改变已编译函数的过程。所以从这个角度来想,上边例 子使用reinterpret_cast从const int * 到FunctionPointer转换就变得合理了,因为它并没有去除const限定

分享到:
评论

相关推荐

    详解C++中const_cast与reinterpret_cast运算符的用法

    主要介绍了C++中const_cast与reinterpret_cast运算符的用法,经常被用于表达式中的类型转换,需要的朋友可以参考下

    C++中4种强制类型转换的区别总结

    使用标准C++的类型转换符:static_cast、dynamic_cast、reinterpret_cast和const_cast。 const_cast,字面上理解就是去const属性。 static_cast,命名上理解是静态类型转换。如int转换成char。 dynamic_cast,...

    C++类型转换运算符的实例详解

    C++类型转换运算符的实例详解 C++中有4个类型转换运算符,使装换过程更规范 dynamic_cast; const_cast; static_cast; reinterpret_cast; 一、dynamic_cast 该运算符我在之前的文章中已经介绍过了 //...

    C++中用于强制类型转换的四个运算符

    本文详细介绍了C++中的四个用与强制类型转换的运算符:用来修改类型的const 或volatile 属性的const_cast,用来修改操作数类型的reinterpret_cast,static_cast,dynamic_cast

    C++中强制转换函数总结

    标准c++中主要有四种强制转换类型运算符:  const_cast,reinterpret_cast,static_cast,dynamic_cast等等。  1)static_cast(a)  将地址a转换成类型T,T和a必须是指针、引用、算术类型或枚举类型。  ...

    EDA/PLD中的C++中强制转换函数总结

    标准c++中主要有四种强制转换类型运算符:  const_cast,reinterpret_cast,static_cast,dynamic_cast等等。  1)static_cast(a)  将地址a转换成类型T,T和a必须是指针、引用、算术类型或枚举类型。  ...

    C++中四种强制类型转换的区别

    使用标准C++的类型转换符:static_cast、dynamic_cast、reinterpret_cast和const_cast。  1、static_cast  用法:static_cast (expression)  该运算符把expression转换为type-id类型,但没有运行时类型检查来...

    C++特殊语法

    static_cast和reinterpret_cast #和## 构造函数和拷贝构造函数 类型转换问题 指针悬挂问题 运算符重载等等

    C++类型转换归纳总结

    学过C++的人都知道,C++是强类型语言,因此变量在使用前就要声明数据类型,不同数据类型分配的内存...隐式转换,也包括构造函数和运算符的转换,例如: class A {}; class B { public: B (A a) {} }; A a; B b = a;

    传智播客扫地僧视频讲义源码

    04_类型转换_dynamic_cast和reinterpret_cast_传智扫地僧 05_类型转换_const_cast 06_异常的基本语法 07_异常机制基本思想梳理 08_栈解旋unwinding 09_异常接口声明 10_异常类型_异常变量的生命周期上 11_异常类型_...

    新手学习C++入门资料

    reinterpret_cast try bitor xor_e and_eq compl or_eq not_eq bitand 在C++中还增加了bool型变量和wchar_t型变量: 布尔型变量是有两种逻辑状态的变量,它包含两个值:真和假。如果在表达式中使用了布尔型...

    Google C++ 编码规范

    3) reinterpret_cast:指针类型和整型或其他指针间不安全的相互转换,仅在你对所做一切了然于心时使用; 4) dynamic_cast:除测试外不要使用,除单元测试外,如果你需要在运行时确定类型信息,说明设计有缺陷(参考...

    C++编程思想习题

    目 录 译者序 前言 第1章 对象的演化 1.1基本概念 1.1.1对象:特性十行为 1.1.2继承:类型关系 ...18.9.3reinterpret_cast 18.10小结 18.11练习 附录A 其他性能 附录B 编程准则 附录C 模拟虚构造函数

    C++大学教程,一本适合初学者的入门教材(part2)

    21.5 reinterpret—cast运算符 21.6 名字空间 21.7 运行时类型信息(RTTI) 21.8 运算符关键字 21.9 explicit构造函数 21.10 mutable类成员 21.11 类成员指针(.和—&gt;) 21.12 多重继承与virtual基类 21.13 ...

    C++大学教程,一本适合初学者的入门教材(part1)

    21.5 reinterpret—cast运算符 21.6 名字空间 21.7 运行时类型信息(RTTI) 21.8 运算符关键字 21.9 explicit构造函数 21.10 mutable类成员 21.11 类成员指针(.和—&gt;) 21.12 多重继承与virtual基类 21.13 ...

Global site tag (gtag.js) - Google Analytics