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

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

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

  • The 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

Поддержка