Possible bug

[Ali Çehreli]

On 03/25/2013 08:11 AM, Sergei Nosov wrote:
 > On Monday, 25 March 2013 at 14:12:17 UTC, bearophile wrote:
 >> Sergei Nosov:
 >>
 >>> Everything's fine if I specify parameters explicitly:
 >>> <pre>
 >>> test!int hello = test!int(cptr);
 >>> </pre>
 >>
 >> Some persons have proposed alternative designs, but D is working as
 >> currently designed here... Unlike template functions, templated
 >> structs don't infer the type.
 >>
 >> Bye,
 >> bearophile
 >
 > Thx, is there any good rationale?

This design allows templated constructors:

struct S         // <-- not a template
{
     this(T)(T t) // <-- template
     {
         // ...
     }

     // ...
}

The same in C++...

Ali