文章目录
- C语言中的类型转换
- 为什么C++需要四种类型转换
- C++强制类型转换
- static_cast
- reinterpret_cast
- const_cast
- dynamic_cast
- explicit
- RTTI
- 常见面试题
C语言中的类型转换
C语言和C++都是强类型语言,如果赋值运算符左右两侧变量的类型不同,或形参与实参的类型不匹配,或返回值类型与接收返回值的变量类型不一致,那么就需要进行类型转换
C语言中有两种形式的类型转换,分别是隐式类型转换和显示类型转换:
- 隐式类型转换:编译器在编译阶段自动进行,能转就转,不能转就编译失败。
- 显示类型转换:需要用户自己处理,以(指定类型)变量的方式进行类型转换。
需要注意的是,只有相近类型之间才能发生隐式类型转换,比如int和double表示的都是数值,只不过它们表示的范围和精度不同。而指针类型表示的是地址编号,因此整型和指针类型之间不会进行隐式类型转换,如果需要转换则只能进行显示类型转换。比如:
int main()
{//隐式类型转换int i = 1;double d = i;cout << i << endl;cout << d << endl;//显示类型转换int* p = &i;int address = (int)p;cout << p << endl;cout << address << endl;return 0;
}
为什么C++需要四种类型转换
C风格的转换格式虽然很简单,但也有很多缺点:
- 隐式类型转换在某些情况下可能会出问题,比如数据精度丢失。
- 显示类型转换将所有情况混合在一起,转换的可视性比较差。
因此C++为了加强类型转换的可视性,引入了四种命名的强制类型转换操作符,分别是static_cast 、reinterpret_cast、const_cast、和dynamic_cast。
C++强制类型转换
static_cast
static_cast用于相近类型之间的转换,编译器隐式执行的任何类型转换都可用static_cast, 但它不能用于两个不相关类型之间转换。比如:
int main()
{double d = 12.34;int a = static_cast<int>(d);cout << a << endl;int* p = &a;//int address = static_cast<int>(p); errorreturn 0;
}
reinterpret_cast
reinterpret_cast用于两个不相关类型之间的转换。比如:
int main()
{int a = 10;int* p = &a;int address = reinterpret_cast<int>(p);cout << address << endl;return 0;
}
reinterpret_cast还有一个非常bug的用法,比如在下面的代码中将带参带返回值的函数指针转换成了无参无返回值的函数指针,并且还可以用转换后函数指针调用这个函数。
typedef void(*FUNC)();
int DoSomething(int i)
{cout << "DoSomething: " << i << endl;return 0;
}int main()
{FUNC f = reinterpret_cast<FUNC>(DoSomething);f();return 0;
}
说明一下: 用转换后的函数指针调用该函数时没有传入参数,因此这里打印出参数i的值是一个随机值。
const_cast
const_cast用于删除变量的const属性,转换后就可以对const变量的值进行修改。比如:
int main()
{const int a = 2;int* p = const_cast<int*>(&a);*p = 3;cout << a << endl; //2cout << *p << endl; //3return 0;
}
说明一下:
- 代码中用const_cast删除了变量a的地址的const属性,这时就可以通过这个指针来修改变量a的值。
- 由于编译器任务const修饰的变量是不会被修改的,因此会将const修饰的变量存放到寄存器当中,当需要读取const变量时就会直接从寄存器中进行读取,而我们修改的实际上是内存中的a的值,因此最终打印出a的值是未修改之前的。
- 如果不想让编译器将const变量优化到寄存器当中,可以用volatile关键字对const变量进行修饰,这时当要读取这个const变量时编译器就会从内存中进行读取,即保持了该变量在内存中的可见性。
volatile解决代码如下:
int main()
{volatile const int a = 2; //volatile关键字可以让const 类型变量a不要优化进寄存器int* p = const_cast<int*>(&a);*p = 3;cout << a << endl; //3cout << *p << endl; //3return 0;
}
dynamic_cast
dynamic_cast 用于将父类的指针(或引用)转换成子类的指针(或引用)。
向上转型与向下转型
**向上转型:**子类的指针(或引用)—>父类的指针(或引用)。
**向下转型:**父类的指针(或引用)—>子类的指针(或引用)。
其中,向上转型就是所说的切割/切片,是语法天然支持的,不需要进行转换,而向下转型是语法不支持的,需要进行强制类型转换。
向下转型安全问题
向下转型分为两种情况:
- 如果父类的指针(或引用)指向的是一个父类对象,那么将其转换为子类的指针(或引用)是不安全的,因为转换后可能会访问到子类的资源,而这个资源是父类对象所没有的。
- 如果父类的指针(或引用)指向的是一个子类对象,那么将其转换为子类的指针(或引用)则是安全的。
使用C风格的强制类型转换进行向下转型是不安全的,因为此时无论父类的指针(或引用)指向的是父类对象还是子类对象都会进行转换。而使用dynamic_cast进行向下转型则是安全的,如果父类的指针(或引用)指向的是子类对象那么dynamic_cast会转换成功,但如果父类的指针或引用指向的是父类对象那么dynamic_cast会转换失败并返回一个空指针。比如:
class A
{
public:virtual void f() //要有虚函数,因为dynamic_cast用到了虚表{}
};class B :public A
{};void func(A* pa)
{B* pb1 = (B*)pa; //不安全B* pb2 = dynamic_cast<B*>(pa); //安全的,指向子类安全,指向父类向下转型失败返回空指针cout << "pb1: " << pb1 << endl;cout << "pb2: " << pb2 << endl;
}int main()
{A a;B b;func(&a);func(&b);return 0;
}
上述代码中,如果传入func函数的是子类对象的地址,那么在转换后pb1和pb2都会有对应的地址,但如果传入func函数的是父类对象的地址,那么转换后pb1会有对应的地址,而pb2则是一个空指针。
**说明一下:**dynamic_cast只能用于含有虚函数的类,因为运行时类型检查需要运行时的类型信息,而这个信息是存储在虚函数表中的,只有定义了虚函数的类才有虚函数表。
explicit
explicit用来修饰构造函数,从而禁止单参数构造函数的隐式转换。比如:
class A
{
public:explicit A(int a){cout << "A(int a)" << endl;}A(const A& a){cout << "A(const A& a)" << endl;}
private:int _a;
};int main()
{A a1(1);//A a2 = 1; //隐式类型转换 explicit关键字加在构造函数前,禁止隐式类型转换 errorreturn 0;
}
在语法上,代码中的A a2 = 1等价于以下两句代码:
A tmp(1); //先构造
A a2(tmp); //再拷贝构造
所以在早期的编译器中,当编译器遇到A a2 = 1这句代码时,会先构造一个临时对象,再用这个临时对象拷贝构造a2。但是现在的编译器已经做了优化,当遇到A a2 = 1这句代码时,会直接按照A a2(1)的方式进行处理,这也叫做隐式类型转换
但对于单参数的自定义类型来说,A a2 = 1这种代码的可读性不是很好,因此可以用explicit修饰单参数的构造函数,从而禁止单参数构造函数的隐式转换。
RTTI
RTTI(Run-Time Type Identification)就是运行时类型识别。
C++通过以下几种方式来支持RTTI:
- typeid:在运行时识别出一个对象的类型。
- dynamic_cast:在运行时识别出一个父类的指针(或引用)指向的是父类对象还是子类对象。
- decltype:在运行时推演出一个表达式或函数返回值的类型。
常见面试题
1、C++中的4种类型转换分别是:____ 、____ 、____ 、____。
分别是static_cast、reinterpret_cast、const_cast和dynamic_cast。
2、说说4种类型转换的应用场景。
- static_cast用于相近类型的类型之间的转换,编译器隐式执行的任何类型转换都可用static_cast。
- reinterpret_cast用于两个不相关类型之间的转换。
- const_cast用于删除变量的const属性,方便赋值
- dynamic_cast用于安全的将父类的指针(或引用)转换成子类的指针(或引用)。