C++ puntero de función como argumento plantilla predeterminada

Question

¿Cómo escribo un puntero a función como argumento de plantilla por defecto, I'am adivinando escribir así:

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

mi pregunta es,

1.is ¿es posible?

2.si es y mi código de suposición anterior es correcto, ¿cuál es el propósito de PF aquí? ¿Necesito esto?

Answer 1

1. Sí

2. No, no es necesario PF.

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

Answer 2

1. Sí, es posible

2. El PF no sólo es inútil, sino que debe ser eliminado en este contexto. Sería, por ejemplo, sea necesario en el contexto de una declaración de puntero de función:

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

   pero es necesario ni legal aquí.

Answer 3

Sugiero typedef ing puntero a la función. typedef R (*PF)(A);, luego proporcione PF como argumento de plantilla por defecto.