www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Template specialization

reply "Daniel Kozak" <kozzi11 gmail.com> writes:
import std.stdio;

class D : X{}

class X{}


template t1(T : void function(T)){enum t1 = "1.";}
template t1(T : void function(X)){enum t1 = "2.";}

int main(string[] argv){
     t1!(void function(D)).writeln();
     readln();
     return 0;
}

this code prints 1. on dmd and gdc but on ldc it prints 2.

Which one is correct?
Jan 23 2014
next sibling parent Timon Gehr <timon.gehr gmx.ch> writes:
On 01/23/2014 01:44 PM, Daniel Kozak wrote:
 import std.stdio;

 class D : X{}

 class X{}


 template t1(T : void function(T)){enum t1 = "1.";}
 template t1(T : void function(X)){enum t1 = "2.";}

 int main(string[] argv){
      t1!(void function(D)).writeln();
      readln();
      return 0;
 }

 this code prints 1. on dmd and gdc but on ldc it prints 2.

 Which one is correct?

1. is correct. LDC will presumably print 1. as well as soon as it is updated to a more recent frontend version.
Jan 23 2014
prev sibling parent Daniel =?ISO-8859-1?Q?Koz=E1k?= <kozzi11 gmail.com> writes:
Timon Gehr píše v Čt 23. 01. 2014 v 15:42 +0100:
 On 01/23/2014 01:44 PM, Daniel Kozak wrote:
 import std.stdio;

 class D : X{}

 class X{}


 template t1(T : void function(T)){enum t1 = "1.";}
 template t1(T : void function(X)){enum t1 = "2.";}

 int main(string[] argv){
      t1!(void function(D)).writeln();
      readln();
      return 0;
 }

 this code prints 1. on dmd and gdc but on ldc it prints 2.

 Which one is correct?

1. is correct. LDC will presumably print 1. as well as soon as it is updated to a more recent frontend version.

OK, thanks
Jan 23 2014