а преобразовать имя переменной к адресу ячейки в памяти?



да. в терминологии с++ - автоматическое.

эээ...автоматическое? к сожалению не знаю такого термина....
что по-вашему при объявлении переменной int x с чем связывается?

Добавлено через 5 минут и 52 секунды
а вообще по хорошему автору надо курить полиморфизм...тогда не будет таких вопросов...

1. 

А вы не обратиле внимание , что в этой книжке не только о с++ пишется.
 также непонятно где Вы там Страуструпа нашли 
Примером динамического связывания  в с++ является (реализованый разными стороними библиотеками)  тип Variant. 
2. Не в c++ делается примерно так: a=3; (сейчас у а тип инт) а = "строка"; (теперь тип строка)  
разновидностей и подходов много и зависит от реализации конкретного языка
3. пямять выделяется не под тип, а под переменную.
4. Как связан тип с инициализацией ? вот ограниченный пример динамического связывания

в той книге написано, что кроме динамического связывания есть еще и автоматическое, а в с++ int x=2 - автоматическое. просто щас каша в голове, хотел как-то разграничить. 



я бы покурил, только инфы на википедии мне не достаточно, а из книг я изучал с++ только по Уолтеру Савичу, там полиморфизм функций описан. Я так думаю, термин "связывание типов" - это описание какого-то процесса на уровне железа и двоичного кода. Только никак не могу понять какого.


с физическим адресом ячейки памяти.



обратил, но интересуюсь только с++. Про Страуструпа было в начале, вот и решил, что эту главу написал он.



я что-то пропустил? когда стали писать как в питоне?

Я об этом уже говорил. Просто автор не понимает о чем пишет, почитайте Шилдта или Страуструпа. Там очень хорошо описаны полиморфизм и связывание.
Автору так же смотреть мой пример выше.

пропустили частицу "не" в начале цитаты.. ;)





в данном примере i и f занимают одну и туже физическую ячейку памяти (делает это структура union) , однако тип у обоих переменных разных .  Тип  - это проявление взаимодействия со значением. Некая сущность, которая определяет какие виды взаимодействия и каким образом подерживаются.  

т.е. должны быть проверки для того, чтобы это определить?

Добавлено через 4 минуты и 14 секунд
в смысле проверки - работа компилятора.

точнее сказать не проверка, а выбор функции.
Т.е вид взаимодействия с ячейкой (оно и есть выбор подходяшей реализации функции) осушествляется на основе типа значения.

Например у нас есть функция print(). Для работы с разными типами мы перегружаем ее :


Добавлено через 1 минуту и 30 секунд
в языках с динамическим типом переменых, выбор подходяшей функции (вышеразобранная ситуация)  происходит не во время компиляции,а во время выполнения. 

меня интересовало связывание на уровне компилятора, а полиморфизм я считал только логической штукой для удобства программирования. так вот при чем здесь полиморфизм.

Gunslinger, полиморфизм как он есть возможен как раз благодаря позднему связыванию.

обычно под словом "позднее связывaние" подразумевает связывание в режиме выполнения...
 полиморфизм бывает статический и динамический. Динамический выполняется в рантайм, а статический на этапе компиляции(т.е на при раннем связывании)

Добавлено через 1 минуту и 52 секунды

полиморфизм эта одна одно из проявлений связывания типов.