On Sunday, 14 January 2018 at 00:01:15 UTC, rikki cattermole
wrote:
On 13/01/2018 11:45 PM, Timothee Cour wrote:
some people have suggested using `{a, b}` instead of `(a,b)` ;
this
would not work because of ambiguity, eg:
`auto fun(){ return {}; }`
already has a meaning, so the empty tuple would not work.
so `()` is indeed better.
Easy fix, tuples must have a length greater than 0.
A tuple with length 0 is by definition void.
Zero tuples exist and don't have type void as their type has an
object: the empty tuple. It's similar to the empty word, the
empty array, etc.
They naturally arise in corner cases of templates. You have to
support them like static arrays of length 0.
Effectively forbidding them would be an unreasonable limitation.
