Thread overview
Question about eponymous template trick
Nov 03, 2014
Uranuz
Nov 03, 2014
MrSmith
Nov 03, 2014
Uranuz
Nov 03, 2014
Ali Çehreli
Nov 03, 2014
Uranuz
Nov 03, 2014
Uranuz
Nov 03, 2014
Sean Kelly
November 03, 2014
I have an example of code like this:

template Node(String)
{
	struct Node {}
	struct Name {}
	struct Attr {}
	
}

void main()
{
	alias MyNode = Node!(string).Node;
	alias MyName = Node!(string).Name;
	alias MyAttr = Node!(string).Attr;
	
}

This code fails during compilation with message:

Compilation output:

/d228/f410.d(12): Error: no property 'Node' for type 'Node!string' /d228/f410.d(12): Error: no property 'Node' for type 'Node!string' /d228/f410.d(13): Error: no property 'Name' for type 'Node!string' /d228/f410.d(13): Error: no property 'Name' for type 'Node!string' /d228/f410.d(14): Error: no property 'Attr' for type 'Node!string' /d228/f410.d(14): Error: no property 'Attr' for type 'Node!string'

So question is: is this intended behaviour and I'm missing something about eponymous templates? Or is it a bug in compiler?
November 03, 2014
On Monday, 3 November 2014 at 14:07:55 UTC, Uranuz wrote:
> I have an example of code like this:
>
> template Node(String)
> {
> 	struct Node {}
> 	struct Name {}
> 	struct Attr {}
> 	
> }
>
> void main()
> {
> 	alias MyNode = Node!(string).Node;
> 	alias MyName = Node!(string).Name;
> 	alias MyAttr = Node!(string).Attr;
> 	
> }
>
> This code fails during compilation with message:
>
> Compilation output:
>
> /d228/f410.d(12): Error: no property 'Node' for type 'Node!string' /d228/f410.d(12): Error: no property 'Node' for type 'Node!string' /d228/f410.d(13): Error: no property 'Name' for type 'Node!string' /d228/f410.d(13): Error: no property 'Name' for type 'Node!string' /d228/f410.d(14): Error: no property 'Attr' for type 'Node!string' /d228/f410.d(14): Error: no property 'Attr' for type 'Node!string'
>
> So question is: is this intended behaviour and I'm missing something about eponymous templates? Or is it a bug in compiler?

Looks like compiler looks for Node, Name and Attr in Node struct, because of eponymous thing.
This code works though:

template N(String)
{
	struct Node {}
	struct Name {}
	struct Attr {}
	
}

void main()
{
	alias MyNode = N!(string).Node;
	alias MyName = N!(string).Name;
	alias MyAttr = N!(string).Attr;
	
}
November 03, 2014
> Looks like compiler looks for Node, Name and Attr in Node struct, because of eponymous thing.

I understand it but I want to know if it is documented behaviour or not. Could anybody clear what happens with eponymous stuff and why I can't get acces to *other* declarations inside eponymous template? I guess that it is not intended behaviour.

November 03, 2014
On 11/03/2014 06:36 AM, Uranuz wrote:
>> Looks like compiler looks for Node, Name and Attr in Node struct,
>> because of eponymous thing.
>
> I understand it but I want to know if it is documented behaviour or not.
> Could anybody clear what happens with eponymous stuff and why I can't
> get acces to *other* declarations inside eponymous template? I guess
> that it is not intended behaviour.
>

I think it's the intended behavior. I think documentation is outdated.

Ali

November 03, 2014
> I think it's the intended behavior. I think documentation is outdated.
>
> Ali

Thanks. So I will modify my programme to workaround this.
November 03, 2014
Also I failed to find any documentation about eponymous stuff in language reference. As far as I remember it was here but now looks like it is missing.

November 03, 2014
On Monday, 3 November 2014 at 14:58:03 UTC, Ali Çehreli wrote:
>
> I think it's the intended behavior. I think documentation is outdated.

Both forms should really work though.  I had always thought that the short form was simply possible if the names matched.
November 03, 2014
On 11/3/14 9:07 AM, Uranuz wrote:
> I have an example of code like this:
>
> template Node(String)
> {
>      struct Node {}
>      struct Name {}
>      struct Attr {}
>
> }
>
> void main()
> {
>      alias MyNode = Node!(string).Node;
>      alias MyName = Node!(string).Name;
>      alias MyAttr = Node!(string).Attr;
>
> }
>
> This code fails during compilation with message:
>
> Compilation output:
>
> /d228/f410.d(12): Error: no property 'Node' for type 'Node!string'
> /d228/f410.d(12): Error: no property 'Node' for type 'Node!string'
> /d228/f410.d(13): Error: no property 'Name' for type 'Node!string'
> /d228/f410.d(13): Error: no property 'Name' for type 'Node!string'
> /d228/f410.d(14): Error: no property 'Attr' for type 'Node!string'
> /d228/f410.d(14): Error: no property 'Attr' for type 'Node!string'
>
> So question is: is this intended behaviour and I'm missing something
> about eponymous templates? Or is it a bug in compiler?

This is troubling. So you can never access struct Name inside there? This USED to work IIRC, but then again, the eponymous trick only used to work if there was only one member in the template.

-Steve