Le 05/08/2012 14:38, Christophe Travert a écrit :
> Jonathan M Davis , dans le message (digitalmars.D:174267), a écrit :
>> On Saturday, August 04, 2012 15:22:34 Jonathan M Davis wrote:
>>> On Sunday, August 05, 2012 00:15:02 Timon Gehr wrote:
>>>> T fun(T)(T arg) if(isSomeString!arg){
>>>>
>>>>       return arg~arg[0];
>>>>
>>>> }
>
> IMO, the behavior should be this: when trying to call the template with
> a argument that is an enum type based on string, the compiler should try
> to instanciate the template for this enum type, and isSomeString should
> fail. Then, the the compiler will try to instanciate the template for
> strings, which works. Thus, the template is called with a string
> argument, which is the enum converted to a string.
>

With multiple template parameter, it becomes a nightmare for the compiler.

The example above is easily solved using auto for return type inference instead of specifying it.