Связывание статического типа и связывание динамического типа
Я понимаю, что подразумевается под привязкой типов. Пожалуйста, поправьте меня, если я ошибаюсь -
Привязка типов - это процесс «связывания» объявленной переменной с конкретным типом
(Сделано компилятором).
Тип привязки можно классифицировать как -
Статическая привязка типа
Динамическое связывание типов
Статическое связывание типов может быть достигнуто двумя типами объявлений:
http://sankofa.loc.edu/CHU/WEB/Courses/Cosi350/Ch4/bound.2.gif
Это ясно до здесь.
Но теперь, что такое динамическое связывание типов? (не определение) Я знаю, что это означает, что переменная связана с «типом» во время выполнения,
http://sankofa.loc.edu/CHU/WEB/Courses/Cosi350/Ch4/bound.3.gif
Больше информации об этом, например:
Почему Динамическая привязка типов?На каких языках программирования это доступно как функция?Каковы его преимущества и недостатки по сравнению со статической привязкой типов?Указывается через оператор присваивания
Можете ли вы дать больше информации об этом. Должен ли он быть указан только с оператором присваивания?