TDPL error(s)

[Denis Koroskin]

On Sun, 08 May 2011 17:59:02 +0400, Timon Gehr <timon.gehr at gmx.ch> wrote:

> On page 263, TDPL states that struct objects nested inside a function  
> cannot
> be returned, because the caller does not have access to their types.  
> Using the
> auto keyword, DMD lets you do this though. Is this a bug in DMD or an  
> error in
> TDPL?
>

I think that's fine.

> On the same page, the assert should be
> assert(Local.sizeof == size_t.sizeof + int.sizeof);
>
> rather than
> assert(Local.sizeof == 2*size_t.sizeof);
>
> which always fails in 64 bit.
>
>
> Timon

Without looking at the code, I'd assume that Local is defined something  
like this:

struct Local
{
	size_t s;
	int i;
}

in which case Local.sizeof would most likely be size_t.sizeof * 2 because  
of the alignment and implicit padding, i.e 8 bytes on x86, and 16 bytes on  
x64. size_t.sizeof + int.sizeof only give 12.

I'd agree that this is in fact confusing and needs to be explained.