User Tools

Site Tools


best_practices

Differences

This shows you the differences between two versions of the page.


Previous revision
best_practices [2023/04/25 16:52] (current) – external edit 127.0.0.1
Line 1: Line 1:
 +====== Best Practices ======
  
 +===== General ======
 +
 +==== Tips & tricks ====
 +
 +=== Always initialize primitive variables (other types do not require this) ===
 +
 +<code cpp>
 +// Bad
 +int myVariable;
 +std::string myString;
 +
 +// Good
 +int myVariable{};
 +std::string myString; // std::string is not a primitive variable, so initialization is optional
 +</code>
 +
 +=== Always set parameters as const reference if they are non-primitives ===
 +
 +<code cpp>
 +// Bad
 +void myFunction(int firstParameter, std::string secondParameter)
 +{
 +    //...
 +}
 +
 +// Good
 +void myFunction(int firstParameter, const std::string &secondParameter)
 +{
 +    //...
 +}
 +</code>
 +
 +=== Do not use "using namespace" outside of a function => improves readability (and only use it when needed) ===
 +
 +<code cpp>
 +// Bad
 +using namespace std;
 +
 +void myFunction()
 +{
 +    string myString;
 +    //...
 +}
 +
 +// Good
 +void myFunction()
 +{
 +    using namespace std;
 +    
 +    string myString;
 +    //...
 +}
 +
 +// Better
 +void myFunction()
 +{
 +    std::string myString;
 +    //...
 +}
 +</code>
 +
 +Note that you can use namespace aliases to simplify a complex namespace hierarchy:
 +
 +<code cpp>
 +namespace myNamespace = some::complex::namespace::hierarchy;
 +</code>
 +
 +=== Use references instead of pointers if possible => easier to use ===
 +(but note that Qt uses a lot of pointers for historical reasons) 
 +
 +<code cpp>
 +// Bad
 +void myFunction(MyObject *object)
 +{
 +    object->function();
 +    //...
 +}
 +
 +// Good
 +void myFunction(MyObject &object)
 +{
 +    object.function();
 +    //...
 +}
 +</code>
 +
 +=== Use smart pointers instead of raw/naked/dumb pointers => easier to use ===
 +(but note that Qt uses its own memory management system, so if using Qt classes or Qt-based classes you will have to use //new//, see [[best_practices#inheritance|this]] section)
 +
 +<code cpp>
 +// Bad
 +MyObject *object = new MyObject;
 +
 +delete object;
 +
 +// Good
 +#include <memory>
 +
 +std::unique_ptr<MyObject> object{std::make_unique<MyObject>()};
 +
 +// Good
 +#include <QObject>
 +
 +// parentObject is a pointer to a QObject
 +
 +MyObject *object = new MyObject(parentObject);
 +</code>
 +
 +Note the use of std::make_unique here; it should be used instead of //new// when using std::unique_ptr.
 +
 +=== Never mix C and C++ code ===
 +C and C++ are very different languages. The fact that most of the C language can be compiled using a C++ compiler does not mean that you should mix both. For example, C-arrays are difficult to use correctly and should be avoided. Prefer using QList when writing Qt-based code and std::vector otherwise. 
 +
 +<code cpp>
 +// Bad
 +int *myArray = new int[42];
 +
 +delete[] myArray ;
 +
 +// Good
 +#include <QList>
 +
 +QList<int> myArray; // QList has no resize() function, so reserve() could be used to reserve memory and append() or push_back() could be used to add elements
 +
 +// Good
 +#include <vector>
 +
 +std::vector<int> myArray(42);
 +</code>
 +
 +Static arrays should use std::array. They offer the same performance while adding convenience functions like size().
 +
 +<code cpp>
 +// Bad
 +int myArray[42];
 +
 +// Good
 +#include <array>
 +
 +std::array<int, 42> myArray;
 +</code>
 +
 +In addition, note that C code relying on functions to free memory like free(), are not exception safe. This means that mixing exception-throwing code with these functions would trigger memory leaks in case an exception is thrown.
 +
 +<code cpp>
 +// Bad
 +int* stuff = (int*)malloc(sizeof(int) * 42);
 +
 +QPushButton *button = new QPushButton(parent); // What happens if new triggers an exception? "stuff" is never freed and a memory leak occurs
 +
 +free(stuff);
 +
 +// Good
 +#include <array>
 +
 +std::array<int, 42> stuff;
 +
 +QPushButton *button = new QPushButton(parent); // "stuff" never leaks memory
 +</code>
 +
 +=== If you have to write a function that returns multiple values, prefer returning a std::tuple instead of using reference parameters (if possible) ===
 +
 +<code cpp>
 +// Bad
 +void myFunction(int &outFirstVariable, std::string &outSecondVariable)
 +{
 +    outFirstVariable = 42;
 +    outSecondVariable = "text";
 +}
 +
 +// Good
 +#include <tuple>
 +
 +std::tuple<int, std::string> myFunction()
 +{
 +    return std::make_tuple(42, "text");
 +}
 +
 +// auto result = myFunction();
 +// Use std::get<0>(result) to get the integer, std::get<1>(result) to get the std::string
 +</code>
 +
 +=== When using events, prefer using lambdas (anonymous functions) instead of static functions ===
 +
 +<code cpp>
 +#include <QPushButton>
 +
 +QPushButton *button = new QPushButton(parent);
 +
 +// Bad
 +void MyObject::onClick()
 +{
 +    //...
 +}
 +
 +connect(button, SIGNAL(clicked()), this, SLOT(onClick()));
 +
 +// Good
 +connect(button, &QPushButton::clicked(), [this]()
 +{
 +    //...
 +});
 +</code>
 +
 +=== When incrementing a variable, prefer using the prefix operator rather than the postfix one ===
 +It is sometimes faster, but never slower: http://stackoverflow.com/questions/24901/is-there-a-performance-difference-between-i-and-i-in-c
 +
 +<code cpp>
 +// Bad
 +i++;
 +
 +// Good
 +++i;
 +</code>
 +
 +=== When performing operations on containers (arrays, vectors, etc.) prefer using range-based for (= "foreach") instead of index or iterators when possible ===
 +
 +<code cpp>
 +std::vector<int> myContainer = {42, 43, 44, 45};
 +
 +// Bad
 +for(std::vector<int>::iterator it = myContainer.begin(); it != myContainer.end(); ++it)
 +{
 +    //...
 +}
 +
 +// Not as bad
 +for(int index = 0; index < myContainer.size(); ++index )
 +{
 +    //...
 +}
 +
 +// Good
 +for(int value: myContainer)
 +{
 +    //...
 +}
 +</code>
 +
 +=== Never forward-declare variables ===
 +
 +<code cpp>
 +// Bad
 +int i;
 +int j;
 +
 +for(; i < 10; ++i)
 +{
 +    for(; j < 10; ++j)
 +    {
 +        //...
 +    }
 +}
 +
 +// Good
 +for(int i{}; i < 10; ++i)
 +{
 +    for(int j{}; j < 10; ++j)
 +    {
 +        //...
 +    }
 +}
 +</code>
 +
 +=== Never use typedef ===
 +It has been superseded by //using// since C++11.
 +
 +<code cpp>
 +// Bad
 +typedef int MyInteger;
 +
 +// Good
 +using MyInteger = int;
 +</code>
 +
 +Note that using //using// you can also set template parameters now:
 +
 +<code cpp>
 +using Integer3DVector = Generic3DVector<int>;
 +</code>
 +
 +=== Never use #define to create constants, use constexpr instead ===
 +<code cpp>
 +// Bad
 +#define MY_CONSTANT_VALUE 42
 +
 +// Good
 +constexpr int MyConstantValue = 42; // Note the naming change here, caps should only be used for preprocessor defines
 +</code>
 +
 +=== Prefer using enum classes rather that enums ===
 +
 +<code cpp>
 +// Bad
 +enum Color
 +{
 +    BlueColor,
 +    RedColor
 +};
 +
 +Color myColor = BlueColor;
 +
 +// Good
 +enum class Color
 +{
 +    Blue,
 +    Red
 +};
 +
 +Color myColor = Color::Blue;
 +</code>
 +
 +Please note that contrary to enums, enum classes cannot be implicitly converted to an integer. Use a static_cast if you need to convert from an integer to an enum class and vice-versa.
 +
 +=== Never use C-style casts, use C++ ones ===
 +<code cpp>
 +enum class Color
 +{
 +    Blue,
 +    Red
 +};
 +
 +Color color{Color::Red};
 +int colorAsInteger{};
 +
 +// Bad
 +colorAsInteger = (int)color;
 +Color otherColor = (Color)colorAsInteger;
 +
 +// Good
 +colorAsInteger = static_cast<int>(color);
 +Color otherColor = static_cast<Color>(colorAsInteger);
 +</code>
 +
 +When dealing with QObject-based classes you should use [[http://doc.qt.io/qt-5/qobject.html#qobject_cast|qobject_cast]].
 +
 +=== Header files should not depend on other #includes ===
 +To test this, just include your header in an empty source file, if it doesn't compile then you should add the missing #include directives.
 +
 +=== Header files should be grouped by library and sorted, system headers should be at the bottom ===
 +This helps readability. Putting system headers at the bottom helps ensuring that the previous rule is enforced.
 +
 +<code cpp>
 +// Local headers
 +#include "MyClass.hpp"
 +
 +// Library headers
 +#include <QDebug>
 +
 +// System headers
 +#include <cmath>
 +#include <cstdio>
 +</code>
 +
 +=== Prevent dependency contamination ===
 +Use case: you are using an "enum" or "#defines" from a system header, lets say Windows.h.
 +
 +<file cpp myclass.hpp>
 +#pragma once
 +
 +#include <Windows.h>
 +
 +class MyClass final
 +{
 +public:
 +    MyClass() = default;
 +    
 +private:
 +    HWND m_window;
 +};
 +</file>
 +
 +In this case, every file #including "myclass.hpp" will also implicitly #include Windows.h. Ouch.
 +This dependency cannot be removed because you need to #include Windows.h to be able to use the type HWND.
 +
 +Solution: here we can use the "private implementation" idiom, or "pimpl". I consists in having all the member variables in a separate struct.
 +
 +<file cpp myclass_private.hpp>
 +#pragma once
 +
 +#include <Windows.h>
 +
 +struct MyClass_Private
 +{
 +    HWND window;
 +};
 +</file>
 +
 +<file cpp myclass.hpp>
 +#pragma once
 +
 +#include <memory>
 +
 +struct MyClass_Private;
 +
 +class MyClass final
 +{
 +public:
 +    MyClass();
 +    
 +private:
 +    std::unique_ptr<MyClass_Private> m_private;
 +};
 +</file>
 +
 +<file cpp myclass.cpp>
 +#include "myclass_private.hpp"
 +#include "myclass.hpp"
 +
 +MyClass::MyClass():
 +    m_private{std::make_unique<MyClass_Private>()}
 +{
 +    // Access window by using m_private->window
 +}
 +</file>
 +
 +And that's it. It is indeed an increase in complexity and has a slight impact on performance, but reduces compilation time and prevents clashes between symbols and #defines (and Windows.h creates a huge pile of mess when included).
 +
 +=== Write small functions instead of huge ones ===
 +=== Never call virtual functions from a constructor ===
 +Reference: [[https://stackoverflow.com/questions/496440/c-virtual-function-from-constructor]]
 +=== Classes and variables ===
 +You should not consider a class as a collection of variables, but rather like a service provider. That is the reason why you should put the public functions first, before the private ones. Variables should be put at the end, since they are an implementation detail.
 +
 +===== Comments =====
 +What amount of comments should you write? Too many comments will make the code unreadable (see AutoHotKey for an example).
 +
 +TODO: Add something about Doxygen and how to write compatible comments
 +
 +<code cpp>
 +// Bad
 +void stuff(int blih)
 +{
 +    int blah = 5; // We set blah to 5 here
 +    int bloh = std::max(blih, 8); // Here we compute the maximum value between blih and 8, and then we store the result in a variable called bloh
 +    
 +    //...  
 +    
 +    return blah; // We return the value of the variable blah of type integer. We then terminate this function and continue our merry way into our program. Yep. That's it. Bye.
 +}
 +
 +// Good
 +// Note that this "example" has other issues: the function and the variables have meaningless names, and there is a magic value
 +void stuff(int blih)
 +{
 +    int blah = 5;
 +    // We need to compute bloh here because...
 +    int bloh = std::max(blih, 8);
 +    
 +    //...  
 +    
 +    return blah;
 +}
 +</code>
 +
 +===== Qt specific =====
 +
 +==== Containers ====
 +
 +^ C++ Standard Library ^ Qt ^
 +| [[http://en.cppreference.com/w/cpp/container/vector|std::vector]] | Contiguous memory bloc? Yes: [[https://doc.qt.io/qt-5/qvector.html|QVector]] No: [[https://doc.qt.io/qt-5/qlist.html|QList]]* |
 +| [[http://en.cppreference.com/w/cpp/container/list|std::list]] | [[https://doc.qt.io/qt-5/qlinkedlist.html|QLinkedList]] |
 +| [[http://en.cppreference.com/w/cpp/container/set|std::set]] | [[https://doc.qt.io/qt-5/qset.html|QSet]] |
 +| [[http://en.cppreference.com/w/cpp/container/map|std::map]] | [[https://doc.qt.io/qt-5/qmap.html|QMap]] |
 +| [[http://en.cppreference.com/w/cpp/container/unordered_map|std::unordered_map]] | [[https://doc.qt.io/qt-5/qhash.html|QHash]] |
 +| [[http://en.cppreference.com/w/cpp/container/multimap|std::multimap]] | [[https://doc.qt.io/qt-5/qmultimap.html|QMultiMap]] |
 +| [[http://en.cppreference.com/w/cpp/container/unordered_multimap|std::unordered_multimap]] | [[https://doc.qt.io/qt-5/qmultihash.html|QMultiHash]] |
 +
 +*If in doubt, use [[https://doc.qt.io/qt-5/qlist.html|QList]].
 +
 +**/!\ [[http://en.cppreference.com/w/cpp/container/list|std::list]] is not equivalent to [[https://doc.qt.io/qt-5/qlist.html|QList]] /!\**
 +
 +Prefer using [[https://doc.qt.io/qt-5/qhash.html|QHash]] and [[https://doc.qt.io/qt-5/qmultihash.html|QMultiHash]] over [[https://doc.qt.io/qt-5/qmap.html|QMap]] and [[https://doc.qt.io/qt-5/qmultimap.html|QMultiMap]] if you don't need the items to be sorted, their lookup time is smaller.
 +==== Inheritance ====
 +
 +QObject-based:
 + * automatic memory management (no smart pointer required)
 + * constructor takes a parent QObject, defaulted to nullptr
 + * Q_OBJECT macro at the beginning of the class
 +
 +<file cpp myobject.hpp>
 +#pragma once
 +
 +#include <QObject>
 +
 +class MyObject: public QObject
 +{
 +    Q_OBJECT
 +    
 +public:
 +    MyObject(QObject *parent = nullptr);
 +    virtual ~MyObject();
 +}
 +</file>
 +
 +<file cpp myobject.cpp>
 +#include "myobject.hpp"
 +
 +MyObject::MyObject(QObject *parent):
 +    QObject(parent)
 +{
 +}
 +
 +MyObject::~MyObject()
 +{
 +}
 +</file>
 +
 +QWidget-based:
 + * automatic memory management (no smart pointer required)
 + * constructor takes a parent QWidget, defaulted to nullptr
 + * Q_OBJECT macro at the beginning of the class
 +
 +<file cpp mywidget.hpp>
 +#pragma once
 +
 +#include <QWidget>
 +
 +class MyWidget: public QWidget
 +{
 +    Q_OBJECT
 +    
 +public:
 +    MyClass(QWidget *parent = nullptr);
 +    virtual ~MyClass();
 +}
 +</file>
 +
 +<file cpp mywidget.cpp>
 +#include "mywidget.hpp"
 +
 +MyWidget::MyWidget(QWidget *parent):
 +    QWidget(parent)
 +{
 +}
 +
 +MyWidget::~MyWidget()
 +{
 +}
 +</file>
 +
 +Other classes:
 + * memory management through smart pointers
 +
 +==== Exceptions ====
 +
 +[[https://isocpp.org/wiki/faq/exceptions|Exceptions]] allow the developer to use various features without having to constantly check for errors. Even if you are not using them explicitly they may be triggered by the standard library or even by //new//. Sadly, for historical reasons, [[https://doc.qt.io/qt-5/exceptionsafety.html|Qt does not support them]]. This means that if you are using a feature coming from a third party library you have to catch exceptions to prevent issues with Qt code. Note that Qt containers are exception proof however.
 +
 +If you are writing non-Qt code then you really should use exceptions and more importantly, write **exception-safe code**. Using smart pointers is a great and easy way to do this. For Qt-based code you will have to use C-style error checking based on booleans and "getErrorString" functions. This is, for me, Qt's main drawback.
 +
 +====== Examples ======
 +
 +<code cpp>
 +#include <string>
 +#include <memory>
 +
 +// An entity semantic class
 +class MyExampleClass final
 +{
 +public:
 +    // This constructor is explicit to prevent something like this: MyExampleClass test = "some text";
 +    explicit MyExampleClass(const std::string &myString):
 +        m_myVar{52},
 +        m_myString{myString}
 +    {
 +    }
 +
 +    // Entity semantic: always forbid copy & assignment
 +    MyExampleClass(const MyExampleClass &) = delete;
 +    MyExampleClass &operator=(const MyExampleClass &) = delete;
 +
 +private:
 +    // Variables are always at the end, because they represent an implementation detail
 +    int m_myVar{42};
 +    std::string m_myString{"value"};
 +};
 +
 +// A value semantic class
 +class MyVector final // Always final: a value semantic class should *never* be inherited from
 +{
 +public:
 +    // We want to use the default implementation (wich is faster than anything we can do)
 +    MyVector() = default;
 +
 +    MyVector(const MyVector &other):
 +        m_x(other.m_x),
 +        m_y(other.m_y)
 +    {
 +    }
 +
 +    MyVector &operator=(MyVector other)
 +    {
 +        std::swap(m_x, other.m_x);
 +        std::swap(m_y, other.m_y);
 +
 +        return *this;
 +    }
 +
 +private:
 +    // m_x and m_y are initialized with the default value for the type int: 0
 +    // unless the initializer list in a constructor decides otherwise
 +    int m_x{};
 +    int m_y{};
 +};
 +
 +void test()
 +{
 +    // I use scopes "{}" here to limit where my variables live and are accessible
 +    {
 +        // Allocation on the stack (fast)
 +        MyExampleClass myExampleClass{"some text"};
 +        // myExampleClass is destroyed here
 +    }
 +    {
 +        // Allocation on the heap (slower, allows polymorphism)
 +        std::unique_ptr<MyExampleClass> myExampleClass{std::make_unique<MyExampleClass>("some text")};
 +        // Or (with auto)
 +        auto myExampleClass{std::make_unique<MyExampleClass>("some text")};
 +        // myExampleClass is destroyed here (thanks to the smart pointer)
 +    }
 +}
 +</code>