The typecasting is the feature which makes C++ more type-safe, robust & may convince you to use it over C. But this is also a more underrated topic when you are a newbie or moving from C background. Hence, I come up with an article on it. Here, we will not only see the C++ type casting with example but we will also cover Why do we need typecasting? & C++ type casting cheat codes for C developers to remember & employ it easily. Although I am not an expert but this is what I have learned so far from various sources & 5+ yrs of industry experience.
In C++, there are 5 different types of casts: C-style casts, static_cast
, const_cast
, dynamic_cast
, and reinterpret_cast
.
I usually start with “Why do we need it?”, but this time first we quickly go through some jargons & I will end this article with some of CPP core guidelines on typecasting.
Jargons You Need to Face
- Implicit conversion: where the compiler automatically typecast. Like
float f = 3;
, here compiler will not complain but directly transform3
which is of type integer intofloat
& assign tof
. - Explicit conversions: where the developer uses a casting operator to direct the conversion. All types of manual casting fall under the explicit type conversions category. Like
int * p = (int*)std::malloc(10);
, here we explicitly castingvoid*
toint*
. l-value
: an identifier which represents memory location. For example, variable name,*ptr
whereptr
points to a memory location, etc.r-value
: a value which is notl-value
,r-value
appear on the right-hand side of the assignment(=
) operator. Like
Note: Although there are some exceptions & more to learn on lvalue, rvalue and their references in C++.
Why Do We Need Typecasting?
- Data is a representation of the bits(
0
s &1
s) in memory. - Data-type is compiler directive which tells the compiler how to store & process particular data.
uint32_t a = 5;
by this statement you can presume that 4 bytes will be reserved in your memory & upon execution, it will store0000 0000 0000 0000 0000 0000 0000 0101
data bits in that memory location. This was plain & simple.- Let’s go a bit further,
float f = 3.0;
this statement will also reserve 4 bytes in memory & store data bits in the form of 1). the sign bit, 2). exponent & 3). mantissa. Recall how floating-point numbers are stored in memory. - But when you write like
float f = 3;
, the compiler will be confused that how to store an integer value in float type of memory. - So it will automatically presume(Implicit conversion here) that you want to store
3.0
rather than3
which is technically same from the human point of view but it’s different when you think from computer memory perspective cause they stored differently. - There are many such scenarios where you provide data to store in memory which used to represent different data type.
- For example, in the following example, you are trying to assign an object of type
B
into an object of typeA
- In such scenario compiler can not presume anything & simply throws a compilation error:
|
|
- But when you define a conversion operator as follows:
- The compiler will simply call this member function & won’t throw any error because programmer explicitly mentioning that this is how he/she wants to convert.
C++ Type Casting With Example for C Developers
C-style casts
- When you will try to run the above code, you will get
2
as output which we didn’t expect. To initializeres
variable correctly we need to typecast using float as follows:
|
|
- Now your answer will be
2.5
. This type of casting is very simple & straight forward as it appears. - You can also write above casting in C++ as:
|
|
- C-style casts can change a data type without changing the underlying memory representation which may lead to garbage results.
static_cast
- If you are C developer like me, then this will be your best goto C++ cast which fits in most of the example like:
|
|
- When you try to compile above code using C compiler it works fine. But C++ compiler is not kind enough. It will throw an error as follows :
- The first thing that comes to your mind is the C-style cast:
|
|
- This will work, but C-style cast is not recommended in C++.
static_cast
handles implicit conversions like this. We will primarily use it for converting in places where implicit conversions fail, such as std::malloc.
|
|
- The main advantage of
static_cast
is that it provides compile-time type checking, making it harder to make an inadvertent error. Let’s understand this with C++ example:
- As you can see, there is no easy way to distinguish between the two situations without knowing a lot about all the classes involved.
- Another problem with the C-style casts is that it is too hard to locate. In complex expressions, it can be very hard to see C-style casts e.g.
T(something)
syntax is equivalent to(T)something
.
const_cast
- Now we will directly jump to example. No theory can explain this better than example.
1. Ignore constness
- You are allowed to modify
i
, because of the object(i
here) being assigned to, is notconst
. If you add const qualifier toi
, code will compile, but its behaviour will be undefined (which can mean anything from “it works just fine” to “the program will crash”.)
2. Modifying data member using const
this
pointer
const_cast
can be used to change non-const class members by a method in which this pointer declared as const. - This can also be useful when overloading member functions based onconst
, for instance:
|
|
3. Pass const
argument to a function which accepts only non-const argument
const_cast
can also be used to pass const data to a function that doesn’t receive const argument. See the following code:
4. Castaway volatile
attribute
const_cast
can also be used to cast awayvolatile
attribute. Whatever we discussed above inconst_cast
is also valid forvolatile
keyword.
dynamic_cast
dynamic_cast
uses the type checking at runtime in contrary tostatic_cast
which does it at compile time.dynamic_cast
is more useful when you don’t know the type of input which it represents. Let assume:
- As you can see, we don’t know which object will be returned by
CreateRandom() at run time but you want to execute
Method1()of
Derived1if it returns
Derived1. So in this scenario, you can use
dynamic_cast` as follows
- In case, if the input of
dynamic_cast
does not point to valid data, it will returnnullptr
for pointers or throw astd::bad_cast
exception for references. In order to work withdynamic_cast
, your classes must be polymorphic type i.e. must include at least one virtual methods. dynamic_cast
take advantage ofRTTI
(Run Time Type Identification) mechanism.
reinterpret_cast
reinterpret_cast
converts between types by reinterpreting the underlying bit pattern.- You can use
reinterpret_cast
to cast any pointer or integral type to any other pointer or integral type. - This can lead to dangerous situations: nothing will stop you from converting an
int
to anstd::string*
. - You will use
reinterpret_cast
in your embedded systems. A common scenario wherereinterpret_cast
applies is converting betweenuintptr_t
and an actual pointer or between:
- Instead, use this:
|
|
I have tried to cover most of the intricacies to clear the main concept behind different typecasting, but still, there might be a chance that I may miss some. So, this is it for C++ type casting with example for C developers. Let’s quickly recap:
Cheat Code for C Developers Moving to C++ on Type Casting
After reading all this you may confuse on what to use & when! That’s why I have created this cheat code
- Avoid C-style casts. Be sure about what you want while casting.
- Use
static_cast
wherever you were using C-style cast. - Use
dynamic_cast
with polymorphic classes. Keep in mind that only usedynamic_cast
on classes with at least one virtual member in the inheritance hierarchy. - Use
const_cast
when you need to removeconst
orvolatile
qualifiers. - Use
reinterpret_cast
when you have no options.
Note: const_cast
and reinterpret_cast
should generally be avoided because they can be harmful if used incorrectly. Don’t use it unless you have a very good reason to use them.
Some of the C++ Core Guidelines on Typecasting
- P.4: Ideally, a program should be statically (compile-time) type safe
- ES.48: Avoid casts
- ES.49: If you must use a cast, use a named cast
- ES.50: Don’t cast away
const
- C.146: Use
dynamic_cast
where class hierarchy navigation is unavoidable - C.147: Use
dynamic_cast
to a reference type when failure to find the required class is considered an error - C.148: Use
dynamic_cast
to a pointer type when failure to find the required class is considered a valid alternative