Predefined Concepts . Boost , The Boost C++ Libraries BoostBook Documentation Subset , Chapter 37. Boost.TypeErasure

Predefined Concepts

В следующих таблицах<T>и<U>приведены типы, к которым относится операция,<R>— тип результата.<T>всегда по умолчанию<_self>, чтобы соответствовать по умолчанию поведения любого. Эти понятия предполагают нормальную семантику. Таким образом, операторы сравнения всегда возвращаются, и ссылки будут добавлены к аргументам и результатам.

Если не указано иное, примитивные понятия, определяемые библиотекой, могут быть специализированы для предоставления концептуальных карт.<copy_constructible>Концепции итератора не могут быть специализированными, поскольку они являются композитами.<constructible>,<destructible>,<typeid_>и<same_type>не могут быть специализированными, поскольку они требуют специального обращения в библиотеке.

Table 37.1. Special Members

концепция	примечания
<`constructible`><`<Sig>`>	-
<`copy_constructible`><`<T>`>	-
<`destructible`><`<T>`>	-
<`assignable`><`<T,U=T>`>	-
<`typeid_`><`<T>`>	-

Table 37.2. Unary Operators

оператор	концепция	примечания
<`operator++`>	<`incrementable`><`<T>`>	Отдельного приращения нет .
<`operator--`>	<`decrementable`><`<T>`>	Отдельного постамента не существует .
<`operator*`>	<`dereferenceable`><`<R,T>`>	<`R`>обычно является ссылкой .
<`operator~`>	<`complementable`><`<T,R=T>`>	-
<`operator-`>	<`negatable`><`<T,R=T>`>	-

Table 37.3. Binary Operators

оператор	концепция	примечания
<`operator+`>	<`addable`><`<T,U=T,R=T>`>	-
<`operator-`>	<`subtractable`><`<T,U=T,R=T>`>	-
<`operator*`>	<`multipliable`><`<T,U=T,R=T>`>	-
<`operator/`>	<`dividable`><`<T,U=T,R=T>`>	-
<`operator%`>	<`modable`><`<T,U=T,R=T>`>	-
<`operator&`>	<`bitandable`><`<T,U=T,R=T>`>	-
<`operator\|`>	<`bitorable`><`<T,U=T,R=T>`>	-
<`operator^`>	<`bitxorable`><`<T,U=T,R=T>`>	-
<`operator<<`>	<`left_shiftable`><`<T,U=T,R=T>`>	-
<`operator>>`>	<`right_shiftable`><`<T,U=T,R=T>`>	-
<`operator==`>и<`!=`>	<`equality_comparable`><`<T,U=T>`>	<`!=`>реализуется в терминах<`==`>
<`operator<`>,<`>`>,<`<=`>и<`>=`>	<`less_than_comparable`><`<T,U=T>`>	Все они реализованы в терминах<`<`>
<`operator+=`>	<`add_assignable`><`<T,U=T>`>	-
<`operator-=`>	<`subtract_assignable`><`<T,U=T>`>	-
<`operator*=`>	<`multiply_assignable`><`<T,U=T>`>	-
<`operator/=`>	<`divide_assignable`><`<T,U=T>`>	-
<`operator%=`>	<`mod_assignable`><`<T,U=T>`>	-
<`operator&=`>	<`bitand_assignable`><`<T,U=T>`>	-
<`operator\|=`>	<`bitor_assignable`><`<T,U=T>`>	-
<`operator^=`>	<`bitxor_assignable`><`<T,U=T>`>	-
<`operator<<=`>	<`left_shift_assignable`><`<T,U=T>`>	-
<`operator>>=`>	<`right_shift_assignable`><`<T,U=T>`>	-
<`operator<<`>	<`ostreamable`><`<Os =std::ostream,T=_self>`>	-
<`operator>>`>	<`istreamable`><`<Is =std::istream,T=_self>`>	-

Table 37.4. Miscellaneous Operators

оператор	концепция	примечания
<`operator()`>	<`callable`><`<Sig,T>`>	<`Sig`>должен быть функциональным типом. Т может быть квалифицированным.
<`operator[]`>	<`subscriptable`><`<R,T,N=std::ptrdiff_t>`>	<`R`>обычно является ссылкой.<`T`>может быть необязательно квалифицированным.

Table 37.5. Iterator Concepts

концепция	примечания
<`iterator`><`<Traversal,T,Reference,Difference>`>	Используйте<`same_type`>для управления типом значения итератора.
<`forward_iterator`><`<T,Reference,Difference>`>	-
<`bidirectional_iterator`><`<T,Reference,Difference>`>	-
<`random_access_iterator`><`<T,Reference,Difference>`>	-

Table 37.6. Special Concepts

концепция	примечания
<`same_type`><`<T>`>	Указывает, что два типа одинаковы.

Статья Predefined Concepts раздела The Boost C++ Libraries BoostBook Documentation Subset Chapter 37. Boost.TypeErasure может быть полезна для разработчиков на c++ и boost.