Является ли "operator+" lvalue?

[AJlekceu]

Уважаемые форумчане! В процессе активного экспериментирования в среде Borland C++ Builder (6.0) заступорился на следующей вещи.
Есть библиотечный класс AnsiString, у него есть метод "operator+", его прототип таков:

AnsiString __fastcall operator +(const AnsiString&) const

Совершенно непонятным для меня является нижеизложенный факт.
Есть фрагмент кода:

AnsiString s1, s2;
s1 + s2 = "OLOLO";

Данный код не делает ничего полезного, и это не важно.
Ошибка "Lvalue required" не выскакивает, программа компилится! Словно прототип выглядит так:

AnsiString& __fastcall operator +(const AnsiString&) const

Но он не выглядит так. Так в чём же дело?
Можно было бы мне, конечно, отследить ход работы процессора, но я не являюсь большим спецом по ассемблеру

[Smitt&Wesson]

Совершенно верно. Никакой ошибки не будет так-как operanor+, это перегруженный оператор. В данном случае он выполняет функцию не сложения (т.е. буквы строк не складываются между собой, как бы в столбик), а канкотенации, т.е. слияния строк. Если в функцию добавить знак амперсанда, то будет происходить сложение в столбик. причём сложение будет не арифметическим, а логическим.

[AJlekceu]

Ясно, что конкатенации =) Я не перегружал оператор+, и поэтому, как я думал, должен происходить вызов библиотечного метода

AnsiString __fastcall AnsiString::operator+(const AnsiString&) const

Этот метод должен вернуть значение (а не ссылку) результата конкатенации s1 и s2. В результате слева от знака "=" окажется значение, а не переменная (или ссылка), что должно привести к ошибке "Lvalue required" (это все равно, что написать

int i;
100500 = i;

)
И, как ни странно, никакой ошибки с++ не выдаёт.

[Smitt&Wesson]

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

Ясно, что конкатенации =) Я не перегружал оператор+, и поэтому, как я думал, должен происходить вызов библиотечного метода

Это не вы его перегружаете, а сам оператор является перегруженным, т.е. иными словами переопределённым самой функцией. Это значит, что значение знака "+" понимается не в общепринятом понимании.
Когда вы обращаетесь к библиотеке, производя операцию A + B (AnsiString), автоматически вызывается operator+ и всё происходит само собой.

[Гром]

А что такого в том, что объект возвращается не по ссылке?

s1 + s2 = "OLOLO";

Результат s1 + s2 есть временный объект типа AnsiString, который вполне себе является lvalue. Другое дело, что этот временный объект потом нигде не используется.
Попробуйте, например, на событие кнопки кинуть такой код:

void __fastcall TForm1::Button1Click(TObject *Sender)
{
AnsiString s1, s2, s3;
s2 = "!";
s3 = "+";
s1 = (s2 + s3 = "^_^");
Form1 -> Caption = s1;
}

[AJlekceu]

Гром, в этом и дело! =) Значит, это что-то временное. Но почему тогда я сам, когда напишу

class TA {
   int o;
   TA& operator= (TA op2);
   TA operator+ (TA op2);
};

TA& TA::operator= (TA op2) {
   o = op2.o * 100500;
   return *this;
}

TA TA::operator+ (TA op2) {
   TA ret;
   ret.o = o + op2.o + 100;
   return ret;
}

...

   TA c1, c2, c3;
   c1 + c2 = c3;

выдаётся ошибка "Lvalue required"?

[AJlekceu]

Упс, прошу прощения, никакой ошибки нет)

[still_alive]

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

Этот метод должен вернуть значение (а не ссылку) результата конкатенации s1 и s2. В результате слева от знака "=" окажется значение, а не переменная (или ссылка), что должно привести к ошибке "Lvalue required"

Не должно.

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

(это все равно, что написать

А вот как раз далеко не все равно.

Сообщение от Гром

Результат s1 + s2 есть временный объект типа AnsiString, который вполне себе является lvalue.

Не является. Это rvalue.

Автор, в С++ lvalue это не просто "та штука, которая может стоять слева от оператора присваивания". Советую все-таки поглядывать в стандарт - там ясно написано, что для rvalue-классов можно вызывать функции-члены, поэтому некоторые rvalue вполне могут находиться слева от =.

Сообщение от C++03

Every expression is either an lvalue or an rvalue. An lvalue refers to an object or function. Some rvalue expressions—those of class or cv-qualified class type—also refer to objects.
Expressions such as invocations of constructors and of functions that return a class type refer to objects, and the implementation can invoke a member function upon such objects, but the expressions are not lvalues.