Welcome to the next pikoTutorial!
nullptr and the segmentation fault
One of the first things that beginner C++ programmers realize after starting to play around with pointers is that dereferencing a nullptr leads to an immediate program crash caused by the segmentation fault. This leads to a common belief that whenever someone tries to call a member function on a nullptr, the program will immediately terminate. This is however not true and you can check it by yourself running the following code:
#include <iostream>
#include <memory>
class MyClass
{
public:
void PrintHello()
{
std::cout << "Hello" << std::endl;
}
};
int main()
{
std::shared_ptr<MyClass> nullptr_instance = nullptr;
nullptr_instance->PrintHello();
}Depending on the compiler you use, this code not only doesn’t crash, but also works as expected, so we see “Hello” being printed, although I explicitly called a member function on a null pointer.
Note for beginners: This is one of the examples of undefined behavior in C++. Although the above example works, you should never rely on such mechanisms in the production code because there’s no guarantee that it will work in all scenarios. Undefined behavior means simply that the C++ standard doesn’t specify what happens. The result could be anything, from working as expected to crashing your program, or even producing unexpected and erroneous results.
Why it works?
The reason is that in C++ a non-virtual member function is just a regular function with an implicit this pointer passed as its first argument. When you call nullptr_instance->PrintHello(), the function is called with nullptr_instance (which is nullptr in this case) as this pointer. However, since the function doesn’t use any member variables, it doesn’t dereference this pointer internally, so no segmentation fault occurs.
When it fails?
Look at the second example which is almost identical as the first one, but now MyClass derives from a base class and PrintHello() function is virtual.
#include <iostream>
#include <memory>
class Interface
{
public:
virtual void PrintHello() = 0;
};
class MyClass : public Interface
{
public:
void PrintHello() override
{
std::cout << "Hello" << std::endl;
}
};
int main()
{
std::shared_ptr<MyClass> nullptr_instance = nullptr;
nullptr_instance->PrintHello();
}This time the program ends up with the segmentation fault because when you call nullptr_instance->PrintHello(), dynamic dispatch is required. In dynamic dispatch, the compiler uses a virtual table (vtable) to find the actual function to call at runtime based on the runtime type of the object.
However, since nullptr_instance is null, the pointer to the vtable (which is part of the object’s memory) is also null. When the program tries to access the vtable through the null pointer, this results in a null pointer dereference, causing the program to crash.
Read also:
- GTest and short-circuit evaluation in C++
- AI is powerful. Snippets are instant.
- From AUTOSAR to S-Core: the first C++ pub/sub implementation
- How to write Arduino Uno code with Python?
- Combining Bazel with Docker
- Running commands with timeout on Linux
- Running Python unit tests with CMake
- Thirdparty dependencies with FetchContent
- Bug of the week #11
- Combining CMake with Docker
- How to search the internet from Linux terminal?
- Folding expressions in C++
- How to derive from an enum in Python?
- Bug of the week #10
- Trying ROS2: client/server within a single container
- Make C++ a better place #4: Go as an alternative
- How to convert hex to dec in Linux terminal?
- Setting up a Python project with CMake
- Separating builds for different configs with Bazel
- Trying ROS2: pub/sub within a single container
- Bug of the week #9
- UDP multicasting with Python
- Destruction order vs thread safety in C++
- Let’s review some code: C++ #2
- Make C++ a better place #3: D as an alternative
- Registering callback using std::function in C++
- Bug of the week #8
- TCP client/server with Python
- Simple menus in Bash scripts with select
- Calling member function on a nullptr in C++
- Bug of the week #7
- Python lru_cache explained
- How to dockerize a Python application?
- Make C++ a better place #2: CppFront as an alternative
- Parameters combinations in GoogleTest
- Data transfer with curl
- Python reduce explained
- Bug of the week #6
- Custom literals in C++
- Linux and hash command
- 5 Python good practices which make life easier
- Let’s review some code: Python #1
- Make C++ a better place #1: What does better mean
- Enums vs enum class in C++
- Bug of the week #5
- UDP client/server with Python
- Hard links in Linux
- Functions calling order in unit tests in C++
- Bug of the week #4
- Yield in Python – state machines, coroutines and more
- Copy files from another branch with Git
- Make C++ a better place #0: Introduction
- 5 misconceptions about std::move in C++
- How to use xargs on Linux?
- How to test method call order with unittest in Python?
- Bug of the week #3
- Build & run C++ unit tests with CMake
- Arrange text with sort on Linux
- Key derivation function with Python
- Let’s review some code #1: C++









