c++强制转换运算符

c++中存在几种转换运算符,这些运算符用于消除c语言中转换产生的多义性和危险继承。这些运算符分别是:

  • dynamic_cast 用于多态的类型转换
  • static_cast 用于非多态的类型转换
  • const_cast 用于删除const 、volatile 、__unaligned的特性
  • cc用于对位进行简单的重新解释

dynamic_cast 运算符

dynamic_cast 把expression转换为type-id类型的对象,其中type-id必须是之前被定义的类指针、引用或者void*,如果type-id是指针那expression必须是指针,如果是引用,expression必须是引用。

dynamic_cast <type-id>(expression)

dynamic_cast运算符在执行过程中决定真正的类型,如果执行正确(安全)的情况下返回适当类型的指针(或引用)如果不安全的话返回null。

在进行上行转换时,dynamic_cast和static_cast效果是一致的,在执行下行转换时,dynamic_cast会进行类型检查,比static_cast安全。

struct A {
    virtual void test() {
        printf_s("in A\n");
   }
};

struct B : A {
    virtual void test() {
        printf_s("in B\n");
    }

    void test2() {
        printf_s("test2 in B\n");
    }
};

struct C : B {
    virtual void test() {
        printf_s("in C\n");
    }

    void test2() {
        printf_s("test2 in C\n");
    }
};

void Globaltest(A& a) {
    try {
        C &c = dynamic_cast<C&>(a);
        printf_s("in GlobalTest\n");
    }
    catch(std::bad_cast) {
        printf_s("Can't cast to C\n");
    }
}

int main() {
    A *pa = new C;
    A *pa2 = new B;

    pa->test();

    B * pb = dynamic_cast<B *>(pa);
    if (pb)
        pb->test2();

    C * pc = dynamic_cast<C *>(pa2);
    if (pc)
        pc->test2();

    C ConStack;
    Globaltest(ConStack);

    B BonStack;
    Globaltest(BonStack);
}

输出

in C
test2 in B
in GlobalTest
Can't cast to C

static_cast 运算符

static_cast <type-id>(expression)

通常static_cast用于转换数值类型,例如将int转为float,或者将枚举类型转换为int,static_cast也可用于将只想基类的指针转换为子类的指针,但使用者需要确认参与的数据类型,因为static_cast不执行运行时类型检查,安全性比dynamic_cast差。static_cast对不明确的指针进行转换,执行虽然没问题,但这是危险的。

static_castdynamic_cast
不进行类型检查运行时类型检查
适用于各种类型只适用于指针和引用
没有类型检查开销小存在类型检查时的额外开销
class B {};
class D : public B {};
void f(B* pb, D* pd) {
// 不安全,D 可以有 B 中没有的字段和方法
   D* pd2 = static_cast<D*>(pb);   
// 安全转换,D 总是包含所有 B。
   B* pb2 = static_cast<B*>(pd);   
}

与 dynamic_cast 不同,pb 的 static_cast 转换不执行运行时检查。 由 pb 指向的对象可能不是 D 类型的对象,在这种情况下使用 *pd2 会是灾难性的。 例如,调用 D 类(而非 B 类)的成员函数可能会导致访问冲突。

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 类型的对象,而非指向完整的 D 类,则 dynamic_cast 会判断返回null。 但static_cast 依赖于程序员的断言,即 pb 指向 D 类型的对象,因而只是返回指向那个假定的 D 对象的指针。 因此需要程序员来验证 static_cast 转换的结果是否安全。

const_cast 运算符

用来去除复合类型中const和volatile属性(没有真正去除)。变量本身的const属性是不能去除的,要想修改变量的值,一般是去除指针(或引用)的const属性,再进行间接修改。

const_cast<type>(expression)

通过const_cast运算符,也只能将const type转换为type,将const type&转换为type&。

reinterpret_cast 运算符

reinterpret_cast 允许将任何指针转换为任何其他指针类型。 也允许将任何整数类型转换为任何指针类型以及反向转换。

reinterpret_cast < type-id > ( expression )

备注:

  • 滥用 reinterpret_cast 运算符可能很容易带来风险。 除非所需转换本身是低级别的,否则应使用其他强制转换运算符之一。
  • reinterpret_cast 运算符无法强制转换掉 const、volatile 或 __unaligned 特性。
  • reinterpret_cast 运算符可用于 char* 到 int* ,或者一个类指针A到另一个无关系的类指针B的转换,但不安全。
  • reinterpret_cast 的结果不能安全地用于除强制转换回其原始类型以外的任何用途。 在最好的情况下,其他用途也是不可移植的。
  • reinterpret_cast 运算符将空指针值转换为目标类型的空指针值。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值