> But returning null is an obvious choice. It's not because C++ is not an everything-is-a-reference language. > Combined types which return the structure or a

> But returning null is an obvious choice. It's not because C++ is not an everything-is-a-reference language. > Combined types which return the structure or an error are another. Has the advantage of returning error information, why failure. Sum types are great, but changing constructors to return sum types would break all existing code. It would also lead to a whole slew of questions about how the construction of arrays of values would work. (Does an array of an objects now turn into an array of wrapper types? Byebye SIMD optimization!) It would also break the consistency of constructing POD vs non POD types, which would make writing templates that need to generalize over both a huge PITA.