Multiple return values...

[Timon Gehr]

On 03/11/2012 08:17 PM, Andrei Alexandrescu wrote:
> If you create a variable of type
> TypeTuple!(ReturnType1, ReturnType2), what's its layout?
>

That is context-dependent:

union U{
     TypeTuple!(int, double) x; // superimposed according to union abi
}

struct S{
     TypeTuple!(int, double) x; // sequential according to struct ABI
}

void foo(){
     TypeTuple!(int, double) x; // two non-overlapping memory areas on 
the stack
}

void bar(TypeTuple!(int, double) x){ // according to function call ABI
     // ...
}

TypeTuple!(int, double) qux(){ // D'oh!
     // ...
}