Modern (Effective) C++ - Pimpl Idiom from C++11 onwards

This article is a continuation of Pimpl idiom prior to C++11.

So as mentioned earlier, we should NOT use raw pointers from C++11 onwards unless until it is absolutely unavoidable. Let's go ahead and replace the raw pointer in Car.h by a std::unique_ptr


The code above compiles fine. But in our main file, if we do something as simple as this, the compiler throws various compiler errors.


The errors are -
This is because the Car::CarImpl is incomplete at the point where compiler generated functions are usually created i..e Car.h file.
Hence we have to move the auto generated functions to Car.cpp file, where Car::CarImpl is a complete type.

This includes the destructor and move functions. We define move instructions since objects with Pimpl idioms usually support move operations. The compiler generated versions of these functions should usually suffice.  But in order to generate it at the right place ( where the Car::CarImpl is a complete type), we have to do the following -


The above program compiles fine. But since we have defined move functions explicitly, we have to define copy instructions as well. Adding the copy operations, we get -

Most Pimpl idioms implementations use std::unique_ptr. But if we were to use std::shared_ptr, the compiler would have generated all the inbuilt functions without any errors. This is because deleter is not part of the type in shared_ptr. Thus std::shared_ptr uses more runtime data structures, and resulting in slightly slower code.
To conclude this article explains the correct way of implementing Pimpl idiom in Modern C++.