синтаксис для передачи указателя на шаблонную функцию

Question

Работает одна версия моего кода. Другой (который, как я думал, был бы предпочтительнее) не смог скомпилировать. Если я объявляю простую пару функций:

template<class T> 
void pass_function(T (*func)) 
{ 
    cout << func() << endl; 
} 

double func_to_pass() 
{ 
    return(0); 
} 

Я могу назвать

pass_function(&func_to_pass); 

и все работает, как ожидалось. Я знаю, что это «выяснение», что шаблон стоит здесь вдвое, хотя я не сказал ему, что он является двойным в этом вызове.

Но если вместо этого я называю

pass_function<double>(&func_to_pass); 

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

error: no matching function for call to ‘pass_function(double (*)())’ 

Итак, я понимаю, что я не понимаю что-то о синтаксисе использования шаблонов.

Answer 1

Изменить определение как

template<class T> 
void pass_function(T (*func)()) 
{ 
    cout << func() << endl; 
} 

В противном случае, если вы явно указать аргумент шаблона функция специализирована как

void pass_function(double *);