我认为主要的区别是框架遵循“好莱坞原则”，即。“别打给我们，我们会打给你的。”

马丁·福勒说:

库本质上是一组 你可以调用的函数 日子通常安排在课堂上。 每个调用都做一些工作并返回 控件到客户端。 框架体现了一些抽象 设计，内置了更多的行为。 为了使用它，你需要插入 你的行为变成了各种各样的地方 框架可以通过子类化或 通过插入你自己的类。的 框架的代码然后调用你的代码 在这些点上。

这是我的想法(其他人也对此进行了合理化解释):

库是包含在代码中的东西。框架是应用程序的容器。

库:

它只是例程(函数式编程)或类定义(面向对象编程)的集合。其背后的原因仅仅是代码重用，即获取其他开发人员已经编写的代码。类或例程通常在域特定区域定义特定操作。例如，有一些数学库可以让开发人员只调用函数，而无需重做算法如何工作的实现。

框架:

在框架中，所有的控制流都已经在那里，并且有一堆预定义的白点，我们应该用我们的代码来填充。框架通常更复杂。它定义了一个框架，应用程序在其中定义了自己的特性来填充该框架。通过这种方式，框架将在适当的时候调用您的代码。这样做的好处是，开发人员不需要担心设计是否好，而只需考虑实现特定领域的功能。

库，框架和你的代码图像表示:

KeyDifference:

库和框架之间的关键区别是“控制反转”。当您从库中调用方法时，您处于控制之中。但是对于框架，控件是反向的:框架调用您。源。

关系:

它们都定义了API，供程序员使用。为了将它们组合在一起，我们可以将库视为应用程序的某个函数，将框架视为应用程序的骨架，而API则是将它们组合在一起的连接器。典型的开发过程通常从框架开始，然后通过API填充库中定义的函数。

实际上，这取决于你给术语下什么定义。可能有很多不同的定义。

我认为下面的解释是基于我认为这个术语指的是什么:

确定的图书馆

确定性库保存的函数是基于A)函数输入或b)在函数调用之间以某种方式维护的状态确定的。

如果将逻辑依赖注入确定性库，则该逻辑必须符合具体的规范，以便库的输出不受影响。

示例:一个碰撞检测库，由于某种原因依赖于排序函数来帮助这些计算。这个排序函数可以配置为优化目的(例如通过依赖注入，编译时链接等)，但必须始终符合相同的输入/输出映射，以便库本身保持确定性。

非命定论的图书馆

一个非确定性库可以通过与它以某种方式访问的其他外部非确定性库通信来保存非确定性函数。

我通常将不确定性库称为服务。

示例:依赖于随机数字生成器服务来洗牌的扑克库。这可能是一个不好的例子，因为出于架构的目的，我们应该将这个库的不确定性方面推到外部。相反，通过采用预先洗牌的牌组，扑克库可以变得具有确定性和单元可测试性，现在这个库的用户有责任随机洗牌，如果他们愿意的话。

框架

框架介于确定性库和非确定性库之间。

任何依赖注入框架的逻辑在该函数实例的生命周期内都必须是确定的，但是不同逻辑的不同函数实例可以被注入到框架函数的单独执行中。

Example: Functions that operate on lists such as map, filter, sort, reduce, that expect to take in functions that are deterministic but can have varying logic for different executions. Note that this requirement only exists if these list operations advertise themselves as deterministic. In most languages, list operations wouldn't have this constraint. The core logic of such frameworks are deterministic, but are allowed to accept indeterministic logic at the risk of the user. This is generally a messy scenario to deal with, because output can vary widely due to implementation details of the framework.

根据Erich Gamma等人在《设计模式》一书中给出的定义:

库:构成可重用实现的一组相关过程和类; 框架:由一组具有模板方法的协作类组成的可重用规范。它设置了控制流，并允许通过在子类中重写框架类中模板方法调用的钩子方法来将框架裁剪到特定问题的流中。

特定于问题的代码可以使用库和实现框架。

我认为你很好地阐述了其中的区别:框架提供了一个我们工作的框架……不知何故，它比简单的库更“有约束”。 框架还应该为一组库添加一致性。