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?

Reply via email to