Явная функция шаблона и метод Специализация

Question

Я искал четкий ответ, и я просто ловил кусочки из Интернета.

У меня есть функция, и она должна действовать по-разному на основе переменной типа. Функция не принимает аргументов, поэтому перегрузка не работает, что приводит к специализации шаблонов. Например:

//Calls to this function would work like this: 
int a = f(); 
int b = f<int>(); 
int c = f<char>(); 
//... 

Во-первых, это возможно даже синтаксически? Я чувствую, что это так. Продолжение.

У меня возникли проблемы с определением этой функции, потому что я получил зависание в синтаксисе для явной специализации. Я пробовал несколько разных подходов, но мне еще предстоит получить простой пример для работы.

Во-вторых, я пытаюсь (в конечном итоге) сделать эту функцию шаблона в методе шаблона (не шаблонного) класса. Я перейду через этот мост, когда я приду к нему.

Спасибо,
Ian

Answer 1

Ну, это возможно, но не одна из самых приятных вещей, чтобы сделать. Явный шаблон функции специализаций несколько из темного угла, но вот как вы это делаете:

template< typename T > int f(){ ... } 

template<> int f<int>(){ ... } 
template<> int f<char>(){ ... } 

некоторые связанные с чтением: http://www.gotw.ca/gotw/049.htm

Answer 2

Во-первых, в том, что даже синтаксически возможно? Я чувствую, что это так.

Это, но не чрезмерно усложнять – это нужно только простой перегрузки:

int f() 
{ 
    return /* default, typeless implementation */; 
} 

template<typename T> 
int f() 
{ 
    return /* type-specific implementation */; 
} 

template<> 
int f<char>() 
{ 
    return /* char implementation */; 
} 

template<> 
int f<int>() 
{ 
    return /* int implementation */; 
}