28 Numerics library [numerics]

28.4 Complex numbers [complex.numbers]

28.4.9 Additional overloads [cmplx.over]

1
#
The following function templates shall have additional overloads: arg norm conj proj imag real where norm, conj, imag, and real are constexpr overloads.
2
#
The additional overloads shall be sufficient to ensure:
  • (2.1)
    If the argument has a floating-point type T, then it is effectively cast to complex<T>.
  • (2.2)
    Otherwise, if the argument has integer type, then it is effectively cast to complex<double>.
3
#
Function template pow has additional overloads sufficient to ensure, for a call with one argument of type complex<T1> and the other argument of type T2 or complex<T2>, both arguments are effectively cast to complex<common_type_t<T1, T2>>.
If common_type_t<T1, T2> is not well-formed, then the program is ill-formed.