0

Недавно сейчас ООП в с++ и недавно наткнулся на вот такой интересный код в интернете:

struct A1
{
     A1()
     {cout << "A1";}
     ~A1
     { cout << "~A1";}
 };

struct A2
{
     A2()
     {cout << "A2";}
     ~A2()
     { cout << "~A2";}
 };
 class B
 {
 public:
        B()
        { cout << "B";}
        ~B()
        { cout << "~B";}
  private:
         A1 a;
  };
  class C : public B
  { 
  public:
        C() : a(12)
        { cout << "C"; }
         ~C()
        { cout << "~C"; }
  private: 
         A2 a;
    };

   int main()
   { C c; }

Можете пожалуйста мне объяснить, что такое

 C() : a(12) {}
13
  • Вы точно помните, что это было именно так? С int впереди?
    – Harry
    30 дек 2020 в 19:25
  • @Harry, точно не помню, но исходя из ваших слов, я так понимаю что его там не должно быть. 30 дек 2020 в 19:29
  • Контекст можете привести?
    – avp
    30 дек 2020 в 19:29
  • @avp Изменил вопрос. 30 дек 2020 в 19:41
  • 1
    Это способ инициализации (не присваивания! вызова конструктора!) члена-класса или родительского класса. А вообще-то ваш код не рабочий - хотя бы потому, что соответствующего конструктора у A1 нет.
    – Harry
    30 дек 2020 в 20:13

3 ответа 3

4

В определении конструктора класса после двоеточия обязательно нужно вызывать конструкторы базового класса, и элементов этого класса в правильном порядке.

Сначала базовые по-порядку, затем переменные по-порядку. Если базовые классы или элементы имеют конструкторы по-умолчанию, то их можно не указывать, они (конструкторы) будут вызваны без аргументов.

Ссылки например, не имеют коструктора по-умолчанию. И им нужен аргумент при создании объекта. Константные переменные тоже, конструируются только один раз и только в этом списке конструкции.

class BaseLeft {
public :
  // конструктора по-умолчанию нет
  // у типа int есть, но он не вызовется автоматически
  BaseLeft(int x) /* : i { } */ { i = x; }
private :
  int i ;
} ;

class BaseRight {
public :
  // конструктор по-умолчанию есть
  // у типа int есть, но его можно вызвать
  BaseRight() : i { -1 } { }
private :
  int i ;
} ;

class Son : public BaseLeft , public BaseRight {
public :
  
  // Son(int & j) : BaseLeft{} , BaseRight{} , bl{} , br{} , i{} ,l{} { c = 7 ; }
  
  // error: no matching function for call to 
  // ‘BaseLeft::BaseLeft(<brace-enclosed initializer list>)’
  // В классе BaseLeft нет конструктора по-умолчанию
  
  // error: assignment of read-only member ‘Son::c’
  // присваивание константе нельзя, только при инициализации
  
  // error: cannot bind non-const lvalue reference of type ‘int&’
  //  to an rvalue of type ‘int’
  // у ссылки нет конструктора по-умолчанию, ей нужен адрес куда ссылаться
  
  //Son(int & j) : BaseLeft{1} , BaseRight{} , bl{1} , br{} , i{}, l{j} , c{j} { }
  // хорошо
  
  Son(int & j) : BaseLeft{1} , bl{1} , l{j} , c{j} { i = 0 ; }
  // то-же самое
  
private :
  BaseLeft bl ;
  BaseRight br ;
  int i ;
  int & l ;
  int const c ;
};

Примечание :

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

2
  • Насколько я помню, порядок определяется не тем, как вы их укажете в конструкторе, а их порядком в объявлении класса...
    – Harry
    30 дек 2020 в 21:40
  • А вот в примечании вообще написан неверно. Правильно говорить, что в некоторых случаях там может быть мусор, и поэтому, те, кто правил не знает, всегда делают инициализацию.
    – KoVadim
    31 дек 2020 в 8:42
1

Конструкция вида

C() : a(12)
    { cout << "C"; }

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

C()
    {a = 12; cout << "C"; }

внимание в текущем варианте кода а - это A2, у которого нет подходящего конструктора с одним int, Но есть подозрение, что автор неточно скопировал свой код и там было что то подходящее - например, там был тип int (или это был вопрос на тему "исправь, что бы компилировалось)

Но если Вы хотите сделать так как Вы написали изначально, то это можно (это же с++!)

// можно использовать макрос, можно constexpr функцию
//#define b

constexpr int b(int x) { return x;}

struct Test
{
    // а это битовое поле:)
    int a:b(2) {};
};

Родственный вопрос - Порядок вызова в списке инициализации конструктора

11
  • Не совсем. Скорее коду C():a(){ a = 12; ... - Есть все же существенная разница между инициализацией и присваиванием...
    – Harry
    30 дек 2020 в 20:11
  • я же написал "практически эквивалентный". для int оно так и будет. А вот если класс посложнее будет, то тут уже другое дело.
    – KoVadim
    30 дек 2020 в 20:13
  • В вопросе A1 a;...
    – Harry
    30 дек 2020 в 20:14
  • 2
    Это должно присутствовать если элементы класса не имеют конструктора по-умолчанию. Это вызовы конструктора а не оптимизация...
    – AlexGlebe
    30 дек 2020 в 20:14
  • @Harry но вопрос то не в том.
    – KoVadim
    30 дек 2020 в 20:16
1

Это прямая инициализация. Именно такой способ рекомендуется! Списки инициализации членов позволяют инициализировать члены, а не присваивать им значения. Это единственный способ инициализации констант и ссылок, которые являются переменными-членами вашего класса. Во многих случаях использование списка инициализации может быть более результативным, чем присваивание значений переменным-членам в теле конструктора. Списки инициализации работают как с переменными фундаментальных типов данных, так и с членами, которые сами являются классами.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.