Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
В компьютерном программировании ленивая инициализация – это стратегия отсрочки создания объекта, вычисления значения или выполнения другого ресурсоемкого процесса до момента его первого использования. Это разновидность ленивых вычислений, относящаяся конкретно к созданию экземпляров объектов или других ресурсов. Обычно это достигается путем добавления проверки в метод доступа (или геттер свойства), чтобы определить, был ли уже инициализирован приватный член, выполняющий роль кэша. Если да, то он возвращается немедленно. Если нет, создается новый экземпляр, помещается в переменную-член и возвращается вызывающей стороне непосредственно перед первым использованием. Если объекты имеют свойства, которые используются редко, это может повысить скорость запуска. Средняя производительность программы может незначительно снизиться с точки зрения использования памяти (для переменных состояния) и тактов процессора (на их проверку), но затраты на создание объектов распределяются во времени ("амортизируются"), а не концентрируются на этапе запуска системы, что позволяет значительно улучшить медианное время отклика. В многопоточном коде доступ к лениво инициализированным объектам/состояниям должен быть синхронизирован для предотвращения гонок данных.
In computer programming, lazy initialization is the tactic of delaying the creation of an object, the calculation of a value, or some other expensive process until the first time it is needed. It is a kind of lazy evaluation that refers specifically to the instantiation of objects or other resources. This is typically accomplished by augmenting an accessor method (or property getter) to check whether a private member, acting as a cache, has already been initialized. If it has, it is returned straight away. If not, a new instance is created, placed into the member variable, and returned to the caller just in time for its first use. If objects have properties that are rarely used, this can improve startup speed. Mean average program performance may be slightly worse in terms of memory (for the condition variables) and execution cycles (to check them), but the impact of object instantiation is spread in time ("amortized") rather than concentrated in the startup phase of a system, and thus median response times can be greatly improved. In multithreaded code, access to lazy initialized objects/state must be synchronized to guard against race conditions.
Теоретическая информатика
В области теоретической информатики, ленивая инициализация (также называемая ленивым массивом) — это техника проектирования структур данных, которые могут работать с памятью, не требующей предварительной инициализации. В частности, предположим, что у нас есть доступ к таблице T, состоящей из n неинициализированных ячеек памяти (пронумерованных от 1 до n), и мы хотим присвоить значения m ячейкам этого массива, например, присвоить T[ki] := vi для пар (k1, v1), …, (km, vm), где все ki различны. Техника ленивой инициализации позволяет сделать это всего за O(m) операций, вместо O(m+n) операций, необходимых для предварительной инициализации всех ячеек массива. Суть техники заключается в выделении таблицы V, хранящей пары (ki, vi) в произвольном порядке, и записи в каждую ячейку T[ki] позиции в V, где хранится ключ ki, оставляя остальные ячейки T неинициализированными. Это позволяет обрабатывать запросы следующим образом: при обращении к ячейке T[k] для некоторого k, мы проверяем, находится ли k в диапазоне {1, …, m}: если нет, то T[k] не инициализирована. В противном случае мы проверяем V[T[k]] и убеждаемся, что первый элемент этой пары равен k. Если это не так, то T[k] не инициализирована (и случайно оказалась в диапазоне {1, …, m}). В противном случае мы знаем, что T[k] действительно является одной из инициализированных ячеек, а соответствующее значение — второй элемент пары.
In the field of theoretical computer science, lazy initialization (also called a lazy array) is a technique to design data structures that can work with memory that does not need to be initialized. Specifically, assume that we have access to a table T of n uninitialized memory cells (numbered from 1 to n), and want to assign m cells of this array, e. g., we want to assign T[ki] := vi for pairs (k1, v1), , (km, vm) with all ki being different. The lazy initialization technique allows us to do this in just O(m) operations, rather than spending O(m+n) operations to first initialize all array cells. The technique is simply to allocate a table V storing the pairs (ki, vi) in some arbitrary order, and to write for each i in the cell T[ki] the position in V where key ki is stored, leaving the other cells of T uninitialized. This can be used to handle queries in the following fashion: when we look up cell T[k] for some k, we can check if k is in the range {1, , m}: if it is not, then T[k] is uninitialized. Otherwise, we check V[T[k]], and verify that the first component of this pair is equal to k. If it is not, then T[k] is uninitialized (and just happened by accident to fall in the range {1, , m}). Otherwise, we know that T[k] is indeed one of the initialized cells, and the corresponding value is the second component of the pair.