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

if (std::all_of(begin(container), end(container),

[&](const auto&value) // C++14

{ return value % divisor == 0; }))

Одним из способов решения нашей проблемы с локальной переменной divisorможет быть применение режима захвата по умолчанию по значению, т.e. мы можем добавить лямбда-выражение к filtersследующим образом:

filters.emplace_back( // Теперь

[=](int value) // divisor

{ return value % divisor == 0; } // не может

); // зависнуть

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

“Этого не может случиться! — возразите вы. — После прочтения главы 4 я работаю только с интеллектуальными указателями. Обычные указатели используют только несчастные программисты на С++98”. Это может быть правдой, но это не имеет значения, потому что на самом деле вы используете обычные указатели, а они могут быть удалены. Да, в современном стиле программирования на С++ в исходном коде это незаметно, но это так.

Предположим, что одна из задач, которые могут решать Widget, — добавление элементов в контейнер фильтров:

class Widget {

public:

… // Конструкторы и т.п.

void addFilter() const; // Добавление элемента в filters

private:

int divisor; // Используется в фильтре

};

Widget::addFilterможет быть определен следующим образом:

void Widget::addFilter() const {

filters.emplace_back(

[=](int value) { return value % divisor == 0; }

);

}

Для блаженно непосвященных код выглядит безопасным. Лямбда-выражение зависит от divisor, но режим захвата по умолчанию по значению гарантирует, что divisorкопируется в любое замыкание, получающееся из лямбда-выражения, так ведь? Нет. Совершенно не так. Ужасно не так! Смертельно не так!

Захваты применяются только к нестатическим локальным переменным (включая параметры), видимым в области видимости, в которой создано лямбда-выражение. В теле Widget::addFilterпеременная divisorне является локальной переменной, это — член-данные класса Widget. Она не может быть захвачена. Если отменить режим захвата по умолчанию, код компилироваться не будет:

void Widget::addFilter() const {

filters.emplace_back( // Ошибка! divisor недоступна!

[](int value) { return value % divisor == 0; }

);

}

Кроме того, если сделана попытка явного захвата divisor(по значению или по ссылке — значения не имеет), захват не компилируется, поскольку divisorне является локальной переменной или параметром:

void Widget::addFilter() const {

filters.emplace_back( // Ошибка! Нет захватываемой

[divisor](int value) // локальной переменной divisor!

{ return value % divisor == 0; }

);

}

Если захват по умолчанию по значению не захватывает divisor, а без захвата по умолчанию по значению код не компилируется, то что же происходит?

Объявление связано с неявным использованием обычного указателя: this. Каждая нестатическая функция-член получает указатель this, и вы используете этот указатель всякий раз при упоминании члена-данных этого класса. В любой функции-члене Widget, например, компиляторы внутренне заменяют каждое использование divisorна this->divisor. В версии Widget::addFilterс захватом по умолчанию по значению

void Widget::addFilter() const {

filters.emplace_back(

[=](int value) { return value % divisor == 0; }

);

}

this->divisorзахватывается указатель thisобъекта Widget, а не divisor. Компиляторы рассматривают этот код так, как будто он написан следующим образом:

void Widget::addFilter() const {

auto currentObjectPtr = this;

filters.emplace_back(

[currentObjectPtr](int value)

{ return value % curentObjectPtr->divisor == 0;}

);

}

Понимание этого равносильно пониманию того, что жизнеспособность замыканий, вытекающих из этого лямбда-выражения, связана со временем жизни объекта Widget, копии указателя thisкоторого в них содержатся. В частности, рассмотрим код, который в соответствии с главой 4 использует только интеллектуальные указатели:

using FilterContainer = // Как и ранее

std::vector>;