Don's comment about how D templates are resolved during compilation instead of optimization got me thinking whether the traditional get/set accessor method for tuples could be replaced by a simple alias, which seems ideal as it doesn't rely on inlining to make the resulting code efficient. What follows is an attempt at this, first with a class, then with a struct. Note that the class version compiles but the struct version breaks. I assume this is a bug?
C:\code\d>type test.d
void main()
{
ClassOf!(int) c = new ClassOf!(int)();
StructOf!(int) s;
int x;
c.ref!() = x;
x = c.ref!();
s.ref!() = x;
x = s.ref!();
}
class ClassOf(Type)
{
Type val;
template ref()
{
alias val ref;
}
}
template StructOf( Type )
{
struct StructOf
{
Type val;
template ref()
{
alias val ref;
}
}
}
C:\code\d>dmd test.d
test.d(10): this for val needs to be type StructOf not type StructOf
C:\code\d>
DStress test cases:
http://dstress.kuehne.cn/run/a/alias_31_A.dhttp://dstress.kuehne.cn/run/a/alias_31_B.dhttp://dstress.kuehne.cn/run/a/alias_31_C.dhttp://dstress.kuehne.cn/run/a/alias_31_D.d