Does C++ offer something similar to Ada\'s subtype
to narrow a type?
E.g.:
type Weekday is (Monday, Tuesday, Wednesday, Thursday, Friday,
Probably you can overload the assignation with a postcondition
Ensures(result > 0 && result < 10);
Purely theoretical. Have not tried myself. But what do you guys think?
But is funny to appreciate how every upgrade on C++ they push as advanced features all the stuff Ada programmers take for granted.