“早期绑定”与“静态调度”相同，“后期绑定”与“动态调度”相同吗？

Question

我经常看到“早期绑定”和“静态分派”这两个术语可以互换使用，我也经常看到“迟绑定”和“动态分派”这两个术语可以互换使用。

这些术语的意思是一样的吗？

Answer 1

绑定是一个比分派更普遍的概念。

“绑定”的意思是“将标识符解析为某物”，而“分派”则具体指“将标识符解析为子例程”，并且通常用于OO中的方法分派，但也包括Haskell类型类或抽象数据类型的方法。

正如评论中所指出的那样、“早期”和“迟来”是相对的，但是其含义通常从使用该术语的上下文中明确，并且几乎总是意味着“在运行时之前”和“在运行时”。

Answer 2

有时，我听到“静态分派”和“动态分派”来确切地提到语言如何定位要调用的方法：“静态”使用固定的数据结构，“动态”使用每次必须运行的列表。

“绑定”通常指将单独编译的子例程合并到一个可执行文件中。我认为“早期绑定”是针对.obj文件的链接，而“后期绑定”指的是.DLL或.so文件。

然而--底线--术语可能是模棱两可的。你需要通过你使用的术语来确定你真正的意思，并且你也要理解对方的意思！

Answer 3

这些术语并不总是很清楚某人的意思，但总的来说：

使用静态分派，您知道要调用哪一段代码，而同一个调用总是调用相同的代码。使用动态调度，在调用之前您不知道将调用什么代码。以C++虚拟函数为例。根据实例的类，同一个虚拟函数调用可以调用不同的代码。

使用早期绑定，您的程序知道每一段代码加载到内存时的位置。您可以进行静态分派和早期绑定:您还不知道调用了哪些代码，但是您知道可以调用的每一段代码都在哪里。例如，如果只在需要时加载库，则会发生延迟绑定。您可能知道要调用数学库中的sqrt函数，但是在将数学库加载到内存中之前，您不知道它在哪里，并且有人检查了它的目录，以确定sqrt函数在哪里。通常这是实现的，以便第二个调用知道函数在哪里。