隐式转换
当值被复制到一个兼容类型的隐式转换自动执行。例如: | |
这里,值
a
是从提升
short
到
int
,而不需要任何显式操作者。这被称为一个
标准转换。标准转换的影响基本数据类型,并允许数值类型之间的转换(
short
至
int
,
int
到
float
,
double
到
int
...),或从
bool
,有的指针转换。
转换为
int
一些更小的整数类型,或者
double
从
float
被称为
促进,并保证以产生在目标类型的值完全相同。算术类型之间的转换等并不总是能够准确地表示相同的值:
- 如果一个负整数值被转换为一个无符号的类型,将所得的值对应于它的2的补按位表示(即,
-1
变成由类型,最大值可表示-2
第二大的,...)。 - 从/转换来
bool
考虑false
等同于零(对于数值类型)和空指针(指针类型);true
相当于所有其他值,并转换成的等效1
。 - 如果转换是从一个浮点类型为整数类型,值被截断(小数部分被去除)。如果结果位于由式表示的值的范围之外,则转换导致未定义的行为。
- 否则,如果转换是数字类型相同类型的(整数到整数或浮点到浮动)之间,该转换是有效的,但该值是特定于实现的(并且可能无法移植)。
有些转换可能意味着精度损失,该编译器可以用一个警告信号。可以用显式转换来避免此警告。
对于非基本类型,数组和函数隐式转换的指针,并在一般指针允许下列转化:
- 空指针可以转换为任何类型的指针
- 指针的任何类型的可转换为
void
指针。 - 指针向上转型:指针派生类可转换为一个的指针访问和明确的基类,而无需修改其
const
或volatile
资格。
隐式转换带班
在类的世界中,隐式转换可以通过三个成员函数来控制:- 单参数的构造函数:允许隐式转换,从一个特定类型的初始化对象。
- 赋值运算符:允许从分配特定类型的隐式转换。
- 类型转换操作符:允许隐式转换为特定类型。
例如:
| | |
|
该类型转换操作符使用一个特定的语法:它使用
operator
关键字后跟目标类型和一组空括号。注意,返回类型为目标类型,因而前未指定
operator
关键字。
明确的关键字
在一个函数调用,C ++允许一个隐式转换发生的每一个参数。这可以是用于类有点问题,因为它并不总是意。例如,如果我们添加的功能到最后的示例: | |
此函数采用类型的参数
B
,但它可能也与类型的对象调用
A
的参数:
| |
这可能或可能不想要的结果。但是,在任何情况下,它可以通过标记与受影响的构造防止
explicit
关键字:
| |
|
此外,构造标记
explicit
不能与分配的语法被调用; 在上述例子中,
bar
已经不能构造有:
| |
型铸成员函数(那些在上一节中描述的)也可以指定为
explicit
。这可以防止隐式转换以同样的方式作为
explicit
-specified构造为目标类型做。
铸造型
C ++是一种强类型语言。许多转换,特别是那些暗示的价值有不同的解释,需要一个明确的转换,在C ++著名的 类型转换。存在于通用型铸造两大语法: 功能和 类似C: | |
的类型转换,这些一般形式的功能足以满足大多数需求与基本的数据类型。然而,这些操作符可以被不加区别地对类和指针应用于类,这可能会导致该助益,而在被语法正确─可导致运行错误代码。例如,下面的代码编译没有错误:
| | |
|
程序中声明了一个指针
Addition
,但随后将其分配给它使用显式类型转换另一个不相关类型的对象的引用:
| |
无限制明确的类型转换允许任何指针转换为任何其他指针类型,独立它们指向的类型。对会员的后续调用
result
将产生无论是运行时错误或其他一些意想不到的结果。
为了控制这些类型的类之间的转换,我们有四个具体的转换操作符:
dynamic_cast
,
reinterpret_cast
,
static_cast
和
const_cast
。它们的格式是按照新型尖括号(间封闭的
<>
),紧接着,以括号之间转换的表达。 传统型的铸造等同这些表达式将是: 但每个人有自己的特色:
dynamic_cast <new_type> (expression)
reinterpret_cast <new_type> (expression)
static_cast <new_type> (expression)
const_cast <new_type> (expression)
(new_type) expression
new_type (expression)
的dynamic_cast
dynamic_cast
只能与指针和引用类(或使用
void*
)。其目的是确保类型转换点到目的地的指针类型的有效的完整对象的结果。
这自然包括 指针向上转型(从指针到衍生指针到基变换),以同样的方式作为允许作为一个 隐式转换。
但
dynamic_cast
也
垂头丧气(从指针到基转换为指针到派生)多态类(那些虚拟成员),如果只-and如-尖锐的物体是目标类型的有效完整的对象。例如:
| | 关于第二个类型转换NULL指针。 |
|
兼容性注意:这种类型的dynamic_cast 需要运行时类型信息(RTTI)来跟踪动态类型。一些编译器支持此功能作为默认是关闭的选项。这需要对运行时类型检查使用要启用dynamic_cast 与这些类型的正常工作。 |
上面的代码试图执行从类型的指针的对象两个动态管型
Base*
(
pba
和
pbb
)对类型的指针对象
Derived*
,但是只有第一个是成功的。注意各自的初始化:
| |
即使两者都是类型的指针
Base*
,
pba
实际上指向类型的对象
Derived
,而
pbb
指向类型的对象
Base
。因此,当使用执行它们各自的类型强制转换
dynamic_cast
,
pba
指向类的完整的对象
Derived
,而
pbb
指向类的一个对象
Base
,它是类的一个不完整的对象
Derived
。
当
dynamic_cast
无法施展一个指针,因为它不是在前面的示例-第二次转换所需的类-as完整的对象时,它返回一个
空指针来指示失败。如果
dynamic_cast
用于转换到参考类型和转换是不可能的,类型的异常
bad_cast
代替抛出。
dynamic_cast
还可以执行允许在指针其它隐式转换:转换指针类型之间空指针(甚至不相关的类之间),和铸造的任何类型的任何指针一个
void*
指针。
的static_cast
static_cast
可以执行指针之间的转换相关的类,不仅
upcasts(从指针到衍生指针至基站),但也
向下转换(从指针到基地指针到衍生的)。没有检查运行时进行,以保证所转换的对象实际上是在目标类型的完整的对象。因此,它是由程序员,以确保在转换是安全的。在另一边,它不会招致的类型安全检查的开销
dynamic_cast
。
| |
这将是有效的代码,虽然
b
将指向类的一个不完整的对象,如果解除引用可能导致运行时错误。
因此,
static_cast
能够与指针班不仅让含蓄的转换来执行,而且他们的相反转换。
static_cast
还能够执行允许隐含地(不仅是那些与指针的类)的所有转换,并且还能够执行的这些相反。它可以:
- 从转换
void*
到任何指针类型。在这种情况下,它保证了,如果void*
是由从同一指针类型转换获得的值,将得到的指针值是相同的。 - 将整数,浮点值和枚举类型枚举类型。
此外,
static_cast
还可以执行以下步骤:
- 显式调用单参数构造函数或转换操作符。
- 转换为右值引用。
- 转换
enum class
价值为整数或浮点数。 - 转换任何类型
void
,评估和丢弃的值。
reinterpret_cast的
reinterpret_cast
转换甚至不相关的类任何指针类型到任何其他指针类型。运算结果是值的简单的二进制副本从一个指针到其他。所有的指针转换允许的:无论是内容指出,也不是指针类型本身被选中。
它也可以投三分球,或从整数类型。在此整数值表示指针的格式是特定于平台的。唯一的保证是一个指针转换为整数类型足够大,可以完全包含它(如
intptr_t
),是保证能够被转换回一个有效的指针。
可以由要执行的转换
reinterpret_cast
而不是由
static_cast
是基于重新解释的种类,这在代码大多数情况下的结果是系统特定的,并且因此非便携式的二进制表示低级操作。例如:
| |
此代码编译,虽然它并没有太大的意义,因为现在
b
指向一个完全无关,并可能不兼容的类的对象。解引用
b
是不安全的。
const_cast会
这种类型的铸造的操纵由指针指向对象的常量性,无论是被设置或除去。例如,为了一个const指针传递给需要非const参数的函数: | | 示例文本 |
|
上面的例子是有保障的工作,因为功能
print
不写入尖锐的物体。但请注意,这移除指向对象的常量性实际上写它会导致
不确定的行为。
typeid的
typeid
允许检查一个表达式的类型: 这个操作符返回类型的常量对象的引用是在标准头文件中定义。通过返回的值可以通过返回另一个值进行比较,使用运算符和,也可以通过服务使用其获得代表的数据类型或类名的空终止字符序列成员。
typeid (expression)
type_info
<typeinfo>
typeid
typeid
==
!=
name()
| | a和b是不同的类型: 一个是:INT * b为:INT |
|
当
typeid
被施加到类,
typeid
使用RTTI跟踪动态对象的类型。当
typeid
被施加到其类型是一个多态类的表达,其结果是最派生完整的对象的类型:
| | 一个是:Base类* b为:Base类* *一个是:Base类 * b为:类派生 |
|
注:成员返回的字符串
name
的type_info
依赖于具体的实现你的编译器和库。它不一定是一个简单的字符串及其典型的类型名称,像在用于生产本输出的编译器。
请注意,该类型如何
typeid
考虑的指针是指针类型本身(包括
a
与
b
有型的
class Base *
)。然而,当
typeid
被应用到对象(如
*a
和
*b
)
typeid
产生它们的动态类型(例如其大部分衍生完整的对象的类型)。
如果类型
typeid
评估是由引用操作(开头的指针
*
),而这个指针具有空值,
typeid
抛出一个
bad_typeid
异常。