Для чего нужен explicit конструктор?

Назначение explicit конструктора

explicit — это спецификатор, который запрещает неявное преобразование типов при вызове конструктора. Это критически важно для безопасности кода и предотвращения логических ошибок.

Проблема без explicit

Без explicit конструктор может быть вызван неявно при присваивании или передаче параметров:

class String {
public:
    String(int capacity) { // БЕЗ explicit
        // Конструктор рассчитан на размер
    }
};

String s = 5; // ОПАСНО! Создаёт String с capacity=5
               // Это явно не то, что программист имел в виду

void process(const String& s) { /*...*/ }
process(10); // Неявное преобразование int -> String
             // Интерпретатор создаст временный объект

Такие неявные преобразования приводят к:

• Логическим ошибкам — код делает не то, что нужно
• Утечкам памяти — временные объекты не очищаются корректно
• Снижению производительности — лишние конструкторы/деструкторы

Решение: explicit

class String {
public:
    explicit String(int capacity) {
        // ...
    }
};

String s = 5;        // ОШИБКА компиляции! ✓ Правильно
String s(5);         // OK — явный вызов конструктора
String s = String(5); // OK — явное преобразование

void process(const String& s) { /*...*/ }
process(10); // ОШИБКА компиляции! ✓ Правильно
process(String(10)); // OK — явное преобразование

Практические примеры

1. Vector — недавно добавили explicit

В C++20 добавили explicit для конструктора с одним size_t:

template<typename T>
class vector {
public:
    explicit vector(size_t n); // С C++20 — explicit
};

vector<int> v = 100;  // До C++20 создавал vector из 100 нулей
                       // С C++20 — ОШИБКА компиляции (хорошо!)
vector<int> v(100);    // OK — явно

2. Конструктор с одним параметром — всегда обозначь explicit

class Vector3D {
public:
    explicit Vector3D(double magnitude); // ✓ explicit
    Vector3D(double x, double y, double z); // OK без explicit (несколько параметров)
};

Vector3D v = 5.0; // ОШИБКА — явно недопустимо
Vector3D v(5.0);  // OK

Когда explicit не нужен?

Относительно редко — когда преобразование семантически имеет смысл и безопасно:

class Ratio {
public:
    Ratio(int n) { }  // OK без explicit
                      // Ratio = 5 интуитивно понятно
};

class Color {
public:
    Color(uint32_t rgb) { } // OK без explicit
                             // Color = 0xFF0000 понятно
};

Но даже в этих случаях explicit не повредит — это защита от случайных ошибок.

Best Practice

По умолчанию используй explicit для ALL конструкторов с параметрами, кроме очень очевидных случаев (Copy/Move конструкторы, семантически прозрачные преобразования).

class MyClass {
public:
    explicit MyClass(int x);              // ✓ explicit
    MyClass(const MyClass&) = default;   // Copy — OK без explicit
    MyClass(MyClass&&) = default;        // Move — OK без explicit
    
    explicit operator bool() const;       // ✓ explicit для operator
};

Резюме

explicit гарантирует:

1. Безопасность — запрещены опасные неявные преобразования
2. Читаемость — код явно показывает намерение
3. Производительность — нет лишних временных объектов
4. Отладка — ошибки обнаруживаются на этапе компиляции

Это не просто рекомендация, а стандарт качественного C++ кода.