封装隐藏了实现细节，这些细节可能是通用的，也可能不是专门的行为。

抽象提供了一种泛化(例如，在一组行为之上)。

这里有一个很好的阅读:抽象、封装和信息隐藏，作者是Object Agency的Edward V. Berard。

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

---

简短的回答

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

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

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

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

---

长回答

封装

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

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

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

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

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

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

抽象

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

以下是我对抽象的看法:

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

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

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

抽象类

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

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

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

JVM

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

的区别

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

许多答案和例子都具有误导性。

封装是将“数据”和“对该数据进行操作的函数”打包到单个组件中，并限制对某些对象组件的访问。 封装意味着对象的内部表示通常隐藏在对象定义之外的视图中。

抽象是一种表示基本特性而不包括实现细节的机制。

封装:——信息隐藏。 抽象:——实现隐藏。

示例(c++):

class foo{
    private:
        int a, b;
    public:
        foo(int x=0, int y=0): a(x), b(y) {}

        int add(){    
            return a+b;   
        } 
}  

foo类的任何对象的内部表示都隐藏在该类的外部。——>封装。 foo对象的任何可访问成员(data/function)都是受限的，只能由该对象访问。

foo foo_obj(3, 4);
int sum = foo_obj.add();

方法add的实现是隐藏的。——>抽象。

抽象和封装过程都会生成接口。

通过封装生成的接口隐藏了实现细节。

与抽象之前相比，通过抽象生成的接口可以适用于更多的数据类型。

这里的大多数答案都关注于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};

封装要求模块化。它要求您创建具有数据和处理数据的方法的对象。在这种情况下，您可以将其视为一个模块。

抽象为您提供了类的一般视图。