[char.traits.require] (original) (raw)
Returns: whether c is to be treated as equal to d.
Returns: whether c is to be treated as less than d.
Returns: 0 if for each i in [0, n), X::eq(p[i],q[i])is true; else, a negative value if, for some j in [0, n),X::lt(p[j],q[j]) is true and for each i in [0, j)X::eq(p[i],q[i]) is true; else a positive value.
Returns: the smallest i such that X::eq(p[i],charT()) is true.
Returns: the smallest q in [p, p+n) such thatX::eq(*q,c) is true, nullptr otherwise.
for each i in [0, n), performs X::assign(s[i],p[i]).
Copies correctly even where the ranges [p, p+n) and [s, s+n) overlap.
Preconditions: The ranges [p, p+n) and [s, s+n) do not overlap.
Returns: s.
for each i in [0, n), performs X::assign(s[i],p[i]).
for each i in [0, n), performsX::assign(s[i],c).
Returns: e if X::eq_int_type(e,X::eof()) is false, otherwise a value f such thatX::eq_int_type(f,X::eof()) is false.
Returns: if for some c, X::eq_int_type(e,X::to_int_type(c))is true, c; else some unspecified value.
Returns: some value e, constrained by the definitions ofto_char_type and eq_int_type.
Returns: for all c and d, X::eq(c,d) is equal toX::eq_int_type(X::to_int_type(c), X::to_int_type(d)); otherwise, yields trueif e and f are both copies of X::eof(); otherwise, yields false if one of e and f is a copy of X::eof() and the other is not; otherwise the value is unspecified.
Returns: a value e such that X::eq_int_type(e,X::to_int_type(c))is false for all values c.