Re: Two cases showing imperfection of the const system

[Timon Gehr]

On 02/17/2012 12:08 AM, James Miller wrote:
The first problem is trivial, solving the second one in a type safe way
would require adding parametric polymorphism to D. (Which I'd love to have!)

Can't you emulate type-safe parametric polymorphism with template constraints?

In general, no.

class A{
    T foo[T](T x){ ... }
}
class B{
    override T foo[T](T x){ ... }
}

Often you can, but then you get unnecessary code duplication, which is 
presumably why SiegeLord dislikes templates.

T test(T)(T x) if(is(T:const(char[])){
    T[int] a;
}