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?