Как разобраться в конструкторах класса и инициализации переменных в ней, в чем различие?

Question

[newuser8888]

1-й вариант:

class Token_stream {
public:
  Token_stream() : buffer(0), full(false) {}
  void putback(Token t);
  Token get();

private:
  Token buffer;
  bool full;
};

Token_stream ts;

2-й вариант:

class Token_stream {
public:
  void putback(Token t);
  Token get();

private:
  Token buffer = 0;
  bool full = false;
};

Token_stream ts;

Есть ли какая-то разница?
И почему так конструктор не работает:

class Token_stream {
public:
  Token_stream() {
    buffer = 0;
    full = false;
  }
  void putback(Token t);
  Token get();

private:
  Token buffer;
  bool full;
};

Token_stream ts;

Answer 1

[jcmvbkbc]

Есть ли какая-то разница?

Разница в том, что инициализация bool full = false; выполняется для любого конструктора, у которого поле full не перечислено в списке инициализации.
Конечное состояние конструируемого объекта одинаково в обоих случаях.

И почему так конструктор не работает:

Потому что у класса Token отсутствует конструктор по умолчанию.

Comments

[newuser8888]

Я немного не врубился, почему в токене работает конструктор, а в токен_стриме нет, объясни попроще, если можешь:

class Token {
public:
  char kind;
  int value;
  Token(char k, int v) {
    kind = k;
    value = v;
  }
  Token(char k) {
    kind = k;
    value = 0;
  }
};

class Token_stream {
public:
  Token_stream() {
    buffer = 0;
    full = false;
  }
  void putback(Token t);
  Token get();

private:
  Token buffer;
  bool full;
};

[Григорий]

Потому что у Token есть только конструктор Token(char k, int v) но нет конструктора Token(). Не вызвав конструктор явно вы путаетесь вызвать конструктор по умолчанию, а его нет. И видимо у вас опечатка, так как строка buffer = 0; в данном случае не имеет смысла.

[jcmvbkbc]

строка buffer = 0; в данном случае не имеет смысла.

Григорий, почему не имеет? Имеет, 0 конвертируется в Token конструктором Token(char).

[jcmvbkbc]

объясни попроще

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

[newuser8888]

jcmvbkbc, Спасибо, понял.