C++0x Concepts - Dead?
Nick Sabalausky
a at a.a
Wed Jul 15 21:19:54 PDT 2009
"Walter Bright" <newshound1 at digitalmars.com> wrote in message
news:h3lkec$2k1t$1 at digitalmars.com...
> Christian Kamm wrote:
>> BLS Wrote:
>>> I have somehow the idea that D constraints and template specialization
>>> should merge.
>>
>> I also feel that specialization may just be a special case of
>> constraints -
>> with the added benefit that implicit function template instantiation
>> works.
>>
>> Is there a difference between
>> template Foo(T : U) {} and template Foo(T) if(is(T : U)) {} ?
>>
>
> Yes. Constraints determine the list of candidate template declarations,
> but do not participate in the partial ordering of candidates to determine
> the 'best' match.
Pardon my ignorance, but...umm...what?
More information about the Digitalmars-d-announce
mailing list