std:: equal_to, not_equal_to, less, greater, less_equal, greater_equal (std::experimental::propagate_const)

Определено в заголовочном файле <experimental/propagate_const>
template < class T > struct equal_to < std:: experimental :: propagate_const < T >> ;		(Library Fundamentals TS v2)
template < class T > struct not_equal_to < std:: experimental :: propagate_const < T >> ;		(Library Fundamentals TS v2)
template < class T > struct less < std:: experimental :: propagate_const < T >> ;		(Library Fundamentals TS v2)
template < class T > struct greater < std:: experimental :: propagate_const < T >> ;		(Library Fundamentals TS v2)
template < class T > struct less_equal < std:: experimental :: propagate_const < T >> ;		(Library Fundamentals TS v2)
template < class T > struct greater_equal < std:: experimental :: propagate_const < T >> ;		(Library Fundamentals TS v2)

Стандартные функциональные объекты сравнения частично специализированы для std:: experimental :: propagate_const < T > .

Пусть p. t_ обозначает объект, подобный указателю, обёрнутый в std:: experimental :: propagate_const < T > p , тогда для объектов p и q типа std:: experimental :: propagate_const < T > должны выполняться следующие условия:

• std:: equal_to < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: equal_to < T > ( ) ( p. t_ , q. t_ )
• std:: not_equal_to < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: not_equal_to < T > ( ) ( p. t_ , q. t_ )
• std:: less < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: less < T > ( ) ( p. t_ , q. t_ )
• std:: greater < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: greater < T > ( ) ( p. t_ , q. t_ )
• std:: less_equal < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: less_equal < T > ( ) ( p. t_ , q. t_ )
• std:: greater_equal < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: greater_equal < T > ( ) ( p. t_ , q. t_ )

Примечания

Эти специализации гарантируют, что когда T является типом указателя, специализации этих шаблонов классов для std:: experimental :: propagate_const < T > дают полный порядок, даже если соответствующие встроенные операторы этого не делают.

Пример

Этот раздел не завершён Причина: отсутствует пример

Смотрите также

equal_to	функциональный объект, реализующий x == y (шаблон класса)
not_equal_to	функциональный объект, реализующий x ! = y (шаблон класса)
less	функциональный объект, реализующий x < y (шаблон класса)
greater	функциональный объект, реализующий x > y (шаблон класса)
less_equal	функциональный объект, реализующий x <= y (шаблон класса)
greater_equal	функциональный объект, реализующий x >= y (шаблон класса)