July 2025
Beginner to intermediate
402 pages
8h 8m
English
C++ is a statically typed language, meaning that every expression is assigned a type at a compile time, either by a developer (in most cases), or deduced by a compiler when using the keyword auto. Still, this doesn’t make it a type-safe language.
Both C++ and C allow functions with a variable number of arguments (va_arg), or variadic functions and type casting, and support implicit type conversion. These low-level capabilities that are associated with the performance of C++ and C are often the source of bugs in programs. In this chapter, we will cover good practices used to increase type-safety in C++.
Type-safety is an important aspect of a program in safety-critical systems. That’s why safety coding ...
Read now
Unlock full access