3
#include <iostream>
using namespace std;

class three_d {
    int x, y, z;
public:
    three_d(int a, int b, int c) {x=a; y=b, z=c; }
    three_d operator+(three_d op2);
    friend ostream &operator<<(ostream &stream, three_d &obj);
    operator int() {return x*y*z;}
};
ostream &operator<< (ostream &stream, three_d &obj)
{
    stream << obj.x << ", ";
    stream << obj.y << ", ";
    stream << obj.z << endl;
    return stream;
}
three_d three_d::operator+ (three_d op2)
{
    x+=op2.x;
    y+=op2.y; 
    z+=op2.z; 
    return *this;
}

int main()
{
    three_d a(1, 2, 3), b(2, 3, 4);
    cout << a << b;
    cout << b+100 << endl; //31 line
    cout << a+b << endl; // 32
    system("pause");
    return 0;
}

В 31 строчке объект b приводится к int, потому что справа значение int, но зачем в 32 строчке привидении работает после того как выполнился operator+? Ведь тут два объекта с обоих сторон, почему тогда вызывается функция преобразования или как оно там называется, да ещё и в конце?

3
  • 2
    @mzarb: Ну, const распространяется только на аргумент, так что вне функции он никак не подействует. Кроме того, компилятор сам ничего не делает, он лишь следует вашим указаниям, которые он понимает в соответствии со стандартом. (Так что это не он присваивает, это вы.)
    – VladD
    11 мар 2013 в 18:08
  • @VladD, то есть возвращаемое значение не относится к области видимости функции и когда будет выход из функции, то временный объект не будет освобождаться или уничтожатся, так как он уже не часть функции, после того как его передали? К примеру в этом коде [ideone.com/v5BT6R][1] временный объект возвращается по ссылке и при выводе какие-то странные значения, так как все данные видимо разрушились вместе со стеком. [1]: ideone.com/v5BT6R
    – mzarb
    12 мар 2013 в 11:30
  • 1
    @mzarb: Угу, так и есть: возвращается ссылка на объект в стеке, который, понятно, сразу же умирает после того, как функция отработает. Вот такой вариант более правильный: ideone.com/iTkjmB --- Ещё более правильный вариант: ideone.com/lbD7Y9
    – VladD
    12 мар 2013 в 11:42

1 ответ 1

8

Проблема в том, что ваш объект суммы не lvalue. Для него нужно const:

friend ostream &operator<<(ostream &stream, const three_d &obj);

Без const cout << a+b трактуется не как

operator<<(cout, a+b) // ostream &stream, three_d &obj

а как

operator<<(cout, (int)(a+b)) // ostream &stream, const int& i

Объект, не являющийся lvalue, не может быть использован с не-const-ссылкой.


Смотрите, что происходит.

Компилятор пытается понять, что же ему вызывать для выражения cout << a + b.

Поскольку a + b -- не lvalue, то ostream &operator<< (ostream &stream, three_d &obj) отпадает. Раз так, компилятор смотрит, как он может преобразовать аргументы, чтобы другие функции подошли.

Компилятор пробует известные ему операторы <<. Когда он пробует ostream &operator<< (ostream &stream, const int &i), он видит, что можно использовать этот оператор, если преобразовать второй аргумент в int. Поскольку вы предоставили преобразование, этот вариант проходит.


Отдельно от темы: ваш оператор сложения -- ужас! Вы модифицируете первое слагаемое!

Представьте себе, если бы сложение чисел вело себя так:

int a = 5;
int b = 7;
int c = a + b;
// здесь внезапно a == 12

Ваш код ведёт себя именно так.

Вот как надо:

three_d three_d::operator+ (three_d op2)
{
    return three_d(x + op2.x, y + op2.y, z + op2.z);
}
10
  • 1
    Отличный разбор. И вопрос хорош. Наглядная демонстрация того ужаса, которым является С++.
    – avp
    7 мар 2013 в 18:52
  • 1
    @VladD, а ноги-то (IMHO, конечно) растут из "благого" желания переопределения операций. Вот в Java, например, этого нет, и язык реально проще.
    – avp
    7 мар 2013 в 19:03
  • 1
    @avp: и ещё, как мне кажется, из лозунга "вы не платите за то, чего не просили" -- что выливается в чрезмерно общую функциональность (современные компиляторы всё ещё не умеют оптимизировать STL так, как это можно было бы сделать вручную, не говоря уже про boost).
    – VladD
    7 мар 2013 в 19:11
  • 1
    @mzarb: Нет, что вы, никаких копий не создаётся. Идея вот в чём (если я правильно понимаю). Давайте посмотрим на такой упрощённый код: void Change(int& x) { x += 1; } void Print(const int& x) { cout << x; } Change(2 + 3); Print(2 + 3); Вызов Change(2 + 3); лишён смысла, потому что в отсутствие const значение выражения может быть изменено, и нет никакой возможности увидеть результат этого изменения. Поэтому такой код, судя по всему, ошибочен. Вот стандарт и решил не пропускать такой код. ...
    – VladD
    10 мар 2013 в 17:43
  • 1
    @mzarb: ... Вызов Print(2 + 3);, напротив, вполне нормален: вы обещаете не менять значение, т. к. аргумент Print -- const. То есть логической ошибки нету. Если бы мы написали int x = 2 + 3; Change(x); -- это снова-таки нормально, потому что теперь аргумент -- lvalue, его можно проверить после изменения.
    – VladD
    10 мар 2013 в 17:44

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.