Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

FilterContainer filters; // Как и ранее

void doSomeWork() {

auto pw = // Создание Widget;

std::make_unique(); // std::make_unique см. в

// разделе 4.4

pw->addFilter(); // Добавление фильтра

// с Widget::divisor

} // Уничтожение Widget; filters хранит висячий указатель!

Когда выполняется вызов doSomeWork, создается фильтр, зависящий от объекта Widget, созданного std::make_unique, т.e. фильтр, который содержит копию указателя на этот Widget, — указатель thisобъекта Widget. Этот фильтр добавляется в filters, но по завершении работы doSomeWorkобъект Widgetуничтожается, так как std::unique_ptrуправляет его временем жизни (см. раздел 4.1). С этого момента filtersсодержит элемент с висячим указателем.

Эта конкретная проблема может быть решена путем создания локальной копии члена-данных, который вы хотите захватить, и захвата этой копии:

void Widget::addFilter() const {

auto divisorCopy = divisor; // Копирование

filters.emplace_back( // члена-данных

[divisorCopy](int value) // Захват копии

{ return value % divisorCopy== 0; } // Ее использование

);

);

Чтобы быть честным, скажу, что при таком подходе захват по умолчанию по значению также будет работать:

void Widget::addFilter() const {

auto divisorCopy = divisor; // Копирование

filters.emplace_back( // члена-данных

[=](int value) // Захват копии

{ return value % divisorCopy== 0; } // Ее использование

);

}

но зачем искушать судьбу? Режим захвата по умолчанию делает возможным случайный захват this, когда вы думаете, в первую очередь, о захвате divisor.

В С++14 имеется лучший способ захвата члена-данных, заключающийся в использовании обобщенного захвата лямбда-выражения (см. раздел 6.2):

void Widget::addFilter() const {

filters.emplace_back( // С++14:

[divisor = divisor](int value) // Копирование divisor

// в замыкание

{ return value % divisor== 0; } // Использование копии

);

}

Однако такого понятия, как режим захвата по умолчанию для обобщенного захвата лямбда-выражения, не существует, так что даже в С++14 остается актуальным совет данного раздела — избегать режимов захвата по умолчанию.

Дополнительным недостатком режимов захвата по умолчанию является то, что они могут предполагать самодостаточность соответствующих замыканий и их изолированность от изменений внешних данных. В общем случае это не так, поскольку лямбда-выражения могут зависеть не только от локальных переменных и параметров (которые могут быть захвачены), но и от объектов со статическим временем хранения . Такие объекты определены в глобальной области видимости или области видимости пространства имен или объявлены как staticвнутри классов, функций или файлов. Эти объекты могут использоваться внутри лямбда-выражений, но не могут быть захвачены. Тем не менее спецификация режима захвата по умолчанию может создать именно такое впечатление. Рассмотрим преобразованную версию функции addDivisorFilter, с которой мы встречались ранее:

void addDivisorFilter() {

staticauto calc1

= computeSomeValue1() ; // Статический

staticauto calc2

= computeSomeValue2(); // Статический

staticauto divisor= // Статический

computeDivisor(calc1, calc2);

filters.emplace_back(

[=](int value) // Ничего не захватывает

{ return value % divisor== 0; } // Ссылка на статическую

); // переменную

++divisor; // Изменение divisor

}

Случайный читатель этого кода может быть прощен за то, что, видя [=], может подумать “Отлично, лямбда-выражение делает копию всех объектов, которые использует, и поэтому оно является самодостаточным”. Но это не так. Это лямбда-выражение не использует никакие нестатические локальные переменные, поэтому ничего не захватывается. Вместо этого код лямбда-выражения обращается к статической переменной divisor. Когда в конце каждого вызова addDivisorFilterвыполняется увеличение divisor, все лямбда-выражения, которые были добавлены в filtersс помощью данной функции, будут демонстрировать новое поведение (соответствующее новому значению divisor). С практической точки зрения это лямбда-выражение захватывает divisorпо ссылке, а это выглядит противоречащим объявленному захвату по умолчанию по значению. Если держаться подальше от захвата по умолчанию по значению, можно уменьшить риск неверного понимания такого кода.