On 7/17/2017 5:13 PM, Timon Gehr wrote:
(Reminds me of divide by 0 discussions in calculus class.)
The reason division by 0 is left undefined is that instead saying 1/0 = ∞
introduces a new number ∞ that does not play nice with the axioms of a complete
ordered field.
The question for instance size is based on the wrong assumption that there is
such an instance. It is true none the less that ∞ is the most natural answer to
this question, as if you have multiple answers for instance size, you'd take the
supremum. Of course, size_t does not contain ∞.
Infinity makes sense for 1/0, but I don't see how that automatically transfers
to size_t.
