面向对象程序设计的核心概念为一系列相互关联的原理，它们共同构建了复杂系统的基础。首先，我们有对象（Object），它是程序中具有状态、行为和标识的实体，可以执行特定任务。
类（class）则是对象的蓝图，它定义了一组共享结构和行为的模板。通过封装（encapsulation），数据和操作被紧密捆绑，形成新的类型，同时隐藏内部细节，只暴露必要的接口。这包括两个层面：一是将数据和操作结合，二是分离接口与实现，提高代码的灵活性。
继承（inheritance）是类间的关系，子类（subclass）继承基类（base class）的结构和行为，可以扩展、覆盖或重定义这些行为，体现了“是一种”关系。
另一方面，组合（composition）是对象与对象之间的关系，一个类（或对象）可以包含其他类或对象，表达的是“有”这种关系，而非继承。
多态性（polymorphism）是类型理论中的重要特性，一个名称可以代表多种不同类的对象，它们都与某个共同超类有关。这意味着，相同的操作可以在不同的对象上产生不同的响应。
动态绑定（dynamic binding），也称动态类型，指的是在运行时确定对象或表达式的类型，通过编译器插入特殊代码实现，与静态绑定（static binding，即编译时确定类型）相对。
最后，消息传递（message passing）是程序执行的核心机制，一个对象通过调用另一个对象的方法（method），执行预定义的操作，这是类中定义的操作行为的具体应用。
面向对象编程（Object Oriented Programming，OOP，面向对象程序设计）是一种计算机编程架构。OOP 的一条基本原则是计算机程序是由单个能够起到子程序作用的单元或对象组合而成。OOP 达到了软件工程的三个主要目标：重用性、灵活性和扩展性。为了实现整体运算，每个对象都能够接收信息、处理数据和向其它对象发送信息。