Реализация operator + через operator +=

@Perfilov · Регистрация: 25.02.2015

Студворк — интернет-сервис помощи студентам

внутри следующей темы возник вопрос, ответ на который так и не был получен:
Приведение типов в классе
вопрос к тому топику не относится, поэтому решил завести отдельную ветку:

итак допустим есть класс String. Допустим у него корректно реализован operator +=.
далее хочется поиметь еще и оператор + для такого класса и реализовать его через
этот самый +=.

есть два варианта:

C++
1
2
3
4
5
6
7
8
9
10
11
12
// канонический:
const String operator + (const String& lhs, const String& rhs)
{
   String str(lhs);
   return str += rhs;
}
 
// альтернативный:
const String operator + (String lhs, const String& rhs)
{
   return lhs += rhs;
}

В альтернативном варианте первый аргумент - значение вместо константной ссылки.
и вот собственно вопрос.
Какие проблемы могут возникнуть при использовании альтернативного варианта?
В каких случаях то, что компилируется в первом случае, перестанет во втором.
В каких случаях и как изменится поведение в рантайме, если использовать второй вместо первого.

Доп условия:
Класс стринг не предназначен для наследования.
Вариант когда где-то используется указатель на функцию с сигнатурой канонического варианта не рассматриваем.

Добавлено через 8 минут
пока что минусы второго варианта:
неканоничность

плюсы:
в случае кода
"dddd" + String() каноничный вариант приведет к тому, что создастся временный объект из const char*, ссылка на него пройдет в функцию и внутри будет создаваться еще один объект. в альтернативном варианте дополнительный объект только один. но это под вопросом, я точно не знаю. + еще может оптимизатор поработать и уравняет эти варианты.

@castaway · 28.05.2015, 02:12

Предоставь полный пример, включая класс. Иначе это просто кусок бессмысленного кода.

@DrOffset · 28.05.2015, 02:12

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

пока что минусы второго варианта

Можно дописать отсутствие потенциальных оптимизаций, которые можно было бы провести в теле operator+.
Об этом упоминалось в той теме. Объект вынужден создаваться как есть из заданного первого аргумента. Нужный резерв через reserve уже не задать (точнее можно, но это приведет к реаллокации уже находящихся в этом объекте данных, что не очень хорошо само по себе).

@Perfilov · 28.05.2015, 02:18 **[ТС]**

да, вариант с резервом памяти я как-то бегло смотрел и не увидел его плюшек

@castaway · 28.05.2015, 02:23

Perfilov, предлагаю рассмотреть вопрос до конца.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <cstring>
 
class String {
public:
    String() {}
};
 
const String operator + (const String& lhs, const String& rhs)
{
   String str(lhs);
   return str += rhs;
}
 
const String operator + (String lhs, const String& rhs)
{
   return lhs += rhs;
}
 
int main() {
    return 0;
}

Допустим есть такой код. Как можно использовать данный класс?

@Perfilov · 28.05.2015, 02:27 **[ТС]**

вы на неоднозначность намекаете или на что? если так - то оператор один из предложенных операторов, а не одновременно два реализованных.
я не понял вопроса. поясните плиз.

@castaway · 28.05.2015, 02:32

Ок. Поставим вопрос "ребром". Perfilov, как лучше всего перегрузить бинарный оператор + на твой взгляд? Покажи пример.

@Perfilov · 28.05.2015, 02:33 **[ТС]**

я за канонический вариант.

@castaway · 28.05.2015, 02:44

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

я за канонический вариант.

Я тоже.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .	SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	28.05.2015, 02:12
	Предоставь полный пример, включая класс. Иначе это просто кусок бессмысленного кода. 0

@Perfilov 265 / 165 / 56 Регистрация: 25.02.2015 Сообщений: 435
	28.05.2015, 02:18 [ТС]
	да, вариант с резервом памяти я как-то бегло смотрел и не увидел его плюшек 0

@Perfilov 265 / 165 / 56 Регистрация: 25.02.2015 Сообщений: 435
	28.05.2015, 02:27 [ТС]
	вы на неоднозначность намекаете или на что? если так - то оператор один из предложенных операторов, а не одновременно два реализованных. я не понял вопроса. поясните плиз. 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	28.05.2015, 02:32
	Ок. Поставим вопрос "ребром". Perfilov, как лучше всего перегрузить бинарный оператор + на твой взгляд? Покажи пример. 0

@Perfilov 265 / 165 / 56 Регистрация: 25.02.2015 Сообщений: 435
	28.05.2015, 02:33 [ТС]
	я за канонический вариант. 0