и Big_int не так гладко

class Big_int { //... friend Big_int operator+(Big_int,Big_int); //... operator Rational(); //... };

class Rational { //... friend Rational operator+(Rational,Rational); //... operator Big_int(); };

Типы Rational и Big_int не так гладко взаимодействуют, как можно было бы подумать:

void f(Rational r, Big_int i) { //... g(r+i); // ошибка, неоднозначность: // operator+(r,Rational(i)) или // operator+(Big_int(r),i) g(r,Rational(i)); // явное разрешение неопределенности g(Big_int(r),i); // еще одно }

Можно было бы избежать таких "взаимных" преобразований, сделав некоторые из них явными. Например, преобразование Big_int к типу Rational можно было бы задать явно с помощью функции make_Rational() вместо операции преобразования, тогда сложение в приведенном примере разрешалось бы как g(BIg_int(r),i). Если нельзя избежать "взаимных" операций преобразования типов, то нужно преодолевать возникающие столкновения или с помощью явных преобразований (как было показано), или с помощью определения нескольких различных версий бинарной операции (в нашем случае +).

on_load_lecture()

Дальше »

Если Вы заметили ошибку - сообщите нам.

Страницы:

« |

1

|

2

|

3

|

4

|

5

|

6

|

7

|

8

|

9

|

10

|

11

|

вопросы | »

|

учебники

|

для печати и PDA

Содержание Назад Вперед