Конструктор и инициализация пользовательских классов / объектов

это очень хорошие и важные вопросы.

Относительно A:

перед выполнением тела конструктора C++ генерирует код, который автоматически вызывает конструктор по умолчанию всех агрегированных (т. е. членов) объектов вашего класса. В принципе, он преобразует следующий код:

class myClass_B {
public:
    myClass_B()
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

в следующий код:

class myClass_B {
public:
    myClass_B()
        : m_instance()
        , m_pInstance()
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

две строки компилятора автоматически вставленные называются список инициализатора, он вызывает конструктор по умолчанию для каждого объекта aggregate до выполняется тело вашего конструктора. Обратите внимание, что второй, m_pInstance() вызывает " конструктор по умолчанию указатель", которая создает неинициализированный указатель ; это почти всегда не то, что вы хотите. См. ниже о том, как это исправить.

теперь предположим, что конструктор myClass_A имеет подпись myClass_A(int someNumber), т. е. требуется аргумент. Затем, С++ не может автоматически генерировать список инициализатора myClass_B как он не знает, какой номер передать 'ы. Он бросит вам ошибку компилятора, вероятно, жалуясь на отсутствующий конструктор по умолчанию для myClass_A. Вам придется написать инициализатор-список самостоятельно, например:

class myClass_B {
public:
    myClass_B()
        : m_instance(21)
        , m_pInstance(new myClass_A(21))
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

это правильный код, который называет myClass_A конструктор со значением 21 для параметр someNumber. Это также показывает, как правильно инициализировать указатель: сделать его указывающим на какой-то новый выделенный объект.

Относительно B:

в отличие от некоторых других говорят, можно! (Попробуйте)

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

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

Относительно C:

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

надеюсь, это немного прояснит ситуацию.