Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > Игра в С++

Автор: Fazil6 13.7.2007, 19:01

имеем код

Код


const std::string & CheckMaximum(const std::string &x, const std::string &y)
{
// выбор более длиной строки
    if(x.length() > y.length()) return x;

    return y;
}

.........

const std::string a("0");
const std::string &s = CheckMaximum(a, "rrrrrrrrrrrrrr, I am Lion. rrrrrrrr");
const std::string s2 = CheckMaximum(a, s);
std::cout << s2;

Как Вы думаете, что выведется на экран? Кто что вообще думает о том, что тут написано?

Автор: archimed7592 13.7.2007, 19:11

Цитата(Fazil6 @ 13.7.2007, 19:01

)

Как Вы думаете, что выведется на экран?

UB, ибо временный объект сконструированный из сторки "rrrr..." уничтожится(может уничтожиться) в конце sequence point. Т.е до вызова второго CheckMaximum.

Цитата(Fazil6 @ 13.7.2007, 19:01

)

Кто что вообще думает о том, что тут написано?

Думаю, что не хватает комментария к ф-ции, что "несмотря на то, что аргументы представляют из себя константные ссылки, эти ссылки могут быть использованны вне ф-ции(после её завершения), т.о. не рекомендуется вызывать ф-цию с аргументами, ссылающимися на временные объекты".

Автор: bsa 13.7.2007, 19:17

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

Автор: archimed7592 13.7.2007, 19:48

Точно. Не может, а именно должен удалится в конце выражения.

Цитата(IS-1.9/12 Program execution)

A full-expression is an expression that is not a subexpression of another expression. If a language construct is defined to produce an implicit call of a function, a use of the language construct is considered to be an expression for the purposes of this definition.

Цитата(IS-12.2/3 Temporary objects)

When an implementation introduces a temporary object of a class that has a non-trivial constructor (12.1), it shall ensure that a constructor is called for the temporary object. Similarly, the destructor shall be called for a temporary with a non-trivial destructor (12.4). Temporary objects are destroyed as the last step in evaluating the full-expression (1.9) that (lexically) contains the point where they were created. This is true even if that evaluation ends in throwing an exception.

Автор: Doc_d0s 15.7.2007, 21:30

думаю стоит сделать копирование длинной строки в функции...

Автор: archimed7592 15.7.2007, 22:00

Doc_d0s, в вышеозвученном примере одного изменения недостаточно будет. Нужно либо изменить тип возвращаемого значения(убрать ссылку, дабы копировалось) и изменить "клиентский" код, чтобы сохранялась не ссылка, а полностью значение. Для ref-counted строк overhead'а по идее не будет.