Передача справки через функцию безопасна?

Является ли следующая функция безопасной в C++ 03 или C++ 11 или она отображает UB?Передача справки через функцию безопасна?

string const &min(string const &a, string const &b) { 
    return a < b ? a : b; 
} 

int main() { 
    cout << min("A", "B"); 
}

Допустимо ли возвращать ссылку на объект передается функции по ссылке?
Гарантировано, что временный объект string не был уничтожен слишком рано?
Есть ли вероятность, что данная функция min может отображать UB (если это не в данном контексте)?
Можно ли сделать эквивалентную, но безопасную функцию, избегая при этом копирования или перемещения?

источник

2013-04-29 Juraj Blaho

Вам нужно работать со строковыми строками? Если вы абсолютно хотите избежать временных ситуаций, вы можете использовать '' std :: strcmp() ''. – bluescarni

@bluescarni: Не имеет значения, существует ли «string» или другой тип временного объекта. Вопрос должен быть общим. –

Можно ли вернуть ссылку на объект, переданный функции по ссылке?

До тех пор, пока объект не будет уничтожен, прежде чем вы получите доступ к нему через эту ссылку, да.

Гарантировано, что временный объект string не будет уничтожен слишком рано?

В этом случае да. Временное продолжается до конца полного выражения, которое его создает, поэтому оно не уничтожается до после того, как передается в cout.

Есть ли вероятность, что данная функция min может отображать UB (если она не в данном контексте)?

Да, вот пример:

auto const & r = min("A", "B"); // r is a reference to one of the temporaries 
cout << r;      // Whoops! Both temporaries have been destroyed

Можно ли сделать эквивалент, но безопасной функции в то же время избегая копирования или перемещения?

Я так не думаю; но эта функция безопасна, пока вы не держите ссылку на ее результат.

источник

2013-04-29 13:09:25

Я уверен, что невозможно сделать эквивалент, потому что для этого потребуется полный GC. Вам нужно отслеживать, имеются ли ссылки на временный объект. – MSalters

Функция сама по себе не делает ничего неопределенного (возвращаемая ссылка будет действительной до тех пор, пока это будут параметры) ... ее использование делает IMO – nishantjr

В этом случае компилятору разрешено копировать копию, если это возможно. Однако это зависит от вашего уровня компилятора и оптимизации. Например, GCC предотвратит копирование временных возвращаемых значений с помощью -O2 или выше. – Symaxion

Да, это безопасно. Темп последовательности для «А» и «В» сохранится до конца «точки последовательности», то есть точки с запятой.

источник

2013-04-29 13:07:56

Ваших временные объекты будут оставаться «живыми» до конца ; от cout в основном, так этого способа использования безопасно.

источник

2013-04-29 13:08:04 fritzone

Это гарантирует, что временный строковый объект не уничтожается слишком скоро

Для вашего конкретного случая да, но следующий код не

int main() { 
    const string &tempString(min("A", "B")); 
    cout << tempString; 
}

Кроме этого, я согласен с что сказал Майк Сеймур.

источник

2013-04-29 13:12:56

Если бы было ключевое слово const для этой временной ссылки –

Спасибо, теперь она компилируется и показывает случай, где проблема. –

Да, это безопасно передать ссылку через функцию, потому что в изменениях, всегда внесенных в аргументы, которые вы передаете по значению, и в приведенной выше последовательности строк темп для А и Б сохранится до конца «точки последовательности», то есть точку с запятой, но в случае передачи по ссылке изменений, сделанных в копии этого аргумента, не в оригинальной копии.

источник

2013-05-06 05:15:45

Передача справки через функцию безопасна?

ответ

Смежные вопросы