Форум программистов, компьютерный форум, киберфорум
Наши страницы

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
 
Рейтинг: Рейтинг темы: голосов - 14, средняя оценка - 4.79
moskitos80
63 / 63 / 10
Регистрация: 04.10.2011
Сообщений: 221
Завершенные тесты: 1
#1

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

26.07.2012, 14:48. Просмотров 2016. Ответов 33
Метки нет (Все метки)

Всем привет. Изучаю С++ по Р.Лафоре. В одном из заданий, к главе 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;
}
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
26.07.2012, 14:48
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Компилятор просит указать const в конструкторе (C++):

Что значит const в конструкторе класса? - C++
Здравствуйте, не понимаю что значит const в конструкторе класса. Встречался с const только когда он работал с переменными. Или это значит...

int const * const foo(const int* param) const - разъясните значение квалификаторов - C++
int const * const foo(const int* param) const -----1------2----------3----------------4 1: ? 2: делает содержимое массива или...

Как компилятор обрабатывает член класса static constexpr const char* - C++
Привет! Наткнулся на непонятный момент class Foo { public: static constexpr const char* PTR = &quot;value&quot;; }; без...

Ошибка в конструкторе с параметром. Компилятор не ругается, но при запуске программы возникает ошибка - C++
Я знаю точно, что ошибка в конструкторе с параметром. Компилятор не ругается, но при запуске моей программы windows выдает ошибку. Почему ?...

char operator[](unsigned short offset) const; // что означает const? - C++
Собстенно вопрос уже озвучен :).

Что это bool operator== (const CLASS&) const; - C++
Что это? class CLASS { public: bool operator== (const CLASS&amp;) const; ...

33
stawerfar
141 / 55 / 4
Регистрация: 14.12.2010
Сообщений: 347
Записей в блоге: 1
26.07.2012, 15:01 #2
Ну тут все просто. Во первых "const" не обязателен можешь его убрать и убедиться в этом. А во вторых это такой синтаксис конструктора "копирования"(обрати внимание, а не присвоения).
/*конструктор копирования */
A(A&);
/*оператор присвоения*/
A& operator = (A&);

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

A a(1);
B b(a); /*вызываем конструктора копирования*/
C c;
c = a; /*вызываем оператор присвоения*/
2
moskitos80
63 / 63 / 10
Регистрация: 04.10.2011
Сообщений: 221
Завершенные тесты: 1
26.07.2012, 15:58  [ТС] #3
Цитата Сообщение от stawerfar Посмотреть сообщение
А во вторых это такой синтаксис конструктора "копирования"
Т.е. вы хотите сказать, что в конструкторах копирования (те, что с одним аргументом) я всегда должен передавать аргументы по ссылке? Или это действует только, когда я передаю аргумент - объект? Или когда передаю объект того же класса? И почему так происходит?
0
Jupiter
Каратель
Эксперт С++
6568 / 3989 / 227
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
26.07.2012, 16:10 #4
moskitos80,
Цитата Сообщение от moskitos80 Посмотреть сообщение
И почему так происходит?
параметры передающиеся по значению копируются, а если бы конструктор копирования принимал не ссылку, а значение, была бы рекурсия
2
moskitos80
63 / 63 / 10
Регистрация: 04.10.2011
Сообщений: 221
Завершенные тесты: 1
26.07.2012, 16:14  [ТС] #5
Я так понимаю, что пусть не явно, но объекты в С++ передаются в методы и ф-ции по ссылке, как и массивы?
0
Schizorb
510 / 462 / 16
Регистрация: 07.04.2012
Сообщений: 869
Записей в блоге: 1
Завершенные тесты: 1
26.07.2012, 16:23 #6
moskitos80, нет, объекты передаются по значению. В функции создаётся локальная копия объекта, как раз для этого и вызывается конструктор копирования.
0
moskitos80
63 / 63 / 10
Регистрация: 04.10.2011
Сообщений: 221
Завершенные тесты: 1
26.07.2012, 16:43  [ТС] #7
Цитата Сообщение от Schizorb Посмотреть сообщение
moskitos80, нет, объекты передаются по значению. В функции создаётся локальная копия объекта, как раз для этого и вызывается конструктор копирования.
Т.е. получается, что если мы передаём в конструктор один объект ( в данном случае того же класса), то этот конструктор становится "конструктором копирования". И что бы создать локальную копию передаваемого объекта ему нужно вызвать "конструктор копирования" класса передаваемого объекта и передать этот самый объект в качестве аргумента, что бы вызвать конструктор копирования класса передаваемого объекта и передать этот самый объект в качестве аргумента ... да - уходим в рекурсию! А если передавать по ссылке, то локальная копия не создаётся! Кажется теперь я начинаю понимать что имел ввиду Jupiter Блин, это ж мозги свернёшь
0
alsav22
5436 / 4831 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
26.07.2012, 17:01 #8
Цитата Сообщение от moskitos80 Посмотреть сообщение
Я так понимаю, что пусть не явно, но объекты в С++ передаются в методы и ф-ции по ссылке, как и массивы?
Массивы разве по ссылке? Хотя может и по ссылке, но имя массива преобразуется в указатель на начало массива. Объекты можно передавать, как и встроенные типы данных, по разному. Просто есть методы, к которым относится и конструктор копирования, которым объекты нужно передавать определённым образом.

Добавлено через 4 минуты
Цитата Сообщение от moskitos80 Посмотреть сообщение
в данном случае того же класса
Только того же класса. Конструктор копирования класса копирует только объекты своего класса.

Добавлено через 10 минут
Конструктор копирования вызывается всякий раз, когда создаётся новый объект, и инициализируется существующим объектом такого же типа. Когда генерируются копии объекта, например, когда в функцию объект передаётся по значению или функция возвращает объект. Когда нужны временные объекты, например, для хранения промежуточных результатов вычислений.
1
moskitos80
63 / 63 / 10
Регистрация: 04.10.2011
Сообщений: 221
Завершенные тесты: 1
26.07.2012, 17:15  [ТС] #9
Спасибо ребят большое - я вроде допетрил.
0
alsav22
5436 / 4831 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
26.07.2012, 17:29 #10
moskitos80, в вашем коде явный конструктор копирования не нужен. Копирование полей num и den(поверхностное копирование) правильно сделал бы и конструктор копирования по умолчанию. Явный конструктор копирования нужен, например, в случае, если в полях класса присутствуют указатели, и тогда нужно выполнить, так называемое, глубокое копирование.
0
moskitos80
63 / 63 / 10
Регистрация: 04.10.2011
Сообщений: 221
Завершенные тесты: 1
26.07.2012, 18:07  [ТС] #11
Цитата Сообщение от 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())
{}
... код ...
А если этот конструктор убрать то всё работает нормально. Здесь то что не так?
0
Schizorb
510 / 462 / 16
Регистрация: 07.04.2012
Сообщений: 869
Записей в блоге: 1
Завершенные тесты: 1
26.07.2012, 18:47 #12
Допустим, так получится
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;   
 
}
0
moskitos80
63 / 63 / 10
Регистрация: 04.10.2011
Сообщений: 221
Завершенные тесты: 1
26.07.2012, 19:07  [ТС] #13
Цитата Сообщение от 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())
{}


Чем больше я узнаю - тем больше понимаю, как мало я понимаю...
0
Schizorb
510 / 462 / 16
Регистрация: 07.04.2012
Сообщений: 869
Записей в блоге: 1
Завершенные тесты: 1
26.07.2012, 19:26 #14
Цитата Сообщение от moskitos80 Посмотреть сообщение
Кстати, то что временный, безымянный объект не получается преобразовать в ссылку - это по-человечески понятно
Ну, вот здесь же по сути, объект temp тоже временный, после выхода из функции он уничтожается.
C++
1
2
3
4
5
6
Fract Fract::lowterms(void)
{
    //...
    Fract temp(this->num, this->den);
    return temp;
}
Но для того, чтобы функция вернула результат, он передаётся в конструктор копирования, по ссылке. И для него const не нужен. А чем безымянный объект "хуже" него, я не могу понять.

По поводу const, по идее его надо использовать везде, где не предполагается изменение данных. Конструктор копирования принимает ссылку на объект, из которого будет произведено копирование. Ясно, что этот объект изменять внутри функции ни в коем случае нельзя. Поэтому тут можно обезопасить себя от потенциальных ошибок с помощью const.
1
moskitos80
63 / 63 / 10
Регистрация: 04.10.2011
Сообщений: 221
Завершенные тесты: 1
26.07.2012, 21:06  [ТС] #15
Цитата Сообщение от Schizorb Посмотреть сообщение
Ну, вот здесь же по сути, объект temp тоже временный, после выхода из функции он уничтожается.
- Вот! Вот этого я понять и не мог! Спасибо Schizorb А по поводу const - всё равно как-то туманно: почему нельзя изменять объект-аргумент в конструкторе копирования?
Цитата Сообщение от Schizorb Посмотреть сообщение
Поэтому тут можно обезопасить себя от потенциальных ошибок с помощью const
- Получается, что не "можно", а нужно! - Компилятор требует этого! Блин, где бы почитать про подобные фичи языка...

А вообще всплывает закономерный вопрос: стоит ли изучать язык С++ не имея высшего образования! Здесь есть люди программирующие на С++ без вышки? Или я один пытаюсь выше головы прыгнуть?
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
26.07.2012, 21:06
Привет! Вот еще темы с ответами:

Const в параметрах. Перед чем нужно употребить const дабы обезопасить данные от изменения - C++
const int Counter(const TSNum *Start) { int c=0; while(Start!=NULL){Start=Start-&gt;next;} return c; } Функция...

Ошибка: Cannot convert 'char const[18]' to 'const wchar_t *' - C++
Unit1.cpp(59): E2034 Cannot convert 'char const' to 'const wchar_t *' Full parser context Unit1.cpp(55): parsing: void _fastcall...

Модификатор const для параметра функции не const? - C++
void foo(const int N) { int Arr; //&lt;-- ??? } В clang это работает. В VisualStudio 2015 нет.

const& и const* в имени функции - C++
Объясните пожалуйста что значит const&amp; и const* в имени и параметрах функции(пример из Вандевурд,Джосаттис): template &lt;typename T&gt; ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
15
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru