Лекция 9. SFINAE (1115002)
Текст из файла
Лекция 9. SFINAEValery Lesin. C++ In-Depth, 20141Выбор кода в зависимости от типа• Самый простой вариант – перегрузка функции1.2.3.4.5.6.7.8.9.10.11.12.13.struct currency_value{string name;double value;};// by overloadingostream& operator<<(ostream&, int){ /*...*/ }ostream& operator<<(ostream& os, currency_value v){ os << "(" << v.name << "; " << v.value << ")"; }Valery Lesin. C++ In-Depth, 20142Выбор кода в зависимости от типа• Выбор класса по типу используемому типуможно осуществить специализацией шаблона1.2.3.4.5.6.7.8.// by specializationtemplate<class T, class A>struct my_array{ /*...*/ };template<class A>struct my_array<bool, A>{ /*...*/ };Valery Lesin.
C++ In-Depth, 20143Выбор типа по условию• Как осуществить выбор типа по заданномуусловию?1.2.3.4.5.6.7.8.9.10.11.12.template<class T>struct sequence{vector<T> data_;};template<class T, bool is_polymorph>struct sequence{typedef /* ??? */ value_type;vector<value_type> data_;};Valery Lesin. C++ In-Depth, 20144Выбор типа по условию• Простое решение – специализация класса.• Плохо масштабируется – придется– выделять общую базу,– для каждого подобного использования делать специализацию1.2.3.4.5.6.7.8.9.10.11.12.13.template<class T, bool is_polymorph>struct sequence{typedef T* value_type;vector<value_type> data_;};template<class T>struct sequence<T, false>{typedef T value_type;vector<value_type> data_;};Valery Lesin.
C++ In-Depth, 20145Выбор типа по условию• Можно сделать специальную метафункцию,предоставляющую выбор типа по условию1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.template<bool take_first, class T1, class T2>struct select{ typedef T1 type; };template<class T1, class T2>struct select<false, T1, T2>{ typedef T2 type; };// resulttemplate<class T, bool polymorph>struct sequence{typedef select<polymorph, T*, T>::type value_type;vector<value_type> data_;};Valery Lesin. C++ In-Depth, 20146Проверка приводимости• Хотим проверить, является ли B - открытым базовымклассам для D?• Попробуем это сделать через перегрузку функции.• Обратите внимание - нет определений функций.1.2.3.4.5.6.7.8.9.10.11.typedef char yes;typedef struct { yes dummy[2]; } no;yes check(B);no check(...);// why not this way?template<class T>no check(T);const conv_exist = sizeof(check(D())) == sizeof(yes);Valery Lesin.
C++ In-Depth, 20147Проверка на базовый класс• Оформим в виде класса или макроса.1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.template<class D, class B>class converts_to{typedef charyes;typedef struct { yes dm[2]; }no;static yes check(B const&);static no check(...);static D makeD();public:// by agreement used in STLenum { value = sizeof(check(makeD())) == sizeof(yes) };};#define BASE_N_DERIVED(B, D)\converts_to <const D*, const B*>::value &&\!is_same_type<const B*, const void*>::value;Valery Lesin.
C++ In-Depth, 20148SFINAE• SFINAE - Substitutaion Failure Is Not An Error• При определении перегрузки функции ошибочноеинстанцирование шаблонов не вызывают ошибкукомпиляции, а выбрасывает функцию из спискакандидатов на наиболее подходящую перегрузку.• SFINAE работает только с перегрузкой функций.• Перегрузки могут отбрасываться в том случае, когдаих невозможно инстанциировать из-за возникающейсинтаксической ошибки - компиляция при этомпродолжается без ошибок.• Но не забывайте предоставить альтернативу.• SFINAE рассматривает только заголовок функции,ошибки в теле функции не будут пропущены.Valery Lesin.
C++ In-Depth, 20149Проверка на контейнер• Проверим наличие методов begin и end.• Работает для vector и list, но не для set или map. Почему?1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.template<class T>struct has_begin_end{typedef char yes;typedef struct { yes dm[2]; } no;template<class U,typename U::iterator (U::*)(),typename U::iterator (U::*)()>struct checker{};template<class U>static yes check(checker<U, &U::begin, &U::end>*);template<class U>static no check(...);public:enum { value = sizeof(check<T>(0)) == sizeof(yes) };};Valery Lesin.
C++ In-Depth, 201410Проверка на контейнер• Можно проверить даже на наличие функции, полученнойот базового класса. Для этого воспользуемся decltype.1.2.3.4.5.6.7.8.9.10.11.12.13.template <class T>struct has_cbegin_cend{typedef char yes;typedef struct { yes dummy[2]; }no;template <typename U>static auto test(U* u)-> decltype((*u).cbegin(), (*u).cend(), yes());static notest(...);enum { value = (sizeof(yes) == sizeof test((T*)0)) };};Valery Lesin.
C++ In-Depth, 201411Выбор по свойству типа• В STL и Boost несколько отличаются эти типы.std::enable_if == boost::enable_if_c• В Boost также есть [lazy_] {enable/disable}_if [_c]1.2.3.4.5.6.7.8.9.template <bool Cond, class T = void>struct enable_if{typedef T type;};template <class T>struct enable_if<false, T>{};Valery Lesin. C++ In-Depth, 201412Выбор по свойству типа1.2.3.4.5.6.7.8.9.10.11.12.13.template<class T>enable_if<has_begin_end<T>::value>::typemy_print(T const& cont){for(auto const& item: cont)cout << item << " ";}template<class T>void my_print(T const& value,enable_if<!has_begin_end<T>::value>::type* = 0){ cout << value; }• Возвращать или передавать?– из конструкторов нельзя ничего вернуть– операторы часто фиксируются количество переданных импараметров– оператор приведения должен возвращать зафиксированный тип– в остальных случаях есть выбор!Valery Lesin.
C++ In-Depth, 201413Вопросы?Valery Lesin. C++ In-Depth, 201414.
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
