Exponenta Banner
exponenta event banner

*this not returned in copy assignment operator

operator= метод не возвращает указатель на текущий объект

расширьте все на странице

Описание

Этот дефект происходит когда операторы присваивания, такие как operator= и operator+= не возвращайте ссылку на *this, где this указатель на текущий объект. Если operator= метод не возвращает *this, это означает тот a=b или a.operator=(b) не возвращает представителя a после присвоения.

Например:

  • Оператор возвращает свой параметр вместо ссылки на текущий объект.

    Таким образом, оператор имеет форму MyClass & operator=(const MyClass & rhs) { ... return rhs; } вместо MyClass & operator=(const MyClass & rhs) { ... return *this; }.

  • Оператор возвращается значением и не ссылкой.

    Таким образом, оператор имеет форму MyClass operator=(const MyClass & rhs) { ... return *this; } вместо MyClass & operator=(const MyClass & rhs) { ... return *this; }.

Риск

Пользователи обычно ожидают, что объектные присвоения будут вести себя как присвоения между встроенными типами и ожидать, что присвоение возвратит представителя. Например, правоассоциативное цепочечное присвоение a=b=c требует того b=c возвратите представителя b после присвоения. Если ваш оператор присваивания ведет себя по-другому, пользователи вашего класса могут столкнуться с неожиданными последствиями.

Неожиданные последствия происходят, когда присвоение является частью другого оператора. Например:

  • Если operator= возвращает его параметр вместо ссылки на текущий объект, присвоение a=b возвращает b вместо a. Если operator= выполняет частичное присвоение элементов данных, после присвоения a=b, элементы данных a и b отличаются. Если вы или другой пользователь вашего класса читаете элементы данных возвращаемого значения и ожидаете элементы данных a, у вас могут быть неожиданные результаты. Для примера смотрите Возвращаемое значение оператора = То же самое в качестве Аргумента.

  • Если operator= метод возвращает *this значением и не ссылкой, копией *this возвращен. Если вы ожидаете изменять результат присвоения с помощью оператора, такого как (a=b).modifyValue(), вы изменяете копию a вместо a самостоятельно.

Фиксация

Возвратите *this от ваших операторов присваивания.

Примеры

развернуть все

class MyClass {
    public:
        MyClass(bool b, int i): m_b(b), m_i(i) {}
        const MyClass& operator=(const MyClass& obj) {
            if (&obj!=this) {
                /* Note: Only m_i is copied. m_b retains its original value. */
                m_i = obj.m_i;
            }
            return obj;
        }
        bool isOk() const { return m_b;}
        int getI() const { return m_i;}
    private:
        bool m_b;
        int m_i;
};

void main() {
        MyClass r0(true, 0), r1(false, 1);
        /* Object calling isOk is r0 and the if block executes. */
        if ( (r1 = r0).isOk()) {
            /* Do something */
        }
}

В этом примере, оператор operator= возвращает его текущий аргумент вместо ссылки на *this.

Поэтому в main, присвоение r1 = r0 возвращает r0 и не r1. Поскольку operator= не копирует элемент данных m_b, значение r0.m_b и r1.m_b отличаются. Следующее неожиданное поведение происходит.

Что вы можете ожидатьЧто на самом деле происходит

  • Оператор (r1 = r0).isOk() возвращает r1.m_b который имеет значение false

  • if блок не выполняется.

  • Оператор (r1 = r0).isOk() возвращает r0.m_b который имеет значение true

  • if блок выполняется.

Коррекция — возвращает *this

Одна возможная коррекция должна возвратить *this от operator=.

class MyClass {
    public:
        MyClass(bool b, int i): m_b(b), m_i(i) {}
        const MyClass& operator=(const MyClass& obj) {
            if (&obj!=this) {
                /* Note: Only m_i is copied. m_b retains its original value. */
                m_i = obj.m_i;
            }
            return *this;
        }
        bool isOk() const { return m_b;}
        int getI() const { return m_i;}
    private:
        bool m_b;
        int m_i;
};

void main() {
        MyClass r0(true, 0), r1(false, 1);
        /* Object calling isOk is r0 and the if block executes. */
        if ( (r1 = r0).isOk()) {
            /* Do something */
        }
}

Информация о результате

Группа: Объектно-ориентированный
Язык: C++
Значение по умолчанию: 'off'
Синтаксис командной строки: RETURN_NOT_REF_TO_THIS
Удар: низко

Смотрите также

Темы

Введенный в R2015b

Документация Polyspace Bug Finder
Поддержка