• Sean Kelly (21/21) Feb 12 2004 This is in the template docs:
• Hauke Duden (3/7) Feb 12 2004 I believe it also works with (at least) classes and structs.
• davepermen (5/12) Feb 13 2004 and functions, too..
• Sam McCall (15/21) Feb 13 2004 Surely it would be fairly simple to implement type deduction for these

Sean Kelly <sean ffwd.cx> writes:

This is in the template docs:


template factorial(int n : 1)
{
     enum { factorial = 1 }
}

template factorial(int n)
{
     // Note . used to find global template rather than enum
     enum { factorial = n* .factorial!(n-1) }
}

void test()
{
     printf("%d\n", factorial!(4)); // prints 24
}


Now it seems like a few things are going on here, but I can't find 
documentation on any of them.  First, using the . prefix seems 
equivalent to the :: prefix in C++, is this true?  Second, it seems that 
it's not an error to declare an enum with the same name as an enclosing 
template, but rather that the template can be considered equivalent to 
the underlying value.  Are there any other instances where this works?


Sean

Hauke Duden <H.NS.Duden gmx.net> writes:

Sean Kelly wrote:
 Second, it seems that 
 it's not an error to declare an enum with the same name as an enclosing 
 template, but rather that the template can be considered equivalent to 
 the underlying value.  Are there any other instances where this works?

I believe it also works with (at least) classes and structs.


Hauke

"davepermen" <davepermen hotmail.com> writes:

and functions, too..

template max(T) { T max(T a,T b) { return a > b ? a : b; } }

max!(int)(5,10) returns 10 (with typeof(10) == int, of course:D)

"Hauke Duden" <H.NS.Duden gmx.net> schrieb im Newsbeitrag
news:c0h1vm$2ej0$1 digitaldaemon.com...
 Sean Kelly wrote:
 Second, it seems that
 it's not an error to declare an enum with the same name as an enclosing
 template, but rather that the template can be considered equivalent to
 the underlying value.  Are there any other instances where this works?

 I believe it also works with (at least) classes and structs.


 Hauke

Sam McCall <tunah.d tunah.net> writes:

davepermen wrote:
 and functions, too..
 
 template max(T) { T max(T a,T b) { return a > b ? a : b; } }
 
 max!(int)(5,10) returns 10 (with typeof(10) == int, of course:D)
 

Surely it would be fairly simple to implement type deduction for these 
shortcut templated functions with the restrictions:
deduction doesn't work if the template is overloaded with the same 
number of parameters:
void foo(T,int X)(T t) and void foo(T,double X)(T t) would have no type 
deduction,
void foo(T,int[] X)(T t) and void foo(T,int X,int Y)(T t) are ok.
For the matching template declaration (by number of args), each type 
variable must be the type of at least one parameter:
void foo(T,U)(T[] t,U u) has no type deduction
void foo(T,U)(T a,T[] b,int c,U d) is ok
And it could be called with the normal function call syntax,
max(5,10).
Sam