Object slicing

Объект производного класса, переданный значением, чтобы функционировать параметром базового класса

Описание

Этот дефект происходит, когда вы передаете объект производного класса значением к функции, но функция ожидает объект базового класса как параметр.

Риск

Если вы передадите объект производного класса значением к функции, вы ожидаете, что производный класс копирует конструктора, чтобы быть названным. Если функция ожидает объект базового класса как параметр:

Конструктор копии базового класса называется.
В теле функции параметр рассматривается как объект базового класса.

На C++, virtual методы класса разрешены во время выполнения согласно фактическому типу объекта. Из-за объектного разрезания, неправильной реализации virtual метод может быть назван. Например, базовый класс содержит virtual метод и производный класс содержат реализацию того метода. Когда вы вызываете virtual метод от тела функции, метод базового класса называется, даже при том, что вы передаете объект производного класса функции.

Фиксация

Одна возможная фиксация должна передать объект ссылкой или указателем. Передача ссылкой или указателем не вызывает вызов конструкторов копии. Если вы не хотите, чтобы объект был изменен, используйте const спецификатор с вашим параметром функции.

Другой возможная фиксация должна перегрузить функцию с другой функцией, которая принимает объект производного класса как параметр.

Примеры

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

Разрезание объекта порождения вызова функции

#include <iostream>

class Base {
public:
    explicit Base(int b) {
    	_b = b;
    }
    virtual ~Base() {} 
    virtual int update() const;
protected:
    int _b;
};


class Derived: public Base {
public:
    explicit Derived(int b):Base(b) {}
    int update() const;
};

//Class methods definition

int Base::update() const {
    return (_b + 1);
}

int Derived::update() const {
    return (_b -1);
}


//Other function definitions
void funcPassByValue(const Base bObj) {
    std::cout << "Updated _b=" << bObj.update() << std::endl;
}

int main() {
    Derived dObj(0);
    funcPassByValue(dObj);       //Function call slices object
    return 0;
 }

В этом примере, вызов funcPassByValue(dObj) результаты в выходе Updated _b=1 вместо ожидаемого Updated _b=-1. Поскольку funcPassByValue ожидает Base параметр объекта, это вызывает Base конструктор копии класса.

Поэтому даже при том, что вы передаете Derived объект dObj, функциональный funcPassByValue обрабатывает его параметр b как Base объект. Это вызывает Base::update() вместо Derived::update().

Коррекция — объект передачи ссылкой или указателем

Одна возможная коррекция должна передать Derived объект dObj ссылкой или указателем. В следующем, откорректированном примере, funcPassByReference и funcPassByPointer имейте ту же цель как funcPassByValue в предыдущем примере. Однако funcPassByReference ожидает ссылку на Base объект и funcPassByPointer ожидает указатель на Base объект.

Передача Derived объект d указателем или ссылкой не нарезает объект. Вызовы funcPassByReference(dObj) и funcPassByPointer(&dObj) произведите ожидаемый результат Updated _b=-1.

#include <iostream>

class Base {
public:
    explicit Base(int b) {
    	_b = b;
    }
    virtual ~Base() {}
    virtual int update() const;
protected:
    int _b;
};


class Derived: public Base {
public:
    explicit Derived(int b):Base(b) {}
    int update() const;
};

//Class methods definition

int Base::update() const {
    return (_b + 1);
}

int Derived::update() const {
    return (_b -1);
}


//Other function definitions
void funcPassByReference(const Base& bRef) {
    std::cout << "Updated _b=" << bRef.update() << std::endl;
}

void funcPassByPointer(const Base* bPtr) {
    std::cout << "Updated _b=" << bPtr->update() << std::endl;
}

int main() {
    Derived dObj(0);
    funcPassByReference(dObj);       //Function call does not slice object
    funcPassByPointer(&dObj);       //Function call does not slice object
    return 0;
 }

Примечание

Если вы передаете значением, потому что копия объекта сделана, исходный объект не изменяется. Передача ссылкой или указателем делает объект уязвимым для модификации. Если вы обеспокоены своим изменяемым исходным объектом, добавьте const спецификатор к вашему параметру функции, как в предыдущем примере.

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

Группа: Объектно-ориентированный

Язык: C++

Значение по умолчанию: на

Синтаксис командной строки: OBJECT_SLICING

Удар: высоко

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

Find defects (-checkers)

Документация