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

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

Форум программистов > C/C++: Общие вопросы > Не пойму почему не выполняется копирующий кон-

Автор: AlexNor 5.9.2004, 17:18

В этом коде при создании обьекта А в принципе должен выполнятся копирующий конструктор, но почему-то не выполняется. Почему? Из-за оптимизации кода компилятором что-ли?

Код


class A
{
public:
	int x;
	A () { x = 0; std::cout<<"in constructor"<<std::endl;}
	A (const A&) { 
  std::cout<<"in copy constructor"<<std::endl;
  x = 1;
	}
private:
};

int _tmain(int argc, _TCHAR* argv[])
{
	std::cout<<"Object A"<<std::endl;
	A a = A ();
         std::cout<<a.x<<std::endl;
	std::cout<<"Object B"<<std::endl;
	A b = a;
	std::cout<<b.x<<std::endl;
}

У меня выдаёт:
Object A
in constructor
0
Object B
in copy constructor
1

Вроде в строке "A a = A ();" должно происходить создание временного обьекта которым потом при помоща копирующего конструктора должен инициализироваться a. Но этого не происходит.
Где я не прав?

Автор: srd 5.9.2004, 17:31

Нет, в строке "A a = A();" конструктор копирования вызываться не должен. Эта строка эквивалентна строке "A a();" (или "A a;")! При проектировании языка Си++ были приложены усилия для того, чтобы определяемые пользователем типы вели себя, как встроенные. Было бы глупо ожидать, что на строке

Код


int n = 0;

будет создаваться временная переменная, а потом её значение записываться в n.
Кстати, попробуй написать

Код


int n1(0);
int n2();

Автор: AlexNor 5.9.2004, 18:11

srd
ну для int да, я согласен - но ведь это простой тип.
А с классом:
с одной стороны свиду "A a;" и "A a = A()" эквивалентны,
но с другой стороны я всё таки пишу не "A a" а именно "A a = A()".

"При проектировании языка Си++ были приложены усилия для того, чтобы определяемые пользователем типы вели себя, как встроенные." -> тогда ясно почему именно так реализовали.

а почему происходит глюк с n2?

Автор: srd 5.9.2004, 18:21

C n2 нет глюка. Конструктор по умолчанию существует для всех простых типов. Я же говорил, что "были приложены усилия, для того, чтобы определяемые пользователем типы вели себя, как встроенные"

)
Добавлено @ 18:24
Это позволяет писать например так:

Код


template<class T> T *func(void) {return new T();}

Здесь параметром шаблона может быть класс с дефолтным конструктором, а может быть простой тип.

Автор: srd 5.9.2004, 18:36

Код


#include <iostream>

class A
{
public:
    int x;

    A(void)
    {
        x = 0;
    }
};

int main(void)
{
    int *n1 = new int;
    int *n2 = new int();
    A *a1 = new A;
    A *a2 = new A();

    std::cout << "n1 = " << *n1
        << "\nn2 = " << *n2
        << "\na1.x = " << a1->x
        << "\na2.x = " << a2->x;

    delete a2;
    delete a1;
    delete n2;
    delete n1;
    
    return 0;
}

Обрати внимание на вывод этой программы. При создании переменной класса дефолтный конструктор вызывается в любом случае и при первой форме записи и при второй. А для простой целой переменной в первом случае конструктор не вызывается, а во втором - вызывается, и он инициализирует значение переменной. Забавно, да?