在c++中新添了四个关键字static_cast,const_cast,reinterpret_cast和dynamic_cast.这四个关键字都是用于强制类型转换的。现在逐一介绍着四个关键字。
static_cast
在c++语言中static_cast用于数据类型的强制转换,强制将一种数据类型转换为另一种数据类型,例如将数据类型转换为浮点型。
例如1.c语言所采用的类型转换方式:
int a = 10;
int b = 3;
double result =(double)a /(double)b;
例1中将整型变量a和b转换为双精度浮点型,然后相除。在C++语言中,我们可以采用static_cast关键字来进行强制类型转换,如下所示
例2]static_cast关键字的使用:
int a = 10;
int b = 3;
double result = static_cast<double>(a) / static_cast<double>(b);
在本例中同样是将整型变量a转换为双精度浮点型。采用static_cast进行强制数据类型转换时,将想要转换成的数据类型放到尖括号中,将待转换的变量或表达式放在元括号中,其格式可以概括为如下形式
== static_cast <类型说明符> (变量或表达式)==
const_cast
c语言中,const限定符通常被用来限定变量,用于表示该变量的值不能被修改。而const—_cast则正是用于去掉这种不能被修改常量的特性,但是需要注意的是const_cast不是用于去掉指向常量的常量性,而是去掉指向常数对象的指针或引用的常量性,其去除常量性的对象必须为指针或引用
例如: 一个错误的例子
const int a = 10;
const int *p =&a;
*p = 20; //编译错误
int b = const_cast<int >(a) //编译错误
在这个例子中有两个编译错误,第一个编译错误是*p因为具有常量性,其值不能被修改的,另一处错误是const_cast强制转换对象必须是指针或引用。而上面的是一个变量,这是不允许的。
例如4:const_cast关键字的使用
#include<iostream>
using namespace std;
int main()
{
const int a = 10;
const int * p = &a;
int *q;
q = const_cast<int *>(p);
*q = 20; //fine
cout <<a<<" "<<*p<<" "<<*q<<endl;
cout <<&a<<" "<<p<<" "<<q<<endl;
return 0;
}
在本例中,我们将变量a声明为常量变量,同时声明了一个const指针指向该变量(此时如果声明一个普通指针指向该常量的话是不允许的),之后我们定义一个普通指针*q。将p指针通过const_cast去掉其常量性。
最终将结果打印出来,运行结果如下:
10 20 20
002CFAF4 002CFAF4 002CFAF4
看到这,问题就来了,既然指针p和指针q都是指向a变量的,指向的地址相同,而且经过调试发现002CFAF4地址内的在确实由10被修改成了20,这是怎么回事呢?为什么a的值打印出来还是10呢?
其实这是一件好事,我们要庆幸a变量最终的值没有变成20!变量a一开始就被声明为一个常量变量,不管后面的程序怎么处理,它就是一个常量,就是不会变化的。试想一下如果这个变量a最终变成了20会有什么后果呢?对于这些简短的程序而言,如果最后a变成了20,我们会一眼看出是q指针修改了,但是一旦一个项目工程非常庞大的时候,在程序某个地方出现了一个q这样的指针,它可以修改常量a,这是一件很可怕的事情的,可以说是一个程序的漏洞,毕竟将变量a声明为常量就是不希望修改它,如果后面能修改,这就太恐怖了
但是定义const_cast关键字强制去掉指针的常量性到底有什么用呢??我们接下来看下面这个例子。
#include<iostream>
using namespace std;
const int * Search(const int * a, int n, int val);
int main()
{
int a[10] = {0,1,2,3,4,5,6,7,8,9};
int val = 5;
int *p;
p = const_cast<int *>(Search(a, 10, val));
if(p == NULL)
cout<<"Not found the val in array a"<<endl;
else
cout<<"hvae found the val in array a and the val = "<<*p<<endl;
return 0;
}
const int * Search(const int * a, int n, int val)
{
int i;
for(i=0; i<n; i++)
{
if(a[i] == val)
return &a[i];
}
return NULL;
}
在这个例子中我们定义了一个函数,用于在a数组中寻找val值,如果找到了就返回该值的地址,如果没有找到则返回NULL。函数Search返回值是const指针,当我们在a数组中找到了val值的时候,我们会返回val的地址,最关键的是a数组在main函数中并不是const,因此即使我们去掉返回值的常量性有可能会造成a数组被修改,但是这也依然是安全的。
对于引用,我们同样能使用const_cast来强制去掉常量性,如例6所示
例6:
#include<iostream>
using namespace std;
const int & Search(const int * a, int n, int val);
int main()
{
int a[10] = {0,1,2,3,4,5,6,7,8,9};
int val = 5;
int &p = const_cast<int &>(Search(a, 10, val));
if(p == NULL)
cout<<"Not found the val in array a"<<endl;
else
cout<<"hvae found the val in array a and the val = "<<p<<endl;
return 0;
}
const int & Search(const int * a, int n, int val)
{
int i;
for(i=0; i<n; i++)
{
if(a[i] == val)
return a[i];
}
return NULL;
}
了解了const_cast的使用场景后,可以知道使用const_cast通常是一种无奈之举,同时也建议大家在今后的C++程序设计过程中一定不要利用const_cast去掉指针或引用的常量性并且去修改原始变量的数值,这是一种非常不好的行为。
reinterpret_cast
在C++语言中,reinterpret_cast主要有三种强制转换用途:改变指针或引用的类型、将指针或引用转换为一个足够长度的整形、将整型转换为指针或引用类型。在使用reinterpret_cast强制转换过程仅仅只是比特位的拷贝,因此在使用过程中需要特别谨慎!
例7
int *a = new int;
double *d = reinterpret_cast<double *>(a);
在例7中,将整型指针通过reinterpret_cast强制转换成了双精度浮点型指针。
reinterpret_cast可以将指针或引用转换为一个足够长度的整形,此中的足够长度具体长度需要多少则取决于操作系统,如果是32位的操作系统,就需要4个字节及以上的整型,如果是64位的操作系统则需要8个字节及以上的整型。
dynamic_cast
dynamic_cast用于类的继承层次之间的强制类型转换,我们将在讲到类的继承的时候再来介绍dynamic_cast。