Static/dynamic/reinterpret/const of C ++ Type Cast

Source: Internet
Author: User
The forced transformation of C-style is as follows: (t) expression // cast expression to be of type T
Function-style forces the transformation to use the following syntax:
T (expression) // cast expression to be of type T is not essentially different between the two forms, it is simply a question of where to put the brackets. I call these two forms the forced transformation of old-style. Use the Standard C ++ type conversion characters static_cast, dynamic_cast, reinterpret_cast, and const_cast. 1. static_cast
Usage: static_cast <type-ID> (expression ). This operator converts expression to the Type-ID type, but does not check the runtime type to ensure the conversion security. It has the following usage:
① It is used to convert pointers or references between classes and subclasses in the class hierarchy.
It is safe to perform upstream conversion (converting the pointer or reference of a subclass to a base class;
When performing a downstream conversion (converting a base class pointer or reference to a subclass), it is not safe because there is no dynamic type check.
② It is used for conversion between basic data types. For example, convert int to Char and convert int to enum. The security of such conversions must also be ensured by developers.
③ Convert a null pointer to a null pointer of the target type.
④ Convert any type of expression to void type.
Note: static_cast cannot convert the const, volitale, or _ unaligned attribute of expression.

2. dynamic_cast
Usage: dynamic_cast <type-ID> (expression ). This operator converts expression to type-ID objects. Type-ID must be a class pointer, class reference, or void *. If type-ID is a class pointer type, expression must also be a pointer, if type-ID is a reference, expression must also be a reference.

Dynamic_cast is mainly used for upstream and downstream conversions between classes, and can also be used for cross conversions between classes. When performing upstream conversion between classes, dynamic_cast and static_cast have the same effect. During downstream conversion, dynamic_cast has the type check function, which is safer than static_cast.
Class B {
Public:
Int m_inum;
Virtual void Foo ();
};

Class D: Public B {
Public:
Char * m_szname [100];
};

Void func (B * pb ){
D * pd1 = static_cast (PB );
D * Pd2 = dynamic_cast (PB );
}
AboveCodeIf Pb points to a D-type object, pd1 and Pd2 are the same, and it is safe to execute any operations of the D-type on the two pointers; however, if Pb points to a B-type object, pd1 will be a pointer to this object, and operations of Type D on it will be insecure (for example, accessing m_szname ), pd2 is a null pointer.
Note: B must have virtual functions; otherwise, compilation errors may occur. static_cast does not have this restriction. This is because the runtime type check requires the runtime type information, which is stored in the virtual function table of the class (the concept of the virtual function table can be seen in detail, only classes that define virtual functions have virtual function tables. classes that do not define virtual functions do not have virtual function tables.

In addition, dynamic_cast also supports cross cast ). The following code is used.
Class {
Public:
Int m_inum;
Virtual void F (){}
};

Class B: Public {
};

Class D: Public {
};

Void Foo (){
B * pb = new B;
Pb-> m_inum = 100;

D * pd1 = static_cast (PB); // compile Error
D * Pd2 = dynamic_cast (PB); // Pd2 is null
Delete Pb;
}
In function Foo, using static_cast for conversion is not allowed, and errors will occur during compilation. Using dynamic_cast for conversion is allowed, and the result is a null pointer.

3. reinpreter_cast
Usage: reinpreter_cast (expression ). Type-ID must be a pointer, reference, arithmetic type, function pointer, or member pointer. It can convert a pointer to an integer, or an integer to a pointer (first, convert a pointer to an integer, and then convert the integer to the original type of pointer, you can also get the original pointer value ). This operator is used in many ways.

4. const_cast
Usage: const_cast (expression) This operator is used to modify the const or volatile attributes of the type. In addition to const or volatile modification, type_id and expression are of the same type. Constant pointers are converted to non-constant pointers and still point to the original objects. Constant references are converted to non-constant references and still point to the original objects; constant objects are converted to very large objects.

Voiatile and const classes. Take the following example:
Class B {
Public:
Int m_inum;
}
Void Foo (){
Const B B1;
B1.m _ inum = 100; // comile Error
B b2 = const_cast (B1 );
B2. m_inum = 200; // fine
}
The above code will report an error during compilation, because B1 is a constant object and cannot be changed. Use const_cast to convert it into a constant object, you can change its data members at will. Note: B1 and B2 are two different objects.
 
==================================== Dynamic_cast. vs. static_cast ================================

Class B {...};
Class D: Public B {...};

Void F (B * pb)
{

D * pd1 = dynamic_cast (PB );

D * Pd2 = static_cast (PB );
}

If PB really points to an object of Type D, then pd1 and Pd2 will get the same value. They will also get the same value if PB = 0.

If Pb points to an object of type B and not to the complete D class, then dynamic_cast will know enough to return zero. however, static_cast relies on the programmer's assertion that Pb points to an object of Type D and simply returns a pointer to that supposed D object.

That is, dynamic_cast can be used for the downward transformation in the inheritance system, which converts the base class pointer to the derived class pointer, Which is stricter and safer than static_cast. Dynamic_cast is less efficient than static_cast in execution, but static_cast can complete ing in a wider range. This unrestricted ing is always insecure. In addition to static navigation at the class level, the transformation types covered by static_cast also include non- ing transformations and narrow transformations (such transformations can cause object slicing and information loss), forced conversion with void *, implicit type conversion, etc...

================================ Static_cast. vs. reinterpret_cast =================================

Reinterpret_cast is used to map to a completely different type. This keyword is used when we need to map the type back to the original type. The type we map to is only for xuanjicang and other purposes, which is the most dangerous of all mappings. (This sentence is the original in C ++ programming ideas ).

The static_cast and reinterpret_cast operators modify the operand type. They are not reciprocal. static_cast performs conversions using type information during compilation, and performs necessary checks during conversions (such as cross-border pointer calculation and type check). Its operations are relatively safe. On the other hand, reinterpret_cast only reinterprets the BIT model of the given object without binary conversion. The example is as follows:
Int n = 9; double D = static_cast <double> (N );
In the above example, we convert a variable from int to double. These types of binary expressions are different. To convert an integer 9 to a double-precision integer 9, static_cast needs to complement the bit with a double-precision integer d correctly. The result is 9.0. The reinterpret_cast behavior is different:
Int n = 9;
Double D = reinterpret_cast (N );
This time, the results are different. after calculation, D contains useless values. this is because reinterpret_cast only copies N bits to d without necessary analysis. therefore, use reinterpret_cast with caution.

Related Article

Contact Us

The content source of this page is from Internet, which doesn't represent Alibaba Cloud's opinion; products and services mentioned on that page don't have any relationship with Alibaba Cloud. If the content of the page makes you feel confusing, please write us an email, we will handle the problem within 5 days after receiving your email.

If you find any instances of plagiarism from the community, please send an email to: info-contact@alibabacloud.com and provide relevant evidence. A staff member will contact you within 5 working days.

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.