This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.
std::complex<T>::operator=(const T&)
has no specificationSection: 28.4.3 [complex] Status: New Submitter: Daniel Krügler Opened: 2023-05-20 Last modified: 2023-06-01
Priority: 3
View other active issues in [complex].
View all other issues in [complex].
View all issues with New status.
Discussion:
The class template complex
synopsis in 28.4.3 [complex] shows the following member function:
constexpr complex& operator= (const T&);
but does not specify its semantics. This affects a code example such as the following one:
#include <complex> #include <iostream> int main() { std::complex<double> z(1, 1); z = 2; std::cout << z << std::endl; }
This problem exists since the 1998 version of the standard (at that time this was declared in subclause [lib.complex]),
but fortunately the three major implementations all behave consistently by assigning the provided value to the real
part and nullifying the imaginary part, causing the output (2, 0)
, which is consistent with the expected
behaviour of usual mathematical convention and that of C's built-in complex
types. We should specify this.
[2023-06-01; Reflector poll]
Set priority to 3 after reflector poll.
Proposed resolution:
This wording is relative to N4950.
[Drafting Note: Two mutually exclusive options are prepared, depicted below by Option A and Option B, respectively.]
[Drafting note: The wording forms used below intentionally deviate from the rest of the [complex.member.ops] wording forms, because it seems much simpler and clearer to follow the wording forms used that specify the effects of
imag
andreal
functions. I decided to use "part" instead of "component", which is shorter and more often used in the rest of the specification]
Option A: This assumes that LWG 3933(i) is considered as NAD and just adds the missing prototype specification assuming that the parameter style of the current working draft is intended.
Add a new prototype specification at the very beginning of 28.4.5 [complex.member.ops] as indicated:
constexpr complex& operator=(const T& rhs);-?- Effects: Assigns the value
-?- Returns:rhs
to the real part and the valueT()
to the imaginary part of the complex value*this
.*this
.constexpr complex& operator+=(const T& rhs);[…]
Option b: This assumes that LWG 3933(i) will be resolved as initially presented and just adds the missing prototype specification assuming that the parameter style suggesting two mutually excluded overloads is intended. The wording delta is presented against the proposed wording of LWG 3933(i).
Add a new prototype specification at the very beginning of 28.4.5 [complex.member.ops] as indicated:
constexpr complex& operator=(T rhs) requires floating_point<T>; constexpr complex& operator=(const T& rhs) requires (!floating_point<T>);-?- Effects: Assigns the value
-?- Returns:rhs
to the real part and the valueT()
to the imaginary part of the complex value*this
.*this
.constexpr complex& operator+=(T) requires floating_point<T>; constexpr complex& operator+=(const T&) requires (!floating_point<T>);[…]