The Importance of Being Lazy

Вспомните определение always_int из предыдущей главы:

struct always_int
{
    typedef int type;
};

Поначалу нульарные метафункции могут показаться не очень важными, поскольку что-то вроде add_pointer может быть заменено int* в любом лямбда-выражении, где оно появляется. Не все нулевые метафункции так просты:

typedef mpl::vector<int, char*, double&> seq;
typedef mpl::transform<seq, boost::add_pointer<_> > calc_ptr_seq;

Обратите внимание, что calc_ptr_seq является нулевой метафункцией, поскольку имеет трансформацию вложенного ::type. Шаблон C++ не создается до тех пор, пока мы не заглянем внутрь него. Простое наименование calc_ptr_seq не вызывает его оценки, поскольку мы не получили доступ к нему. : тип .

Метафункции можно вызывать lazily, а не сразу после подачи всех аргументов. Мы можем использовать ленивую оценку для улучшения времени компиляции, когда результат метафункции будет использоваться только условно. Иногда мы также можем избежать искажения структуры программы, назвав недействительным вычислением, не выполняя его. Это то, что мы сделали с calc_ptr_seq выше, так как вы не можете юридически сформировать double&*. Лень и все ее достоинства будут повторяющейся темой в этой книге.