C++函數指針作爲默認模板參數

Question

我怎麼寫一個函數指針作爲默認的模板參數，我'猜它寫這樣的：

template<typename R, 
     typename A, 
     typename F=R (*PF)(A)> 
class FunctionPtr { ... 

我的問題是，

1.is有可能嗎？

2.如果是我上面的猜測代碼是正確的，PF這裏的目的是什麼？我需要這個嗎？

Answer 1

1. 是

2. 不，你不需要PF。

   template<typename R, 
        typename A, 
        typename F=R (*)(A)> 
   

Answer 2

1. 是的，這是可能的

2. 的PF不僅是無用的，但必須在這種情況下被刪除。例如，在函數指針聲明的上下文中，它是必需的：

   int (*PF)(double) = &A::foo; // declares a 'PF' variable of type 'int (*)(double)' 
   

   但在此處既不要求也不合法。

Answer 3

我建議typedef ing指向函數。 typedef R (*PF)(A);然後將PF作爲默認模板參數。