抽象是我们将要执行的实现的契约。实现可能会在一段时间内发生变化。各种实现本身可能隐藏，也可能不隐藏，而是隐藏在抽象后面。

假设我们在一个接口中定义了一个类的所有api，然后要求代码的用户依赖于该接口中定义的api。我们可以自由地改进或修改实现，但必须遵守设定的合同。用户与我们的实现没有耦合。

我们在抽象中暴露所有必要的规则(方法)，规则的实现留给实现者实体，实现也不是抽象的一部分。正是签名和声明使抽象成为现实。

封装只是通过减少对状态和行为的访问来隐藏内部细节。封装的类可能有也可能没有定义良好的抽象。

java.util.List是java.util.ArrayList的抽象。使用非公共访问修饰符标记的java.util.ArrayList的内部状态是封装。

Edit Suppose a class Container.nava implements IContainer , IContainer may declare methods like addElement, removeElements, contains, etc. Here IContainer represents the abstraction for its implementing class. Abstraction is declaring the APIs of the class or a module or a system to the outer world. These APIs become the contract. That system may be or may not be developed yet. The users of the system now can depend on the declared APIs and are sure any system implementing such a contract will always adhere to the APIs declared, they will always provide tge implementation for those APIs. Once we are writing some concrete entity then deciding to hide our internal states is encapsulation

抽象是广义的术语。即封装是抽象的子集。

---

示例:解决方案架构师是创建整个解决方案的高级抽象技术设计的人，然后将该设计移交给开发团队进行实现。 在这里，解决方案架构师充当抽象，而开发团队充当封装。

---

举例:用户数据的封装(组网)

图片由

Abstraction (or modularity) – Types enable programmers to think at a higher level than the bit or byte, not bothering with low-level implementation. For example, programmers can begin to think of a string as a set of character values instead of as a mere array of bytes. Higher still, types enable programmers to think about and express interfaces between two of any-sized subsystems. This enables more levels of localization so that the definitions required for interoperability of the subsystems remain consistent when those two subsystems communicate. Source

Java示例

这些有些模糊的概念并不是计算机科学和编程所独有的。我想提供一些额外的想法，可能有助于其他人理解这些重要的概念。

---

简短的回答

封装——隐藏和/或限制对系统某些部分的访问，同时暴露必要的接口。

抽象性——从具体的现实、具体的对象或实际实例中去除某些特征，从而降低复杂性。

主要的相似之处在于，这些技术旨在提高理解能力和实用性。

主要的区别在于抽象是一种更简单地表示事物的方法(通常是为了使表示更广泛地适用)，而封装是一种改变其他事物与事物交互方式的方法。

---

长回答

封装

下面是一个封装的例子，希望能让大家更清楚:

这里我们有一个Arduino Uno，还有一个Arduino Uno。封装是封装的一个很好的代表。

封装旨在保护某些组件不受外部影响和知识的影响，并公开其他组件应该与之交互的组件。在编程术语中，这涉及到通过访问修饰符隐藏信息，访问修饰符改变了某些变量和/或属性可以读写的程度。

但除此之外，封装还旨在更有效地提供这些外部接口。对于我们的Arduino示例，这可能包括漂亮的按钮和屏幕，这使得用户与设备的交互更加简单。它们为用户提供了简单的方法来影响设备的行为，并获得有关其操作的有用信息，否则将非常困难。

在编程中，这涉及到将各种组件分组为可分离的结构，如函数、类或对象。它还包括提供与这些构造交互的方法，以及获取关于它们的有用信息的方法。

封装在许多其他方面帮助程序员，尤其是提高代码的可维护性和可测试性。

抽象

尽管这里有许多其他的答案将抽象定义为泛化，但我个人认为这个定义是错误的。我想说泛化实际上是一种特定类型的抽象，而不是反过来。换句话说，所有的概括都是抽象，但并非所有的抽象都一定是概括。

以下是我对抽象的看法:

你会说这个图像是一棵树吗?很有可能你会。但它真的是一棵树吗?当然不是!它是一堆像素，看起来像我们可能称之为树的东西。我们可以说它代表了一棵真实树的抽象。注意，树的一些可视化细节被省略了。此外，它不生长，不消耗水，也不产生氧气。怎么可能呢?它只是屏幕上的一堆颜色，由计算机内存中的字节表示。

这就是抽象的本质。这是一种简化事物的方法，这样它们就更容易理解。你脑子里的每一个想法都是对现实的抽象。你脑海中的树和这张图片一样都不是真正的树。

在编程中，我们可以通过创建一个Tree类来利用这一点，其中包含模拟生长、水消耗和氧气生产的方法。我们的创造将代表我们对实际树木的体验，并且只包含我们真正关心的特定模拟元素。我们使用抽象作为一种用字节和数学来表示我们经验的方式。

抽象类

编程中的抽象还允许我们考虑几个“具体”对象类型(实际存在的类型)之间的共性，并在唯一的实体中定义这些共性。例如，我们的Tree类可以继承一个抽象类Plant，它有几个属性和方法适用于我们所有类植物，但删除了那些特定于每种植物类型的属性和方法。这可以显著减少代码重复，并提高可维护性。

抽象类和普通类的实际区别在于，抽象类在概念上没有“真正的”实例。构造一个Plant对象没有意义，因为它不够具体。每一种“真正的”植物也是一种更具体的植物类型。

此外，如果我们希望程序更加实际，我们可能需要考虑Tree类本身可能过于抽象的事实。实际上，每个Tree都是一种更具体的Tree类型，因此我们可以为这些类型创建类，例如Birch、Maple等，它们继承自我们的Tree类(现在可能是抽象的)。

JVM

另一个抽象的好例子是Java虚拟机(JVM)，它为Java代码的运行提供了一个虚拟或抽象的计算机。它从本质上拿走了系统中所有平台特定的组件，并提供了一个抽象的“计算机”接口，而不考虑任何特定的系统。

的区别

封装与抽象的不同之处在于，它与事物的“真实”或“准确”没有任何关系。它不会删除某些组件以使其更简单或更广泛地适用。相反，它可以隐藏某些组件来实现类似的目的。

抽象或封装并不严格要求信息隐藏。信息可能会被忽略，但不一定要隐藏。

封装是一种将事物视为单一事物的能力，即使它可能由许多复杂的部分或思想组成。例如，我可以说我坐在一把“椅子”上，而不是指这把椅子上的许多不同部分，每个部分都有特定的设计和功能，它们精确地组合在一起，目的是让我的屁股舒适地离地板几英尺远。

Abstraction is enabled by encapsulation. Because we encapsulate objects, we can think about them as things which relate to each other in some way rather than getting bogged down in the subtle details of internal object structure. Abstraction is the ability to consider the bigger picture, removed from concern over little details. The root of the word is abstract as in the summary that appears at the top of a scholarly paper, not abstract as in a class which can only be instantiated as a derived subclass.

I can honestly say that when I plop my butt down in my chair, I never think about how the structure of that chair will catch and hold my weight. It's a decent enough chair that I don't have to worry about those details. So I can turn my attention toward my computer. And again, I don't think about the component parts of my computer. I'm just looking at a part of a webpage that represents a text area that I can type in, and I'm communicating in words, barely even thinking about how my fingers always find the right letters so quickly on the keyboard, and how the connection is ultimately made between tapping these keys and posting to this forum. This is the great power of abstraction. Because the lower levels of the system can be trusted to work with consistency and precision, we have attention to spare for greater work.

这里的大多数答案都关注于OOP，但封装开始得更早:

Every function is an encapsulation; in pseudocode: point x = { 1, 4 } point y = { 23, 42 } numeric d = distance(x, y) Here, distance encapsulates the calculation of the (Euclidean) distance between two points in a plane: it hides implementation details. This is encapsulation, pure and simple. Abstraction is the process of generalisation: taking a concrete implementation and making it applicable to different, albeit somewhat related, types of data. The classical example of abstraction is C’s qsort function to sort data: The thing about qsort is that it doesn't care about the data it sorts — in fact, it doesn’t know what data it sorts. Rather, its input type is a typeless pointer (void*) which is just C’s way of saying “I don't care about the type of data” (this is also called type erasure). The important point is that the implementation of qsort always stays the same, regardless of data type. The only thing that has to change is the compare function, which differs from data type to data type. qsort therefore expects the user to provide said compare function as a function argument.

封装和抽象是密切相关的，因此您可以认为它们确实是不可分割的。就实际而言，这可能是对的;也就是说，这里有一个不太抽象的封装:

class point {
    numeric x
    numeric y
}

我们封装了点的坐标，但是我们没有实质性地将它们抽象出来，只是在逻辑上对它们进行分组。

这里有一个抽象的例子，它不是封装:

T pi<T> = 3.1415926535

这是一个具有给定值(π)的泛型变量pi，声明并不关心变量的确切类型。诚然，我很难在真实的代码中找到这样的东西:抽象实际上总是使用封装。然而，上面的内容在c++(14)中确实存在，通过变量模板(=变量的通用模板);使用稍微复杂一点的语法，例如:

template <typename T> constexpr T pi = T{3.1415926535};

我读得越多，就越困惑。所以，我的理解是:

封装:

我们通常从外面看到手表，它的组件被封装在它的身体里。我们对不同的操作有某种控制。这种隐藏细节和公开控制(例如设置时间)的方式就是封装。

抽象:

到目前为止，我们一直在谈论手表。但我们没有具体说明是哪种手表。可以是数字的，也可以是模拟的，可以是手用的，也可以是墙用的。有很多可能性。我们所知道的是，这是一块手表，它显示时间，这是我们唯一感兴趣的东西，时间。这种隐藏细节和公开通用特性或用例的方法就是抽象。