Убийство Типы используют теги для кодирования свойств, которые не являются типами per se, например, для вызова конвенции или является ли функция variadic или cv-квалифицированной.

Эти теги могут быть использованы для определения того, имеет ли одно свойство типа определенное значение.

is_function<int(...), variadic>::value // == true
is_function<int()   , variadic>::value // == false

Тег свойств соединения описывает сочетание возможных значений различных свойств. Тип Компоненты, где F является встроенным типом, представляет собой компонент, описывающий F. Шаблон класса тег может использоваться для объединения тегов свойств.

tag<non_const,default_cc> // combination of two properties

Когда несколько значений для одного и того же свойства указаны в списке аргументов tag, используется только самый правильный; другие игнорируются.

tag<components<F>, default_cc> // overrides F's calling convention property

Когда для анализа типа указывается бирка свойств соединения, все его свойства компонентов должны соответствовать.

is_member_function_pointer< F, tag<const_qualified,default_cc> >::value
// true for 
//   F = void(a_class::*)() const
// false for
//   F = void(a_class::*)()
//   F = void(__fastcall a_class::*)() const

Значение по умолчанию выбирается для свойств, не указанных тегом в контексте синтеза типа.

// given S = mpl::vector<int,a_class const &>
member_function_pointer<S>::type // is int (a_class::*)() const
// note: the cv-qualification is picked based on the class type,
// a nonvariadic signature and the default calling convention 
// are used
member_function_pointer<S,non_const>::type // is int (a_class::*)()
// no const qualification, as explicitly specified by the tag type