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

class Person {

public:

template<

typename T,

typename = typename std::enable_if<

!std:: is_base_of

typename std::decay::type

>::value

>::type

>

explicit Person(T&& n);

};

Вот теперь работа завершена. Вернее, завершена при условии, что мы пишем код на С++11. При использовании С++14 этот код будет работать, но мы можем использовать псевдонимы шаблонов для std::enable_ifи std::decay, чтобы избавиться от хлама в виде typenameи ::type, получая несколько более приятный код:

class Person { // С++14

public:

template<

typename T,

typename = std::enable_if _t< // Меньше кода здесь

!std::is_base_of

std::decay _t // И здесь

>::value

> // И здесь

>

explicit Person(T&& n);

};

Ладно, я признаю: я соврал. Мы до сих пор не сделали всю работу. Но мы уже близки к завершению. Соблазнительно близки. Честно!

Мы видели, как использовать std::enable_ifдля выборочного отключения конструктора с универсальной ссылкой класса Personдля типов аргументов, которые мы хотим обрабатывать с помощью копирующего и перемещающего конструкторов, но мы еще не видели, как применить его для того, чтобы отличать целочисленные аргументы от не являющихся таковыми. В конце концов, таковой была наша первоначальная цель; проблема неоднозначности конструктора была всего лишь неприятностью, подхваченной по дороге.

Все, что нам нужно сделать (и на этот раз “все” действительно означает, что это уже все), — это (1) добавить перегрузку конструктора Personдля обработки целочисленных аргументов и (2) сильнее ограничить шаблонный конструктор так, чтобы он был отключен для таких аргументов. Положите эти ингредиенты в кастрюлю со всем остальным, что мы уже обсуждали, варите на медленном огне и наслаждайтесь ароматом успеха:

class Person {

public:

template<

typename T,

typename = std::enable_if_t<

!std::is_base_of>::value

&&

!std::is_integral>::value

>

>

explicit Person(T&& n) // Конструктор для std::string и

: name(std::forward(n)) // аргументов, приводимых к

{ … } // std::string

explicit Person(int idx) // Конструктор для

: name(nameFromIdx(idx)) // целочисленных аргументов

{ … }

… // Копирующий и перемещающий конструкторы и т.д.

private:

std::string name;

};

Красота! Ну ладно, красота в основном для тех, кто фетишизирует метапрограммирование с использованием шаблонов, но факт остается фактом: этот подход не только справляется с работой, но и делает это с чрезвычайным апломбом. Применение прямой передачи предполагает высокую эффективность, а управление сочетанием универсальных ссылок и перегрузки вместо их запрета позволяет применять этот метод в обстоятельствах (таких, как разработка конструкторов), когда перегрузка неизбежна.

Первые три рассмотренные в данном разделе метода — отказ от перегрузки, передача const T&и передача по значению — указывают тип каждого параметра в вызываемой функции или функциях. Последние два метода — диспетчеризация дескрипторов и ограничения шаблонов — используют прямую передачу, а следовательно, типы параметров не указывают. Это фундаментальное решение — указывать типы или нет — имеет свои следствия.

Как правило, прямая передача более эффективна, потому что позволяет избежать создания временных объектов исключительно с целью соответствия типу объявления параметра. В случае конструктора Personпрямая передача допускает передачу строкового литерала, такого как "Nancy", непосредственно в конструктор для std::stringвнутри Person, в то время как методы, не использующие прямой передачи, вынуждены создавать временный объект std::stringиз строкового литерала для удовлетворения спецификации параметра конструктора Person.

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

Второй неприятностью является запутанность сообщений об ошибках, когда клиенты передают недопустимые аргументы. Предположим, например, что клиент, создающий объект Person, передает строковый литерал, составленный из символов char16_t(тип С++11 для представления 16-разрядных символов) вместо char(из которых состоит std::string):