Что такое срезка объектов (object slicing) в C++ и как её избежать?

Что такое срезка объектов (object slicing)?

Срезка объектов (object slicing) — это потеря данных и поведения, которая происходит, когда объект производного класса присваивается или передаётся по значению объекту базового класса. В C++ объекты не являются полиморфными по значению — только ссылки и указатели поддерживают полиморфизм. Когда вы передаёте объект Dog в функцию, принимающую Animal по значению, компилятор создаёт новый объект Animal, копируя только ту часть исходного объекта, которая относится к базовому классу. Всё, что специфично для Dog (поле breed_ и переопределённый метод speak()), отбрасывается — "срезается".

Почему это происходит?

В вашем коде:

void printAnimal(Animal a) { a.speak(); }

Параметр a — это новый объект типа Animal, созданный с помощью конструктора копирования Animal::Animal(const Animal&). Конструктор копирования базового класса не знает о существовании производных полей — он копирует только свою часть объекта. Кроме того, виртуальная функция speak() вызывается через объект, а не через ссылку или указатель, поэтому таблица виртуальных функций (vtable) указывает на Animal::speak(), а не на Dog::speak().

Как избежать срезки?

Есть три основных способа:

• Передача по ссылке или указателю — самый правильный способ. Ссылки и указатели поддерживают полиморфизм, и виртуальные функции будут вызываться корректно.
• Использование умных указателей — для управления временем жизни объектов в динамической памяти.
• Запрет копирования базового класса — если срезка нежелательна в принципе, можно сделать конструктор копирования базового класса защищённым или удалённым.

Пример с передачей по ссылке

void printAnimal(const Animal& a) {  // Передача по константной ссылке
    a.speak();  // Вызовет Dog::speak() для объекта Dog
    std::cout << "Name: " << a.getName() << "\n";
}

int main() {
    Dog dog("Buddy", "Golden Retriever");
    printAnimal(dog);  // Выведет "Woof!" и "Name: Buddy"
    return 0;
}

Пример с умным указателем

#include <memory>

void printAnimal(const std::unique_ptr<Animal>& a) {
    a->speak();  // Полиморфизм работает через указатель
}

int main() {
    auto dog = std::make_unique<Dog>("Buddy", "Golden Retriever");
    printAnimal(dog);
    return 0;
}

Когда срезка может быть полезна?

В редких случаях срезка бывает намеренной. Например, если вы хотите скопировать только общую часть объекта для передачи в алгоритм, которому не нужны детали производного класса. Но в 99% случаев это баг, а не фича. Помните: если вы передаёте объект по значению, вы теряете полиморфизм и данные производного класса.

Дополнительная рекомендация

Чтобы защитить себя от случайной срезки, можно сделать конструктор копирования базового класса защищённым или удалённым, а также запретить присваивание. Но это радикальная мера — обычно достаточно просто привыкнуть передавать объекты по ссылке.

class Animal {
public:
    virtual ~Animal() = default;
    virtual std::unique_ptr<Animal> clone() const = 0;
};

class Dog : public Animal {
public:
    std::unique_ptr<Animal> clone() const override {
        return std::make_unique<Dog>(*this);
    }
};

void processAnimal(std::unique_ptr<Animal> a) {
    auto copy = a->clone();  // Полное копирование с сохранением типа
}