C explicit - что это?

Явный конструктор (Explicit Constructor) в C++

В C++ явный конструктор - это конструкция, которая позволяет управлять созданием объектов класса, ограничивая возможные способы инициализации объекта только с помощью вызова конструктора. Это важный инструмент для обеспечения корректности создания объектов и предотвращения нежелательных побочных эффектов.

Основные принципы

• Отсутствие неявного преобразования типов: Явный конструктор запрещает неявное преобразование типов, то есть невозможно создать объект класса просто присваиванием значения другого типа.
• Управление инициализацией: Явный конструктор позволяет указать точные параметры инициализации объекта, обеспечивая корректность создания.
• Контроль над созданием объектов: Явный конструктор дает разработчику контроль над способами создания объектов, что важно для обеспечения безопасности и соответствия условиям работы с данными.

Синтаксис

Явный конструктор определяется внутри класса с именем класса, за которым следует список параметров. Ключевое слово explicit ставится перед типом возвращаемого значения (который всегда void).

class MyObject {
public:
  explicit MyObject(int value); // Явный конструктор
};

Примеры

1. Простой пример

#include <iostream>

class MyObject {
public:
  explicit MyObject(int value) : value(value) {} 

  int getValue() const { return value; }

private:
  int value;
};

int main() {
  MyObject obj1(5); // Создание объекта с использованием явного конструктора
  // MyObject obj2 = 6; // Ошибка компиляции: неявное преобразование типов запрещено

  std::cout << "Значение: " << obj1.getValue() << std::endl;

  return 0;
}

В этом примере определен явный конструктор MyObject(int value), который инициализирует член данных value при создании объекта. Попытка создать объект obj2 с помощью неявного преобразования типов (MyObject obj2 = 6;) вызовет ошибку компиляции, так как конструктор явный.

2. Использование явного конструктора с указателями

#include <iostream>

class MyObject {
public:
  explicit MyObject(int* value) : value(value) {}

  int getValue() const { return *value; }

private:
  int* value;
};

int main() {
  int data = 10;
  MyObject obj1(&data); // Создание объекта с использованием явного конструктора

  std::cout << "Значение: " << obj1.getValue() << std::endl; 

  return 0;
}

В этом примере явный конструктор принимает указатель на int в качестве параметра и инициализирует член данных value этим указателем. Это позволяет создать объект, который будет работать с данными по указателю.

3. Запрещение преобразования типов с помощью явного конструктора

#include <iostream>

class MyObject {
public:
  explicit MyObject(int value) : value(value) {}

  void print() const { std::cout << "Значение: " << value << std::endl; }

private:
  int value;
};

int main() {
  MyObject obj1(5); 
  // MyObject obj2 = 5.0; // Ошибка компиляции: неявное преобразование типов запрещено

  obj1.print(); 

  return 0;
}

В этом примере явный конструктор предотвращает неявное преобразование типа double в MyObject, так как конструктор помечен ключевым словом explicit.

Явный конструктор - это ценный инструмент в C++, который позволяет управлять созданием объектов класса и обеспечивать корректность инициализации. Он предотвращает неявные преобразования типов и позволяет управлять способами создания объектов.

Использование явных конструкторов рекомендуется в ситуациях, когда необходимо ограничить способы инициализации объектов и обеспечить безопасность и корректность их создания.