面向对象程序设计（Object-Oriented Programming，简称OOP）是一种以对象为基本单元的编程范式。它通过将数据和行为封装在对象中，实现了模块化、可重用和可扩展的程序设计。面向对象程序设计的四个主要特征包括：封装、继承、多态和抽象。

首先，封装是指将对象的属性和行为封装在一起，对外提供公共接口。封装的目的是保护对象的内部数据不被外部直接访问和修改，确保对象的数据安全。通过封装，我们可以隐藏对象的内部实现细节，降低模块之间的耦合度。

其次，继承是面向对象程序设计中的另一个重要特征。它允许一个类继承另一个类的属性和方法，从而实现代码的复用。子类可以继承父类的属性和方法，也可以扩展自己的特有属性和方法。继承有助于建立类之间的关系，使程序结构更加清晰。

第三，多态是面向对象程序设计中的一种行为，它允许对象根据其类型或接口的不同，表现出不同的行为。多态使得我们可以在不知道对象具体类型的情况下，调用其方法。多态的实现通常依赖于继承和接口。

最后，抽象是指将现实世界中的复杂问题抽象成程序设计中的模型。抽象可以使程序设计更加简洁，降低复杂度。在面向对象程序设计中，抽象可以通过定义接口和类来实现。通过抽象，我们可以关注问题的本质，忽略不重要的细节。

总之，面向对象程序设计的四个主要特征——封装、继承、多态和抽象，有助于提高程序的模块化、可重用性和可扩展性。在实际应用中，遵循这些原则进行编程，可以使程序更加健壮、易于维护和扩展。以下是一个简单的例子，展示了面向对象程序设计的四个特征：

在这个例子中，我们定义了一个Animal父类，它有一个构造函数和一个eat方法。Dog子类继承了Animal类，并重写了eat方法。通过多态，我们可以创建Animal类型的对象，但实际上它指向的是Dog类型的实例，从而实现了不同的行为。