On 9/7/2016 3:24 PM, John Colvin wrote:
What, precisely, does "valid" mean in the above?
S is initialized to a valid state, meaning the fields are not filled with garbage, and are in a state expected by the member functions.
But if there's a default constructor,
S s = S.init;
S s;
which is correct?
