Что делает этот конструктор?

Question

[Даниил Романов]

Прохожу курс на Stepik по плюсам, возникли трудности в понимании одного момента в задаче.

Часть условия из задачи:
Определен следующий класс (он также приведен в комментарии в шаблоне кода):

struct Cls {
    Cls(char c, double d, int i);
private:
    char c;
    double d;
    int i;
};

Что делает конструктор Cls(char c, double d, int i);
Он же не задает значения полей, а аргументы в него передаются.

Answer 1

[Антон Жилин]

Это объявление (declaration) конструктора. Значения полей должны быть заданы в определении (definition). Раз определения тут нет, значит, его нужно искать где-то в другом месте. Возможно, вы найдёте его в одном из следующих шагов. Возможно, его написание оставлено как упражнение для читателя. Возможно, содержимое конструктора (присвоение параметров полям) авторы посчитали очевидным.

Пример определения, которое должно следовать за таким классом:

Cls::Cls(char c, double d, int i)
    : c(c), d(d), i(i) {}

Answer 2

[res2001]

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

Учитывая, что набор параметров конструктора такой же как и набор членов данных класса, можно предположить, что конструктор просто инициализирует члены класса. Возможно, проверяет допустимость переданных параметров. Но это может быть совсем не так или только частично так. Без определения конструктора (его полного кода) нельзя в точности сказать, что он делает.
Кстати, определение может содержать и пустое тело функции, но и в этом случае оно отличается от объявления. Пустой конструктор может быть определен например так:
Cls::Cls(char c, double d, int i) {};
или содержать список инициализации с пустым телом:

Cls::Cls(char c, double d, int i): c(c), d(d), i(i) {};

Comments

[Даниил Романов]

Cls::Cls(char c, double d, int i) {};
Извините, Вы привели данный пример как определения. Про объявление я в принципе понял. Но какой смысл тогда имеет такое определение, если опять же оно ничего не инициализирует?

[res2001]

Даниил Романов,

Но какой смысл тогда имеет такое определение, если опять же оно ничего не инициализирует?

Никакого смысла не имеет.
Но это законченное определение, имеет право на существование. И глядя на это определение уже можно точно говорить, что этот конструктор ничего не делает, члены класса будут инициализированы по умолчанию.
Компилятор это проглотит, но при определенных опциях может предупредить, что параметры не используются (при других опциях это может быть ошибкой).

Можно применять в случае, если вы знаете, что функция должна принимать такой набор параметров, но еще не знаете как она будет реализована.