static_cast 和 dynamic_cast 的区别

时间:2021-01-31 08:43:48

static_cast一般用来将枚举类型转换成整型,或者整型转换成浮点型。也可以用来将指向父类的指针转换成指向子类的指针。做这些转换前,你必须确定要转换的数据确实是目标类型的数据,因为static_cast不做运行时的类型检查以保证转换的安全性。也因此,static_cast不如dynamic_cast安全。对含有二义性的指针,dynamic_cast会转换失败,而static_cast却直接且粗暴地进行转换。这是非常危险的。

比如:

class B {};

class D : public B {};

void f(B* pb, D* pd) {
D* pd2 = static_cast<D*>(pb); // Not safe, D can have fields
// and methods that are not in B. B* pb2 = static_cast<B*>(pd); // Safe conversion, D always
// contains all of B.
}

上面的第一个类型转换是不安全的。比如,一旦使用pd2调用了一个子类D有而父类B没有的方法,则程序就会因越界访问而崩溃。

static_cast和dynamic_cast都可以用于类层次结构中基类和子类之间指针或引用的转换。所不同的是,static_cast仅仅是依靠类型转换语句中提供的信息(尖括号中的类型)来进行转换;而dynamic_cast则会遍历整个类的继承体系进行类型检查。比如:

class B {
public:
virtual void Test(){}
};
class D : public B {}; void f(B* pb) {
D* pd1 = dynamic_cast<D*>(pb);
D* pd2 = static_cast<D*>(pb);
}

如果pb确实是指向一个D类型的对象,那pd1和pd2的值是相同的,即使pb为NULL。

如果pb实际指向的是一个B类型的对象,那dynamic_cast就会转换失败,并返回NULL(此时pd1为NULL);而static_cast却依据程序员指定的类型简单地返回一个指针指向假定的D类型的对象(此时pd2不为NULL),这当然是错误的。

static_cast还可以在两个类对象之间进行转换,比如把类型为A的对象a,转换为类型为B的对象。如下:

class A;
class B; A a;
B b;
b = static_cast<B>(a);

此过程可以看做是以a为参数构造一个B类型的临时对象,然后再把这个临时对象赋值给b。如下:

class A;
class B; A a;
B b; B c(a); b = c;

所以,如果让以上代码通过编译,那么B类必须含有以A类的对象(或对象的引用)为参数的构造函数。如下:

B(A& a)
{
// ...
}

这实际上是把转换的工作交给构造函数去做了。

static_cast最常用的是基本类型直接的转换,比如char与int、int与float、enum与int之间的转换。在把int转换为char时,如果char没有足够的比特位来存放int的值(int>127或int<-127时),那么static_cast所做的只是简单的截断,及简单地把int的低8位复制到char的8位中,并直接抛弃高位。在把int转换为enum时,如果int的值没有落进enum的范围内,则enum的值将是“未定义”的。比如,定义一个枚举类型Week,它包含周一到周日七天:

enum Week
{
Monday = 1,
Tuesday,
Wednesday,
Thursday,
Friday,
Saturday,
Sunday
};

此时如果把值为8的int转换为week类型,那么这个Week变量不会是周一到周日的任何一天。

Week noday = static_cast<Week>(8);

如果你用“%d”格式把它打印出来,你会发现,它的值确实是8。但这已经超出周一到周日了。世界上没有“星期八”,不是吗?

static_cast甚至可以把任何一个表达式转换为void类型。

再次提醒,static_cast完全靠程序员自己去保证转换的正确性。

static_cast转换的目标类型可以带const、volatile或__unaligned属性。但static_cast不能把源类型的这些熟悉移除。如果想强制移除一个变量的const、volatile或__unaligned属性,请参考const_cast操作符。

小结一下:

static_cast常用来进行基本类型直接的转换,如char与int、int与float、enum与int之间;

static_cast也可以转换用户自定义类型,但目标类型必须含有相应的构造函数;

static_cast还可以转换对象的指针类型,但它不进行运行时类型检查,所以是不安全的;

static_cast甚至可以把任何表达式都转换成void类型;

satic_cast不能移除变量的const属性,请参考const_cast操作符;

static_cast进行的是简单粗暴的转换,所以其正确性完全由程序员自己保证