Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Для новичков > Инициализатор элементов

Автор: hoz 27.4.2014, 12:48

Часто встречаю такие приёмы, когда переменные инициализируются посредством инициализатора элементов. Хочется понять это просто альтернатива, которая не является необходимой вообще или всё-таки бывает необходима? Например:

Код


class Test
{
public:
   Text (int = 0);
   void print() const;
private:
   int x;
}

Test::Test (int value)
   : x (value)
{
//пустое тело
}
//дальше..
//объявляем элементы..
//..класса

переменной x же можно было присвоить значение value внутри конструктора, зачем было объявлять его через : после заголовка?

Автор: BlackSpace 27.4.2014, 18:05

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

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

Плюс еще для const члена данных не прокатит присваивание. Только инициализация при создании. Также ссылочный тип данных.
Вот пример с const.

Код


#include <iostream>

using namespace std;

class A {
public:
    const int a;

    A() : a( 6 ) {
    }
    
    /*
     A() {
     a = 6; // не прокатит
     }
     */
};

int main() {
    A obj;
    cout << obj.a << endl;
    return 0;
}

Автор: hoz 27.4.2014, 22:11

BlackSpace, я так понимаю данный способ позволяет обойти ограничение того, что константные элементы нельзя изменять в пределах класса. А так ещё до входа в тело конструктора можно инициализировать элемент-данные. Так? А что по поводу большей эффективность для некоторых типов?

Цитата(BlackSpace @ 27.4.2014, 18:05

)

В C++ - при создании объекта все члены данных объекта должны быть созданы до вызова конструктора. Список инициализации позволяет задать начальные данные объекту в момент его создания.

А вот тут не совсем понятно. Тут имеется ввиду данные других классов? Т.е. данные, которые не объявлены в теле класса?

Автор: BlackSpace 27.4.2014, 23:35

hoz, попробую пояснить на примерах.

Пример 1.

Код


#include <iostream>

using namespace std;

class A {
public:
    string str;

    A() : str( "123" ){

    }

};

int main() {

    A obj;
    cout << obj.str << endl;

    return 0;
}

Пример 2

Код


#include <iostream>

using namespace std;

class A {
public:
    string str;

    A() {
        str = "123";
    }

};

int main() {

    A obj;
    cout << obj.str << endl;

    return 0;
}

1) Все члены данных объекта должны быть созданы до вызова конструктора.
2) Если у объекта класса N есть член данных, который является тоже объектом некого класса M, то до вызова конструктора класса N создается объект класса M.
- Но как? С помощью своего конструктора.
- А какие значения членам данных объекта класса M присваиваются? Такие, которые заложены в его соответствующем конструкторе.
3) Так вот список инициализации позволяет в момент создания объекта класса N - инициализировать его члены данных. Т.е. инициализировать в данном случае член класса M.

По примерам выше поясню разницу.
str является объектом класса string.
В примере 1 член данных str инициализируется строкой 123 сразу в момент создания объекта класса A.
В примере 2 член данных str инициализируется сначала своим конструктором по умолчанию, только потом происходит модификация строки, когда в теле конструктора присваивание происходит.

Чувствуете отличие? В первом примере мы не вызывали конструктор по умолчанию для члена данных str, а использовали конструктор класса string с одним аргументом.
Вот тут про эффективность думаю понять можно.

Цитата

я так понимаю данный способ позволяет обойти ограничение того, что константные элементы нельзя изменять в пределах класса

Ничего подобного. Ничего в данном случае не обходится. В классе есть константный член и он не меняется. Его надо как-то инициализировать же при создании объекта класса. Вот в списке инициализации и делается это.

Автор: borisbn 28.4.2014, 09:31

Позволю себе дополнить пример BlackSpace

Код

struct Tracer {
   Tracer(void)
      :m_name("(none)")
   {
      std::cout << "[" << m_name << "]    " << __PRETTY_FUNCTION__ << std::endl;
   }
   Tracer(const std::string & name)
      :m_name(name)
   {
      std::cout << "[" << m_name << "]    " << __PRETTY_FUNCTION__ << std::endl;
   }
   Tracer(const Tracer & other)
      :m_name("from " + other.m_name)
   {
      std::cout << "[" << m_name << "]    " << __PRETTY_FUNCTION__ << std::endl;
   }
   Tracer & operator=(const Tracer & other) {
      m_name = "from " + other.m_name;
      std::cout << "[" << m_name << "]    " << __PRETTY_FUNCTION__ << std::endl;
      return *this;
   }
   ~Tracer() {
      std::cout << "[" << m_name << "]    " << __PRETTY_FUNCTION__ << std::endl;
   }
 
   std::string m_name;
};
 
struct A {
    A() : a( "init. list" ) {}
    Tracer a;
};
 
struct B {
    B() {
        b = Tracer( "c-tor" );
    }
    Tracer b;
};
 
int main() {
    {
        A x;
    }
    cout << "1" << endl;
    {
        B x;
    }
    cout << "2" << endl;
}

Вывод:

Цитата

[init. list]    Tracer::Tracer(const string&)
[init. list]    Tracer::~Tracer()
1
[(none)]    Tracer::Tracer()
[c-tor]    Tracer::Tracer(const string&)
[from c-tor]    Tracer& Tracer::operator=(const Tracer&)
[c-tor]    Tracer::~Tracer()
[from c-tor]    Tracer::~Tracer()
2

Вот - http://ideone.com/X4AvnZ - можешь "поиграться"

Автор: hoz 1.5.2014, 19:11