Re: T : T*

[Stewart Gordon]

On 13/04/2012 19:47, Jonathan M Davis wrote:

I'd just like to verify that my understanding of T : T* in this template is
correct:

struct S(T : T*)

<snip>

it appears that the compiler is instead taking this to mean that the pointer
part of the type should be stripped from the template argument's type.

<snip>

Yes.  It's more or less syntactic saccharin for

struct S(U : T*, T) {
    T t;
}

Stewart.