Le typage dynamique est-il identique à la liaison dynamique (retardée)?

Question

En liaison tardive, le nom d'une méthode est lié à un type lors de l'exécution. En quoi est-ce différent du typage dynamique?

Answer 1

Le typage dynamique signifie que vous n'avez pas besoin de déclarer le type d'une variable; une variable peut contenir des valeurs de n'importe quel type et le type est déterminé au moment de l'exécution lorsque la variable est utilisée. La plupart des langages de script utilisent le typage dynamique: Javascript, PHP, Python. Cela contraste avec le typage statique, qui est utilisé en C, C++ et Java. Cependant, les langages OO avec typage statique permettent une forme limitée de dynanisme, car une classe peut avoir des sous-classes. En Java, une variable déclarée comme contenant une classe peut également contenir n'importe laquelle de ses sous-classes; en C++, un pointeur vers une classe de base peut également pointer vers un objet d'une classe dérivée.

La liaison tardive fait référence à la sélection des méthodes d'une fonction polymorphe. Si vous avez une classe et une sous-classe, et liez une méthode à une instance de l'une de ces classes, utilise-t-elle la classe qui a effectué la liaison (qui pourrait être la classe parent) ou la classe réelle de l'objet. Une liaison précoce signifie qu'elle utilise la classe qui a effectué la liaison, une liaison tardive signifie qu'elle utilise la classe réelle de l'objet. Javascript n'a pas réellement de classes, donc dans ce cas il fait référence au prototype de la chaîne prototype qui contient la fonction qui a effectué la liaison de méthode.

Les deux concepts sont évidemment liés. Il n'y a aucun intérêt à une liaison tardive si une variable ne peut contenir qu'un objet d'un seul type, de sorte que la liaison tardive dépend du typage dynamique. En C++, vous obtenez une liaison anticipée lorsque vous appelez une fonction membre via une variable d'objet, par ex. var.func(). Pour obtenir une liaison tardive, la fonction membre doit être déclarée virtual et vous devez l'appeler via un pointeur, ptr->func(). En Java et Javascript, vous obtenez normalement une liaison tardive, mais il est possible d'utiliser Function.prototype.bind() pour appeler la méthode d'un prototype spécifique.

Early and Late Binding montre comment la liaison précoce et tardive peut être implémentée dans les prototypes Javascript.

EDIT:

Oops, ce lien ne fonctionne plus, et il ne semble pas avoir obtenu archivé dans la Wayback Machine .. En ce moment, la meilleure discussion que je peux trouver est au génie logiciel SE: What is early and late binding?