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

Применим этот метод к примеру logAndAddиз третьего фрагмента кода раздела 5.4. Чтобы вам не пришлось его искать, повторим его здесь:

std::multiset names; // Глобальная структура данных

template // Делает запись в журнале и

void logAndAdd(T&& name) // добавляет name в names

{

auto now = std::chrono::system_clock::now();

log(now, "logAndAdd");

names.emplace(std::forward(name));

}

Сама по себе эта функция работает отлично, но если мы добавим перегрузку, принимающую значение типа int, использующееся для поиска объекта по индексу, то получим проблемы, описанные в разделе 5.4. Цель данного раздела — их избежать. Вместо добавления перегрузки мы реализуем logAndAddзаново для делегирования работы двум другим функциям: одной — для целочисленных значений, а другой — для всего прочего. Сама функция logAndAddбудет принимать все типы аргументов, как целочисленные, так и нет.

Эти две функции, выполняющие реальную работу, будут называться logAndAddImpl, т.e. мы воспользуемся перегрузкой. Одна из этих функций будет принимать универсальную ссылку. Так что у нас будет одновременно и перегрузка, и универсальные ссылки. Но каждая функция будет принимать и второй параметр, указывающий, является ли передаваемый аргумент целочисленным значением. Этот второй параметр и будет средством, избавляющим нас от падений в болото, описанное в разделе 5.4, так как он будет фактором, определяющим выбираемую перегрузку.

Что вы говорите? “Хватит трепа, переходи к делу”? Да хоть сию секунду! Вот почти корректная версия обновленной функции logAndAdd:

template

void logAndAdd(T&& name)

{

logAndAddImpl(std::forward(name),

std::is_integral()); // Не совсем корректно

}

Эта функция передает свой параметр в logAndAddImplи при этом передает также аргумент, указывающий, является ли тип параметра ( T) целочисленным. Как минимум это то, что она должна делать. То же самое она делает и для целочисленных аргументов, являющихся rvalue. Но, как поясняется в разделе 5.6, если lvalue-аргумент передается универсальной ссылке name, то выведенный тип для Tбудет lvalue-ссылкой. Так что если в функцию logAndAddпередается lvalue типа int, то тип Tбудет выведен как int&. Но это не целочисленный тип — ссылка таковым не является. Это означает, что std::is_integralбудет иметь ложное значение для любого lvalue-аргумента, даже если этот аргумент на самом деле является целочисленным значением.

Понимание данной проблемы равносильно ее решению, поскольку в стандартной библиотеке имеется такое средство, как std::remove_reference(см. раздел 3.3), которое делает то, о чем говорит его имя и в чем мы так нуждаемся: удаляет любые квалификаторы ссылок из типа. Так что верный способ написания logAndAddимеет следующий вид:

template

void logAndAdd(T&& name) {

logAndAddImpl(

std::forward(name), std::is_integral<

typename std::remove_reference::type

>()

);

}

Это в определенной мере трюк. (Кстати, в С++14 можно сэкономить несколько нажатий клавиш, воспользовавшись вместо выделенного текста std::remove_reference_t. Подробнее об этом рассказывается в разделе 3.3.)

После принятия этих мер мы можем перенести наше внимание к вызываемой функции, logAndAddImpl. Имеются две перегрузки, первая из которых применима к любому нецелочисленному типу (т.e. ко всем типам, для которых значение std::is_integral::type>ложно):

// Нецелочисленный аргумент добавляется

// в глобальную структуру данных: template

void logAndAddImpl(T&& name, std::false_type) {

auto now = std::chrono::system_clock::now();

log(now, "logAndAdd");

names.emplace(std::forward(name));

}

Этот код прост, если вы понимаете механику, лежащую в основе выделенного параметра. Концептуально logAndAddпередает в функцию logAndAddImplбулево значение, указывающее, передан ли функции logAndAddцелочисленный тип, но значения trueи falseявляются значениями времени выполнения, а нам для выбора верной версии logAndAddImplнеобходимо разрешение перегрузки, т.e. явление времени компиляции . Это означает, что нам нужен тип , соответствующий значению true, и другой тип, соответствующий значению false. Такая необходимость — настолько распространенное явление, что стандартная библиотека предоставляет то, что нам нужно, под именами std::true_typeи std::false_type. Аргумент, передаваемый в logAndAddImplфункцией logAndAdd, является объектом типа, унаследованного от std::true_type, если T — целочисленный тип, и от std::false_type, если Tтаковым не является. Конечный результат заключается в том, что эта перегрузка logAndAddImplявляется реальным кандидатом для вызова в logAndAdd, только если Tне является целочисленным типом.