Ленивое связывание

Материал из in.wiki
Перейти к навигации Перейти к поиску

Ленивое связывание - приём в программировании, подразумевающий установление связи между переменной, функцией или иной именованной сущностью и её значением в последний момент, только тогда, когда использование этого значения становится непосредственно необходимым. До этого момента все манипуляции компилятора и/или среды выполнения с подлежащей, в дальнейшем, связыванию сущностью, осуществляются как с целостным объектом, без учёта его значения.

Как правило, всё это подразумевает, что связывание происходит в момент выполнения программы, а не в период компиляции[1].

Ленивое и динамическое связывание являются достаточно схожими понятиями, но, всё же, различаются. В отличие от по-настоящему ленивого, динамическое связывание может быть осуществлено средой выполнения ПО на этапе выполнения программы, но существенно до реальной необходимости использования связанных с именованными объектами значений. Например, при входе в область видимости какой-то функции, среда выполнения могла бы проинициализировать все объявляемые в ней локальные переменные значениями, и это связывание будет динамическим.

Но ленивым оно не будет, так как, возможно, некоторые из этих переменных не будут использованы при конкретной отработке этой функции (а, может быть, и вообще никогда).

Значение

Ленивое связывание - это довольно удобная и мощная концепция, но, как и все подобные механизмы, она требует от программиста серьёзной дисциплины ума. Увеличивая выразительную мощность кода, в общем случае она снижает его обозримость и, в ряде ситуаций, может провоцировать крайне неочевидные ошибки.

Примечания

  1. Это, впрочем, не обязательно, т.к. связывание может потребоваться при использовании макрогенерации во время компиляции.