Pode explicar o princípio de herança na programação orientada a objetos?

A herança na programação orientada a objetos é um mecanismo que permite criar uma nova classe com base numa já existente. A nova classe (subclasse) herda todas as propriedades e métodos da classe base, podendo adicionar as suas próprias ou sobrescrever as herdadas.

Isto permite reutilizar código e construir hierarquias de classes que refletem relações de "é um" (is-a). Por exemplo, a classe Animal pode ser uma classe base, e Cão uma subclasse que expande ou especifica o comportamento do animal.

Exemplo em C++:

class Animal {
public:
    void eat() { std::cout << "Comendo" << std::endl; }
};

class Dog : public Animal {
public:
    void bark() { std::cout << "Latir" << std::endl; }
};

int main() {
    Dog dog;
    dog.eat();  // método herdado
    dog.bark(); // método próprio
}

Aqui, Dog herda o método eat de Animal e adiciona o seu próprio método bark.