Компилятор просит указать const в конструкторе

@moskitos80 · Регистрация: 04.10.2011

Студворк — интернет-сервис помощи студентам

Всем привет. Изучаю С++ по Р.Лафоре. В одном из заданий, к главе 8 понадобилось написать класс, представляющий простую дробь, и написать перегруженные операторы: -, +, * и /. Собственно проблем никаких - написал, перегрузил. Решил перегрузить заодно и оператор присваивания, путём указания соответствующего конструктора с одним аргументом того же типа:

C++
1
2
3
4
5
6
... код ...
Fract(Fract fr) : 
    num (fr.getNum()),
    den (fr.getDen())
{}
... код ...

И тут компилятор начинает ругается и намекать : invalid constructor; you probably meant `Fract (const Fract&)' После этого делаю как он просит:

C++
1
2
3
4
5
6
... код ...
Fract(const Fract& fr) : 
    num (fr.getNum()),
    den (fr.getDen())
{}
... код ...

И всё окей... Уважаемые, объясните пожалуйста, что это за правила такие действуют в данной ситуации? Почему здесь требуется указать const и обязательно передать аргумент по ссылке?

Вот листинг программы целиком:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
#include <iostream>
 
using namespace std;
 
////////////////////////////////////////////////////////////////////////////////
// Класс, представляющий простую дробь
 
class Fract {
      private : 
              int num, // числитель
                  den; // знаменатель
      public :
             // Для перегрузки оп-ции "="
             // Fract(Fract fr)       : - Не работает!!!
             // Fract(const Fract fr) : - Тоже не работает!!!
             Fract(const Fract& fr) : 
                     num (fr.getNum()),
                     den (fr.getDen())
             {}
             Fract(int n, int d) : 
                     num (n),
                     den (d)
             {}
             
             // Аксессор для числителя
             int getNum(void) const;
             // Аксессор для знаменателя
             int getDen(void) const;
             // Вывести на консоль значение в виде x/x
             void show(void) const;
             // Сокращение дроби
             Fract lowterms(void);
             
             Fract operator +(const Fract&) const;
             Fract operator -(const Fract&) const;
             Fract operator *(const Fract&) const;
             Fract operator /(const Fract&) const;
             
             bool operator ==(Fract) const;
             bool operator !=(Fract) const;
};
int Fract::getNum(void) const{
    return this->num;
}
int Fract::getDen(void) const{
    return this->den;
}
void Fract::show(void) const {
     cout << this->num << "/" << this->den;  
}
Fract Fract::lowterms(void){
      int div = this->den;
      while (div > 1) {
            // Если числ. и знам. делятся на одно и тоже число без остатка...
            if (this->num % div == 0 && this->den % div == 0) {
                  // Сокращаем:
                  this->num /= div;  
                  div = this->den /= div;   
            }
            div--;
      }
      // Это телодвижение для того, чтобы можно было вызывать этот метод
      // с оператором return в перегруженных операторах:
      // "+", "-", "*", "/" т.е. возвращать уже сокращённую дробь и в 
      // результате возвращать требуемый тип.
      return Fract(this->num, this->den);
}
Fract Fract::operator +(const Fract& fr2) const{
      return Fract(
             (this->num * fr2.getDen() + fr2.getNum() * this->den),
             (this->den * fr2.getDen())
      ).lowterms();
}
Fract Fract::operator -(const Fract& fr2) const{
      return Fract(
             (this->num * fr2.getDen() - fr2.getNum() * this->den),
             (this->den * fr2.getDen())
      ).lowterms();
}
Fract Fract::operator *(const Fract& fr2) const{
      return Fract(
             (this->num * fr2.getNum()),
             (this->den * fr2.getDen())
      ).lowterms(); 
}
Fract Fract::operator /(const Fract& fr2) const{
      return Fract(
             (this->num * fr2.getDen()),
             (this->den * fr2.getNum())
      ).lowterms(); 
}
bool Fract::operator ==(Fract fr2) const{
      Fract fr1(this->num, this->den);
      fr1.lowterms();
      fr2.lowterms();
      return (fr1.getNum() == fr2.getNum() && fr1.getDen() == fr2.getDen());
}
bool Fract::operator !=(Fract fr2) const{
      Fract fr1(this->num, this->den);
      fr1.lowterms();
      fr2.lowterms();
      return (fr1.getNum() == fr2.getNum() && fr1.getDen() != fr2.getDen());      
}
////////////////////////////////////////////////////////////////////////////////
 
int main()
{
   Fract fr1(2,3), 
         fr2(4,6), 
         fr3 = fr1 + fr2; 
         
   fr3.show();
   
   cout << endl;   
   system("PAUSE");
   return EXIT_SUCCESS;
}

@stawerfar · 26.07.2012, 15:01

Ну тут все просто. Во первых "const" не обязателен можешь его убрать и убедиться в этом. А во вторых это такой синтаксис конструктора "копирования"(обрати внимание, а не присвоения).
/*конструктор копирования */
A(A&);
/*оператор присвоения*/
A& operator = (A&);

Добавлено через 3 минуты
На примере

A a(1);
B b(a); /*вызываем конструктора копирования*/
C c;
c = a; /*вызываем оператор присвоения*/

@moskitos80 · 26.07.2012, 15:58 **[ТС]**

Сообщение от stawerfar

А во вторых это такой синтаксис конструктора "копирования"

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

Jupiter · 26.07.2012, 16:10

moskitos80,

Сообщение от moskitos80

И почему так происходит?

параметры передающиеся по значению копируются, а если бы конструктор копирования принимал не ссылку, а значение, была бы рекурсия

@moskitos80 · 26.07.2012, 16:14 **[ТС]**

Я так понимаю, что пусть не явно, но объекты в С++ передаются в методы и ф-ции по ссылке, как и массивы?

@Schizorb · 26.07.2012, 16:23

moskitos80, нет, объекты передаются по значению. В функции создаётся локальная копия объекта, как раз для этого и вызывается конструктор копирования.

@moskitos80 · 26.07.2012, 16:43 **[ТС]**

Сообщение от Schizorb

moskitos80, нет, объекты передаются по значению. В функции создаётся локальная копия объекта, как раз для этого и вызывается конструктор копирования.

Т.е. получается, что если мы передаём в конструктор один объект ( в данном случае того же класса), то этот конструктор становится "конструктором копирования". И что бы создать локальную копию передаваемого объекта ему нужно вызвать "конструктор копирования" класса передаваемого объекта и передать этот самый объект в качестве аргумента, что бы вызвать конструктор копирования класса передаваемого объекта и передать этот самый объект в качестве аргумента ... да - уходим в рекурсию! А если передавать по ссылке, то локальная копия не создаётся! Кажется теперь я начинаю понимать что имел ввиду Jupiter Блин, это ж мозги свернёшь

alsav22 · 26.07.2012, 17:01

Сообщение от moskitos80

Я так понимаю, что пусть не явно, но объекты в С++ передаются в методы и ф-ции по ссылке, как и массивы?

Массивы разве по ссылке? Хотя может и по ссылке, но имя массива преобразуется в указатель на начало массива. Объекты можно передавать, как и встроенные типы данных, по разному. Просто есть методы, к которым относится и конструктор копирования, которым объекты нужно передавать определённым образом.

Добавлено через 4 минуты

Сообщение от moskitos80

в данном случае того же класса

Только того же класса. Конструктор копирования класса копирует только объекты своего класса.

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

@moskitos80 · 26.07.2012, 17:15 **[ТС]**

Спасибо ребят большое - я вроде допетрил.

alsav22 · 26.07.2012, 17:29

moskitos80, в вашем коде явный конструктор копирования не нужен. Копирование полей num и den(поверхностное копирование) правильно сделал бы и конструктор копирования по умолчанию. Явный конструктор копирования нужен, например, в случае, если в полях класса присутствуют указатели, и тогда нужно выполнить, так называемое, глубокое копирование.

@moskitos80 · 26.07.2012, 18:07 **[ТС]**

Сообщение от alsav22

в вашем коде явный конструктор копирования не нужен

И тут вы правы, если убрать собственный конструктор, то всё работает на ура. Тут возникает вопрос (Да простят меня модераторы) вот упрощённый листинг того же кода:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
#include <iostream>
 
using namespace std;
 
////////////////////////////////////////////////////////////////////////////////
 
class Fract {
      private : 
              int num, // числитель
                  den; // знаменатель
      public :
             Fract(Fract& fr) : 
                     num (fr.getNum()),
                     den (fr.getDen())
             {}
             Fract(int n, int d) : 
                     num (n),
                     den (d)
             {}
             int getNum(void);
             int getDen(void);
             Fract Fract::lowterms(void);
};
 
int Fract::getNum(void){
    return this->num;
}
int Fract::getDen(void){
    return this->den;
}
Fract Fract::lowterms(void){
      // ... 
      return Fract(this->num, this->den); // здесь компилятор выдает ошибку
}
 
////////////////////////////////////////////////////////////////////////////////
 
int main()
{
   Fract fr1(5,8), fr2(fr1);
   
   cout << endl;   
   system("PAUSE");
   return EXIT_SUCCESS;
}

Я обозначил место, где появляется ошибка... довольно непонятная (убрано путь к файлу и номера строк):

In member function `Fract Fract::lowterms()':
no matching function for call to `Fract::Fract(Fract)'
candidates are: Fract::Fract(Fract&)

Но как это не найдено !? Если у меня явно в коде определен конструктор с соответствующей сигнатурой:

C++
1
2
3
4
5
6
... код ...
Fract(Fract& fr) : 
     num (fr.getNum()),
     den (fr.getDen())
{}
... код ...

А если этот конструктор убрать то всё работает нормально. Здесь то что не так?

@Schizorb · 26.07.2012, 18:47

Допустим, так получится

C++
1
2
3
4
5
6
Fract Fract::lowterms(void)
{
    //...
    Fract temp(this->num, this->den);
    return temp;
}

А временный безымянный объект не получается преобразовать в ссылку (Fract во Fract&), отсюда и ошибка. Честно, не до конца понимаю почему так, буду рад если кто-то пояснит, в чем суть такого безымянного объекта. Вот тут тоже ошибка... пишет, что это rhs, и ссылку им инициализировать нельзя.

C++
1
Fract & ref = Fract(this->num, this->den);

Зато можно константную ссылку:

C++
1
const Fract & ref = Fract(this->num, this->den);

С учётом этого, можно переписать код так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#include <iostream>
 
using namespace std;
 
////////////////////////////////////////////////////////////////////////////////
 
class Fract {
      private : 
              int num, // числитель
                  den; // знаменатель
      public :
             Fract(const Fract& fr) : // конструктор принимает константную ссылку
                     num (fr.getNum()),
                     den (fr.getDen())
             {}
             Fract(int n, int d) : 
                     num (n),
                     den (d)
             {}
             
             Fract(){};
             int getNum(void) const;
             int getDen(void) const;
             Fract lowterms(void);
};
 
int Fract::getNum(void) const{
    return this->num;
}
int Fract::getDen(void) const{
    return this->den;
}
Fract Fract::lowterms(void){
    // ... 
 
    return Fract(this->num, this->den);
}
 
////////////////////////////////////////////////////////////////////////////////
 
int main()
{
   Fract fr1(5,8), fr2(fr1);
   
   cout << endl;   
 
}

@moskitos80 · 26.07.2012, 19:07 **[ТС]**

Сообщение от Schizorb

Зато можно константную ссылку:

C++
1
const Fract & ref = Fract(this->num, this->den);

Ага - и получается, что мы кругом "обрастаем" квалификаторами "const"... Собственно из-за этого тема и поднималась: "Компилятор просит указать const ... " Похоже мы "копаем" всё глубже и глубже

Кстати, то что временный, безымянный объект не получается преобразовать в ссылку - это по-человечески понятно (за это тоже спасибо - сам бы хрен догадался

) : к ссылке нужно через что-то обращаться, а в случае безымянного объекта - обращаться не через чего. Ну, это ладно, вопрос в другом ( теперь

) почему тогда "const" - работает? Ведь тут-то мы и приходим к:

C++
1
2
3
4
Fract(const Fract& fr) : // конструктор принимает константную ссылку
  num (fr.getNum()),
  den (fr.getDen())
{}

Чем больше я узнаю - тем больше понимаю, как мало я понимаю...

@Schizorb · 26.07.2012, 19:26

Сообщение от moskitos80

Кстати, то что временный, безымянный объект не получается преобразовать в ссылку - это по-человечески понятно

Ну, вот здесь же по сути, объект temp тоже временный, после выхода из функции он уничтожается.

C++
1
2
3
4
5
6
Fract Fract::lowterms(void)
{
    //...
    Fract temp(this->num, this->den);
    return temp;
}

Но для того, чтобы функция вернула результат, он передаётся в конструктор копирования, по ссылке. И для него const не нужен. А чем безымянный объект "хуже" него, я не могу понять.

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

@moskitos80 · 26.07.2012, 21:06 **[ТС]**

Сообщение от Schizorb

Ну, вот здесь же по сути, объект temp тоже временный, после выхода из функции он уничтожается.

- Вот! Вот этого я понять и не мог! Спасибо Schizorb А по поводу const - всё равно как-то туманно: почему нельзя изменять объект-аргумент в конструкторе копирования?

Сообщение от Schizorb

Поэтому тут можно обезопасить себя от потенциальных ошибок с помощью const

- Получается, что не "можно", а нужно! - Компилятор требует этого! Блин, где бы почитать про подобные фичи языка...

А вообще всплывает закономерный вопрос: стоит ли изучать язык С++ не имея высшего образования! Здесь есть люди программирующие на С++ без вышки? Или я один пытаюсь выше головы прыгнуть?

@nameless · 26.07.2012, 22:33

Сообщение от moskitos80

Получается, что не "можно", а нужно! - Компилятор требует этого!

Стандартом не запрещено объявление копирующего конструктора, принимающего неконстантную ссылку. Если только инициализирующий объект не объявлен как const / volatile.

(12.8)Note: If a class X only has a copy constructor with a parameter of type X&, an initializer of type const X
or volatile X cannot initialize an object of type (possibly cv-qualified) X.

Т.е.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
class X {
    X();
    X(X&);
}; 
 
 
X cx;
X x = cx; // OK
 
 
 
const X cx;
X x = cx; // Error

Сообщение от moskitos80

Блин, где бы почитать про подобные фичи языка...

http://open-std.org/jtc1/sc22/... /n3376.pdf

Добавлено через 55 минут

Сообщение от moskitos80

стоит ли изучать язык С++ не имея высшего образования

Стоит. В российских вузах программирование дают посредственно. Тут самообучение выходит на первый план.

@moskitos80 · 27.07.2012, 10:19 **[ТС]**

Сообщение от nameless

Стоит. В российских вузах программирование дают посредственно.

Спасибо, а то я уже начал отчаиваться. Надеюсь всё-таки осилю.

Ведь в своё время - 3 года назад, когда начинал изучать php для меня массивы были чем то страшным и непонятным, циклы - вообще ужас

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

Теперь понимаешь, что реализация - это вообще не проблема, а вот грамотно построить архитектуру это да... В общем, конечно всё по началу пугает... но мне кажется С++ как то особенно

здесь не то что архитектура... блин простые вещи сделать - мозгов не хватает

Добавлено через 11 часов 11 минут
Нашёл ответы на свои вопросы здесь: http://ru.wikipedia.org/wiki/%... %B8%D0%B5)

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

Конструктор, аргументом которого является ссылка на объект того же класса. Применяется в C++ для передачи объектов в функции по значению.
Конструктор копирования в основном необходим, когда объект имеет указатели на объекты выделенные в куче. Если программист не создаёт конструктор копирования, то компилятор создаст неявный конструктор копирования, который копирует указатели как есть, то есть фактическое копирование данных не происходит и два объекта ссылаются на одни и те же данные в куче. Соответственно попытка изменения «копии» повредит оригинал (!), а вызов деструктора для одного из этих объектов при последующем использовании другого приведёт к обращению в область памяти, уже не принадлежащую программе.
Аргумент должен передаваться именно по ссылке, а не по значению. Это вытекает из коллизии: при передаче объекта по значению (в частности, для вызова конструктора) требуется скопировать объект. Но для того, чтобы скопировать объект, необходимо вызвать конструктор копирования.

Тут ответы и почему по ссылке, и почему const

Похоже тему можно закрывать.

@Schizorb · 27.07.2012, 11:05

Сообщение от moskitos80

Соответственно попытка изменения «копии» повредит оригинал (!)

Здесь речь не о const. А о том, что неявный конструктор копирования просто создаст копии всех переменных, в том числе и указателей. В итоге объекты будут содержать указатели на одну и ту же область памяти. Поэтому изменения в одном объекте будут отражаться на других. От этого const не спасёт. Вот пример, как делать нельзя:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
class SimpleClass
{
public:
    // ...
    
    SimpleClass(const SimpleClass & rhs)
    {
        ptr = rhs.ptr; // в переменную ptr записывается адрес, содержащийся в rhs.ptr
        // теперь и ptr и rhs.ptr ссылаются на одну и ту же область памяти
    }
    
private:
    // ...
    int * ptr;
};

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

@moskitos80 · 27.07.2012, 11:26 **[ТС]**

Получается, что конечно изменить SimpleClass::rhs мы не сможем внутри конструктора, но скопировав некий адрес из rhs в ptr мы потенциально имеем возможность менять данные, которые содержит rhs - это что получается, что мы обходим const в сигнатуре конструктора? Или я опять всё не так понял?

alsav22 · 27.07.2012, 12:30

Тут о другом разговор. Если конструктор принимает константную ссылку на объект, это не значит, что сами данные этого объекта константны. Это только значит, что сам конструктор через эту ссылку не может менять объект. Я написал, что в вашем коде достаточно неявного констуктора копирования, который выполняет поверхностное копирование, т.е. просто копирует значения переменных одного объекта в другой. Проблема возникает с указателями, инициализированными оператором new. При поверхностном копировании, создаются копии указателей (адресов, которые они содержат), а не того, на что они указывают. Поэтому получается несколько объектов, с указателями, которые указывают на одну и ту же область памяти. Получаются, как бы, общие данные. Один объект, через указатели, меняет содержимое этой памяти, а другие объекты, и не знают об этом. При удалении одного объекта эта память освобождается. При удалении других, котрые содержат указатели на эту же память, делается попытка освободить уже свободную память, что приводит к ошибке. Поэтому, в этих случаях, задаётся явный конструктор копирования, который выполняет глубокое копирование, т.е. он копирует не указатели, а то, на что они указывают. После этого, у каждого объекта, указатели будут указывать на свою область памяти, со своими данными.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .

@stawerfar 150 / 64 / 8 Регистрация: 14.12.2010 Сообщений: 347 Записей в блоге: 1
	26.07.2012, 15:01
	Ну тут все просто. Во первых "const" не обязателен можешь его убрать и убедиться в этом. А во вторых это такой синтаксис конструктора "копирования"(обрати внимание, а не присвоения). /конструктор копирования / A(A&); /оператор присвоения/ A& operator = (A&); Добавлено через 3 минуты На примере A a(1); B b(a); /вызываем конструктора копирования/ C c; c = a; /вызываем оператор присвоения/ 2

@moskitos80 442 / 99 / 42 Регистрация: 04.10.2011 Сообщений: 359
	26.07.2012, 16:14 [ТС]
	Я так понимаю, что пусть не явно, но объекты в С++ передаются в методы и ф-ции по ссылке, как и массивы? 0

@Schizorb 512 / 464 / 81 Регистрация: 07.04.2012 Сообщений: 869 Записей в блоге: 1
	26.07.2012, 16:23
	moskitos80, нет, объекты передаются по значению. В функции создаётся локальная копия объекта, как раз для этого и вызывается конструктор копирования. 0

@moskitos80 442 / 99 / 42 Регистрация: 04.10.2011 Сообщений: 359
	26.07.2012, 17:15 [ТС]
	Спасибо ребят большое - я вроде допетрил. 0

alsav22 5500 / 4895 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	26.07.2012, 17:29
	moskitos80, в вашем коде явный конструктор копирования не нужен. Копирование полей num и den(поверхностное копирование) правильно сделал бы и конструктор копирования по умолчанию. Явный конструктор копирования нужен, например, в случае, если в полях класса присутствуют указатели, и тогда нужно выполнить, так называемое, глубокое копирование. 0

@moskitos80 442 / 99 / 42 Регистрация: 04.10.2011 Сообщений: 359
	27.07.2012, 11:26 [ТС]
	Получается, что конечно изменить SimpleClass::rhs мы не сможем внутри конструктора, но скопировав некий адрес из rhs в ptr мы потенциально имеем возможность менять данные, которые содержит rhs - это что получается, что мы обходим const в сигнатуре конструктора? Или я опять всё не так понял? 0

alsav22 5500 / 4895 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	27.07.2012, 12:30
	Тут о другом разговор. Если конструктор принимает константную ссылку на объект, это не значит, что сами данные этого объекта константны. Это только значит, что сам конструктор через эту ссылку не может менять объект. Я написал, что в вашем коде достаточно неявного констуктора копирования, который выполняет поверхностное копирование, т.е. просто копирует значения переменных одного объекта в другой. Проблема возникает с указателями, инициализированными оператором new. При поверхностном копировании, создаются копии указателей (адресов, которые они содержат), а не того, на что они указывают. Поэтому получается несколько объектов, с указателями, которые указывают на одну и ту же область памяти. Получаются, как бы, общие данные. Один объект, через указатели, меняет содержимое этой памяти, а другие объекты, и не знают об этом. При удалении одного объекта эта память освобождается. При удалении других, котрые содержат указатели на эту же память, делается попытка освободить уже свободную память, что приводит к ошибке. Поэтому, в этих случаях, задаётся явный конструктор копирования, который выполняет глубокое копирование, т.е. он копирует не указатели, а то, на что они указывают. После этого, у каждого объекта, указатели будут указывать на свою область памяти, со своими данными. 0