Несколько типов в одном специализированном шаблоне D

Question

Скажем, мне нужно иметь дело ushort и uint в некотором роде, но string по-разному. Так что предположим, мне нужен один специализированный шаблон для string, а другой - для ushort и uint. Это?

// for most 
void func(T)(T var) { ... } 

// for uint and ushort 
void func(T: uint, ushort)(T var) { ... } 

Это идея, хотя код не может скомпилироваться. Это действительно или очень плохо?

Answer 1

Попробуйте это:

void func(T)(T var) if (is(T : uint) || is(T : ushort)) 
{ 
    ... 
} 

void func(T : string)(T var) 
{ 
    ... 
} 

Вы также могли бы сделать это в одной функции:

void func(T)(T var) 
{ 
    static if (is(T : uint) || is(T : ushort)) 
    { 
     ... 
    } 
    else if (is(T : string)) 
    { 
     ... 
    } 
    else 
    { 
     // handle anything else 
    } 
} 

Answer 2

Если вам нужны только определенные типы, следовать ответ Питера.
Если вы хотите, чтобы охватить все интегральные/числовые данные и все строки (в том числе wstring и dstring) типы данных, то вы можете использовать хелперы из std.traits модуля:

import std.traits; 

void func(T)(T var) 
{ 
    static if (isNumeric!T) { // or isIntegral!T 
     //... 
    } else if (isSomeString!T) { 
     //... 
    } 
    else { 
     //... 
    } 
} 

Answer 3

Вы не точны понять его смысл микс параметры нескольких шаблонов должны делать это следующим образом:

void func(T...)(T args) 
{ 
    static if(T.length==2&&is(T[0]:int)&&is(T[1]:short)) 
    { 
     //do some thing func(int,short) 
    }else static if(T.length==1&&is(isSomeString!T[0]) 
    { 
    }otherwise 
    { 
     static assert("unsupport function"); 
    } 

}