![Идиома SFINAE и интроспекция
времени компиляции: пример
template <typename T> struct has_typedef_foobar {
typedef char yes[1]; // sizeof(yes) == 1
typedef char no [2]; // sizeof(no) == 2
template <typename C>
static yes& test(typename C::foobar*);
template <typename> static no& test(...);
static const bool value =
sizeof(test<T>(0)) == sizeof(yes);
};
struct foo { typedef float foobar; };
// has_typedef_foobar<int>::value == false
// has_typedef_foobar<foo>::value == true
14](https://image.slidesharecdn.com/cpp-5-140220194909-phpapp02/85/C-2013-5-14-320.jpg)
![Характеристики типов:
структура remove_extent
Установить тип элемента массива позволяет структура
remove_extent.
template <typename T>
struct remove_extent
{
typedef T type;
};
template <typename T, std::size_t N>
struct remove_extent<T[N]>
{
typedef T type;
};
19](https://image.slidesharecdn.com/cpp-5-140220194909-phpapp02/85/C-2013-5-19-320.jpg)
C++ осень 2013 лекция 5
- 2. Лекция №5. Шаблоны классов и методов. Обработка исключительных ситуаций. Обобщенное и безопасное программирование 1. Шаблоны классов и методов. Обобщенное программирование. Параметры шаблонов. Специализация, конкретизация и перегрузка шаблонов. 2. Рекурсивное определение шаблонов. Основы метапрограммирования. Идиома SFINAE. 3. Понятие, поддержка и технология обработки исключительных ситуаций. 4. Безопасное программирование. Нейтральность кода. Критерии безопасности и нейтральности классов и методов. 5. Безопасность конструкторов и деструкторов. 6. Исключения в стандартной библиотеке. 2
- 3. Шаблоны классов Шаблон класса — элемент языка, позволяющий параметризовать типы и значения, используемые для автоматического создания (конкретизации) классов по обобщенному описанию (шаблону). Использование шаблонов классов — шаг на пути к парадигме обобщенного программирования. Различают описания и определения шаблонов классов. В отличие от «обычного» класса описания и определения шаблона содержат списки параметров шаблона, среди которых выделяются параметры-типы и параметры-константы. Параметры-типы шаблона класса представляют некоторый тип данных, параметры-константы — некоторое константное (вычисляемое при компиляции) выражение. 3
- 4. Шаблоны классов: пример template <class T, class U, int size> // эквивалентно: // template <typename T, typename U, int size> class Test { public: Test() : _size(size) // … private: T _prm_1; U* _prm_2; int _size; }; 4
- 5. Параметры шаблонов классов Параметры шаблона класса не могут быть одноименными члену соответствующего шаблона. Имя параметра шаблона может присутствовать в списке параметров лишь один раз. Имена параметров в объявлении (если есть) и определении шаблона могут различаться. Параметры могут иметь значения по умолчанию. Константные выражения с одинаковыми значениями трактуются как эквивалентные параметры-константы шаблона класса. 5
- 6. Конкретизация шаблонов классов Конкретизация шаблона — это автоматическая генерация исходного кода конкретного класса в соответствии с заданным программистом определением шаблона класса. Конкретизированный шаблон может использоваться везде, где допустимо использование «обычного» класса (включая описания и определения шаблонов функций), а экземпляры автоматически сгенерированного класса — везде, где допустимы «обычные» объекты. Шаблон класса конкретизируется тогда, когда впервые требуется определение автоматически генерируемого класса. Test<int, double, 10> t_id10; 6
- 7. Методы шаблонов классов Методы шаблонов классов также являются шаблонами и конкретизируются в точке вызова или взятия адреса. При этом конкретизируемый метод относится к тому классу, через объект которого вызывается. template <class T, class U, int size> Test<T, U, size>::~Test() { /* … */ } 7
- 8. Дружественные объекты в шаблонах классов Дружественными по отношению к шаблонам классов могут быть: дружественная функция или дружественный класс (не шаблон); связанный шаблон дружественной функции, взаимно однозначно соответствующий шаблону класса (с общим для обоих шаблонов списком параметров); связанный шаблон дружественного класса, взаимно однозначно соответствующий шаблону класса (с общим для обоих шаблонов списком параметров); несвязанный шаблон дружественной функции, соответствующий всем возможным конкретизациям шаблона класса (с раздельными списками параметров); несвязанный шаблон дружественного класса, соответствующий всем возможным конкретизациям шаблона класса (с раздельными списками параметров). 8
- 9. Статические члены шаблонов классов Шаблоны классов могут содержать статические члены данных, собственный набор которых имеет каждый конкретизированный согласно шаблону класс. template <class T, class U, int size> class Test { /* … */ private: static Test *_head; }; template <class T, class U, int size> Test<T, U, size> *Test<T, U, size>::_head = NULL; 9
- 10. Специализация шаблонов классов. Специализация члена класса: пример Шаблоны классов в языке C++ допускают частичную (полную) специализацию, при которой отдельные (все) параметры шаблона заменяются конкретными именами типов или значениями константных выражений. // специализация члена класса template<> void Test<int, double, 10>::foo() { /* … */ } 10
- 11. Полная и частичная специализация класса: пример // полная специализация класса template<> class Test<int, double, 100> { public: Test<int, double, 100>(); ~Test<int, double, 100>(); void foo(); /* … */ }; // частичная специализация класса template <class T, class U> class Test<T, U, 100> { public: Test(); ~Test (); /* … */ }; 11
- 12. Рекурсивное определение шаблонов как пример метапрограммирования template <unsigned long N> struct binary { static unsigned const value = binary<N / 10>::value << 1 | N % 10; }; template <> struct binary<0> { static unsigned const value = 0; }; unsigned const one = binary<1>::value; unsigned const three = binary<11>::value; unsigned const five = binary<101>::value; 12
- 13. Идиома SFINAE Идиома SFINAE (англ. Substitution Failure Is Not An Error — «неудача при подстановке не есть ошибка») является одной из идиом обобщенного программирования и означает ситуацию, при которой невозможность подстановки параметров шаблона не влечет аварийного завершения компиляции. Ситуация, соответствующая идиоме SFINAE, возникает при разрешении перегруженных вызовов, в которых среди множества функций-кандидатов найдется хотя бы одна, полученная в результате конкретизации шаблона. В соответствии с логикой идиомы SFINAE, неудача при подстановке параметров в соответствующий шаблон ведет лишь к удалению данного шаблона из множества кандидатов и не имеет катастрофических последствий для компиляции. 13
- 14. Идиома SFINAE и интроспекция времени компиляции: пример template <typename T> struct has_typedef_foobar { typedef char yes[1]; // sizeof(yes) == 1 typedef char no [2]; // sizeof(no) == 2 template <typename C> static yes& test(typename C::foobar*); template <typename> static no& test(...); static const bool value = sizeof(test<T>(0)) == sizeof(yes); }; struct foo { typedef float foobar; }; // has_typedef_foobar<int>::value == false // has_typedef_foobar<foo>::value == true 14
- 15. Интроспекция времени компиляции в библиотеке boost::type_traits Цель. Через набор узкоспециализированных, имеющих единый дизайн вспомогательных классов упростить работу с атомарными характеристиками типов (англ. type traits) в системе типов языка C++. Библиотека. #include <boost/type_traits.hpp> Реализация. Библиотека характеристик типов содержит значительное количество внутренне весьма однородных классов (структур), многие из которых открыто наследуют типам true_type или false_type (см. далее). 15
- 16. Характеристики типов: структуры is_void, is_pointer // структура is_void template <typename T> struct is_void : public false_type{}; template <> struct is_void<void> : public true_type{}; // структура is_pointer template <typename T> struct is_pointer: public false_type{}; template <typename T> struct is_pointer<T*> : public true_type{}; 16
- 17. Характеристики типов: структуры true_type и false_type template <class T, T val> struct integral_constant { typedef integral_constant<T, val> typedef T static const T }; type; value_type; value = val; typedef integral_constant<bool, true> true_type; typedef integral_constant<bool, false> false_type; 17
- 18. Характеристики типов: иерархии классов Проиллюстрированный подход позволяет строить параллельные иерархии классов, обладающих (потомки true_type) и не обладающих (потомки false_type) искомыми свойствами. Принадлежность к соответствующей иерархии является различительным признаком. 18
- 19. Характеристики типов: структура remove_extent Установить тип элемента массива позволяет структура remove_extent. template <typename T> struct remove_extent { typedef T type; }; template <typename T, std::size_t N> struct remove_extent<T[N]> { typedef T type; }; 19
- 20. Характеристики типов: оптимизация функций (общий случай) Имея эффективную реализацию функции для типов с конкретными характеристиками, нетрудно должным образом специализировать ее шаблон. Например, для std::copy имеем: template<typename I1, typename I2, bool b> I2 copy_imp(I1 first, I1 last, I2 out, const boost::integral_constant<bool, b>&) { while(first != last) { *out = *first; ++out; ++first; } return out; } 20
- 21. Характеристики типов: оптимизация функций(оптимизированная реализация) template<typename T> T* copy_imp(const T* first, const T* last, T* out, const boost::true_type&) { memmove(out, first, (last - first) * sizeof(T)); return out + (last - first); } 21
- 22. Характеристики типов: оптимизация функций (вызывающая функция) template<typename I1, typename I2> inline I2 copy(I1 first, I1 last, I2 out) { typedef typename std::iterator_traits<I1>:: value_type value_type; return copy_imp(first, last, out, boost::has_trivial_assign<value_type>()); } 22
- 23. Характеристики типов: исключение деструкторов (вызов ~T() обязателен) Столь же нетрудно избежать накладных расходов на вызов деструкторов в случаях, когда этого допускает структура соответствующих классов. template<class T> void do_destroy_array(T* first, T* last, const boost::false_type&) { while(first != last) { first->~T(); ++first; } } 23
- 24. Характеристики типов: исключение деструкторов (вызов ~T() факультативен) template<class T> inline void do_destroy_array(T* first, T* last, const boost::true_type&) { } // вызывающая функция template<class T> inline void destroy_array(T* p1, T* p2) { do_destroy_array(p1, p2, boost::has_trivial_destructor<T>()); } 24
- 25. Понятие исключительной ситуации (1 / 2) Естественный порядок функционирование программ нарушают возникающие нештатные ситуации, в большинстве случаев связанные с ошибками времени выполнения (иногда — с необходимостью внезапно переключить контекст приложения). В языке C++ такие нештатные ситуации называются исключительными (иначе говоря — исключениями). Примерами исключительных ситуаций являются: нехватка оперативной памяти; попытка доступа к элементу коллекции по некорректному индексу; попытка недопустимого преобразования динамических типов и пр. 25
- 26. Понятие исключительной ситуации (2 / 2) Архитектурной особенностью механизма обработки исключительных ситуаций в языке C++ является принципиальная независимость (несвязность) фрагментов программы, где исключение возбуждается и где оно обрабатывается. Обработка исключительных ситуаций носит невозвратный характер. 26
- 27. Объекты-исключения. Оператор throw Носителями информации об аномальной ситуации (исключении) в C++ являются объекты заранее выбранных на эту роль типов (пользовательских или — Sic! — базовых, например, char*). Такие объекты называются объектами-исключениями. Жизненный цикл объектов-исключений начинается с возбуждения исключительной ситуации посредством оператора throw: throw "Illegal cast"; /* … */ throw IllegalCast(); /* … */ enum EPrgStatus {psOK, psBadIndex, throw psIllegalCast; // char * // class IllegalCast psIllegalCast}; // enum EPrgStatus 27
- 28. Защищенные блоки. Операторы try, catch Небезопасные с точки зрения исключений фрагменты кода могут инкапсулироваться в защищенный (контролируемый) блок, за которым следует один или несколько связанных с ним блоковобработчиков исключений. Защищенные блоки кода начинаются ключевым словом try, блоки-обработчики — словом catch. При возбуждении исключения в одном из операторов защищенного блока все следующие за ним операторы блока автоматически пропускаются, а управление передается ближайшему соответствующему блоку-обработчику исключения. Если такой блок не найден, управление берет на себя стандартная функция terminate(). Иначе обработку исключительной ситуации берет на себя первый подходящий для этого блок в порядке их указания в исходном коде. 28
- 29. Защищенные блоки. Операторы try, catch: пример void foo() { /* … */ throw "Illegal id"; /* … */ } // не выполняется void bar() { try { foo(); /* … */ // не выполняется } catch(char *s) { std::cout << s << std::endl; } } 29
- 30. Функциональные защищенные блоки Как защищенный блок может быть оформлена не только часть функции, но и функция целиком (в том числе main() и конструкторы классов). В таком случае защищенный блок называют функциональным. Например: void foobar() try { /* … */ } catch( /* … */ ) { /* … */ } catch( /* … */ ) { /* … */ } catch( /* … */ ) { /* … */ } 30
- 31. Варианты описания исключений Описание исключения в блоке-обработчике может содержать имя типа, объекта, ссылки или указателя на объект. catch(IllegalCast) { /* … */ } catch(IllegalCast ic) { /* … */ } catch(IllegalCast &ric) { /* … */ } catch(IllegalCast *pic) { /* … */ } 31
- 32. Раскрутка стека и уничтожение объектов Поиск catch-блока, пригодного для обработки возбужденного исключения, приводит к раскрутке стека — последовательному выходу из составных операторов и определений функций. В ходе раскрутки стека происходит уничтожение локальных объектов, определенных в покидаемых областях видимости. При этом деструкторы локальных объектов вызываются штатным образом (строгая гарантия C++). Исключение, для обработки которого не найден catch-блок, инициирует запуск функции terminate(), передающей управление функции abort(), которая аварийно завершает программу. 32
- 33. Повторное возбуждение исключения и универсальный блок-обработчик Оператор throw без параметров помещается (только) в catch-блок и повторно возбуждает обрабатываемое исключение. При этом его копия не создается: throw; Особая форма блока-обработчика исключений осуществляет перехват любых исключений: catch(...) { /* … */ }; 33
- 34. Безопасность ПО как показатель качества Безопасность — один из показателей качества ПО, оцениваемый путем статического анализа состава и взаимосвязей используемых компонентов, исходного кода и схемы БД. Для обеспечения «структурной безопасности» исходного кода необходимо соблюдение стандартов разработки архитектуры и стандартов кодирования. Примечание: См. модели качества ПО, описанные в стандартах: ГОСТ Р ИСО/МЭК 9126-93. Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению; ISO/IEC 9126:2001. Software Engineering — Product Quality; ISO/IEC 25010:2011. Systems and Software Engineering — Systems and software Quality Requirements and Evaluation (SQuaRE) — System and software quality models. 34
- 35. Стандарты кодирования — за «безопасный код» Структурная безопасность исходного кода ПО требует соблюдения определенных техник кодирования, одной из которых является систематическая обработка ошибок и исключительных ситуаций на всех уровнях архитектуры (уровень представления, уровень бизнес-логики, уровень (базы) данных). Одним из элементов обработки ошибок и исключений является спецификация (ограничение) типов исключений, которые могут порождать структурные элементы кода. 35
- 36. Безопасность классов и методов Функция C++ безопасна, если она не возбуждает никаких исключений или все возбужденные внутри нее исключения обрабатываются в ее теле. Класс C++ безопасен, если безопасны все его методы. В свою очередь, небезопасные функции могут специфицировать исключения, возбуждением которых (и только их!) способно завершиться исполнение таких функций. Обнаруженное при исполнении нарушение гарантии влечет за собой вызов функции unexpected(), по умолчанию вызывающей terminate(). Виртуальные функции в производных классах могут повторять спецификации исключений функций в базовых классов или накладывать более строгие ограничения. 36
- 37. Безопасность классов и методов: пример // описания функций int foo(int &i) throw(); bool bar(char *pc = 0) throw(IllegalCast); void foobar() throw(IllegalCast, BadIndex); // определения функции int foo(int &i) throw() { /* … */} bool bar(char *pc = 0) throw(IllegalCast) { /* … */} void foobar() throw(IllegalCast, BadIndex) { /* … */} 37
- 38. Безопасность конструкторов Конструкторы, как и другие методы классов, могут возбуждать исключения. Для обработки всех исключений, возникших при исполнении конструктора, его тело и список инициализации должны быть совместно помещены в функциональный защищенный блок. Beta::Beta(int value) try : Alpha(foo(value)) { // тело конструктора /* … */ } catch(...) { /* … */ } 38
- 39. Безопасность деструкторов Деструкторы классов не должны возбуждать исключения. Одной из причин этого является необходимость корректного освобождения ресурсов, занятых массивами и коллекциями объектов: если вызываемая в деструкторе функция может возбудить исключение, деструктор должен перехватить и обработать его (возможно, прервав программу); если возможность реакции на исключение необходима клиентам класса во время некоторой операции, в его открытом интерфейса должна быть функция (не деструктор!), которая такую операцию выполняет. В общем случае деструктор класса может специфицироваться как throw(): ~Alpha() throw(); 39
- 40. Безопасность или нейтральность кода? От безопасности программного кода важно отличать нейтральность, под которой, согласно терминологии Г. Саттера (Herb Sutter), следует понимать способность методов класса прозрачно «пропускать сквозь себя» объекты-исключения, полученные ими на обработку, но не предназначенные для них. Нейтральный метод: может обрабатывать исключения; должен ретранслировать полученные им исключения методуобработчику в неизменном виде и сохранять свою работоспособность при любых обстоятельствах. 40
- 41. Пользовательские и стандартные классы исключительных ситуаций Для передачи из точки возбуждения исключения в точку его обработки сведений об условиях возникновения аномалии программист может определять и использовать собственные классы исключительных ситуаций. Такие классы могут быть сколь угодно простыми (включая пустые) или сложными (содержащими члены данных, конструкторы, деструкторы и интерфейсные методы). Стандартная библиотека языка C++ содержит собственную иерархию классов исключений, являющихся прямыми или косвенными потомками базового класса exception. Потомки класса exception условно представляют две категории ошибок: логические ошибки и ошибки времени исполнения. 41
- 42. Класс std::exception namespace std { class exception { public: exception() throw(); exception( const exception & ) throw(); exception& operator=( const exception & ) throw(); virtual ~exception() throw(); virtual const char* what() const throw(); }; } 42
- 43. Стандартные классы ― логические ошибки В число классов категории «логические ошибки» входят базовый промежуточный класс logic_error, а также производные от него специализированные классы: invalid_argument out_of_range length_error domain_error — — — — ошибка «неверный аргумент»; ошибка «вне диапазона»; ошибка «неверная длина»; ошибка «вне допустимой области». 43
- 44. Стандартные классы ― ошибки времени исполнения В число классов категории «ошибки времени исполнения» входят базовый промежуточный класс runtime_error, а также производные от него специализированные классы: range_error — ошибка диапазона; overflow_error — переполнение; underflow_error — потеря значимости. 44
- 45. Прочие классы исключений стандартной библиотеки Также производными от exception являются классы bad_alloc и bad_cast, сигнализирующие об ошибках при выделении динамической памяти и неудаче при выполнении «ссылочного» варианта операции dynamic_cast, соответственно. 45
- 46. Классы исключений стандартной библиотеки: «вид сверху» 46
- 47. Спасибо за внимание Алексей Петров