4
const T T::operator++(int)
{
    T tmp = *this;
    ++(*this);
    return tmp;
}

Рассмотрим такой вариант реализации постфиксного оператора инкрементирования. Почему требуется возвращать именно const T, а не T? Такой вариант реализуется для типа int, а нужно ли мне реализовывать этот оператор для своего пользовательского типа аналогично?

Я придерживался негласного правила, что при разработке классов (типов) в случае если непонятно (или еще не сформулировано) требуемое поведение то следует организовать поведение, какое предоставляет int. int возвращает const int. А нужно ли и мне так?

2
  • Исправил, там int должно быть
    – Jens
    9 ноя 2017 в 14:21
  • @Abyx сейчас мне скинули, что у Майерса написано про int так, правило 6
    – Jens
    9 ноя 2017 в 14:27

3 ответа 3

5

Нет необходимости делать возвращаемый тип константым, чтобы избежать двойного инкремента ++++. Достаточно объявить оператор инкремента только для lvalue объектов (добавить & в сигнатуру):

struct T {
    T operator++(int) & { return *this; }
};

int main() {
    T t;

    t++;   // ok    
    t++++; // ошибка
}
3
  • Получается, для всех других операторов также потребуется изменять сигнатуру? Т.е. опасен не только вариант i++++, а например, что-то произвольное типа (i++)<some_posfix_operator>
    – Jens
    9 ноя 2017 в 14:45
  • @Jenssen зависит от того, какую итоговую цель вы ставите. Если хотим избежать постфикных модификаций временных значений, то да.
    – αλεχολυτ
    9 ноя 2017 в 14:49
  • Да, пока именно такую. Про move-семантику речи не шло. Но недостаток const я понимал по отношению к rvalue и перемещению. Просто напрочь забыл про такую фичу в сигнатуре. Благодарю)
    – Jens
    9 ноя 2017 в 14:52
3

Постфиксный оператор инкрементирования (оператор декрементирования аналогнично) возвращает const T, чтобы предотвратить потенциально некорректное использование некоторых конструкций, т.к. двойное постфиксное инк-/дек- рементирование вида i++++.

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

Как правило, клиентский код обычно не требует (вообще говоря, не должен) поддержки таких конструкций, как двойное применение постфиксного оператора и одновременное изменение значения, возвращаемого постфиксным оператором, в одной инструкции, поэтому запрет подобной операции через const T вполне оправдан. Ошибок избегать это помогает точно.

10
  • Встретил такое в коде, как оказалось, написать так могут.
    – Jens
    9 ноя 2017 в 14:23
  • 3
    А ещё это убивает move-семантику. Подобные советы были мягко говоря сомнительны раньше, а сейчас они ещё стали и вредны, на мой взгляд.
    – ixSci
    9 ноя 2017 в 14:23
  • 2
    @Jenssen, программист, при написании своих классов, должен руководствоваться простым принципом: класс должен быть написан так, чтобы случайно использовать его неправильно было сложно. Класс не должен защищаться от клинических идиотов и тех, кто специально хочет напакостить.
    – ixSci
    9 ноя 2017 в 14:29
  • 3
    Я видел неоднократно советы, про то, что нужно делать возвращаемое значение const. Не помню, был ли это Майерс, кто это запустили или кто-то другой, но этот совет появился давно. Гораздо раньше, чем появился стандарт 2011 года и семантика перемещений. const у возвращаемого значения препятствует этой самой семантике, и это значит, что объект всегда будет скопирован. Более того, с константой скорее всего даже RVO работать не будет. Я всегда считал этот совет бессмысленным, т.к. никакой очевидной пользы я от него не видел.
    – ixSci
    9 ноя 2017 в 14:34
  • 3
    Но тогда, когда он стал ломать семантику перемещений я стал считать его вредным. В C++ есть много мест, когда можно написать неправильно и с этим ничего не сделаешь — нужно проводить ревизию кода. Написать в коде i++++ может либо идиот, либо кто-то, кто решил это сделать специально. Как я уже сказал, защититься от обоих типов невозможно.
    – ixSci
    9 ноя 2017 в 14:35
2

const T в результате функции запрещает неконстантные операции, в частности перемещение (move-семантика).

struct X {
  X(X&&);
  const X operator++(int);
  int& operator*();
};

X a;
X b = a++;  // тут будет копирование, а не перемещение
*a++ = 1;  // не скомпилируется

Ваш ответ

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

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