¿Transmitir directamente desde el puntero a una función de plantilla?

Question

estoy tratando de tener un puntero a una instancia de plantilla de función y echarlo a void *:

#include <stdio.h> 

void plainFunction(int *param) {} 

template <typename T> 
void templateFunction(T *param) {} 

int main() { 
    void *addr1=&plainFunction; //OK 
    void *addr2=&templateFunction<int>; //Compile error 
} 

me sale el siguiente error (en Visual Studio 2008)

main.cu(10) : error C2440: 'initializing' : cannot convert from 'void (__cdecl *)(T *)' to 'void *' 
Context does not allow for disambiguation of overloaded function 

¿Por qué es ¿sucediendo? La función templateFunction (para concreto tipo T=int) no está sobrecargada. Es posible deducir a qué instancia de la función me refiero.

Si se sustituye la línea de erroneus con:

void (*foo)(int*)=&templateFunction<int>; 
void *addr2=foo; 

Se compila sin ningún problema.

¡Gracias!

---

Actualización:

Cuando puntero normal de void* se sustituye por puntero de función ficticia void(*)(), según lo sugerido por James (gracias), que hace que el error desaparezca:

void (*addr1)()=(void(*)())&plainFunction; 
void (*addr2)()=(void(*)())(&templateFunction<int>); 

Sin embargo, si el error fue causado al convertir una función-puntero a un puntero normal, el compilador debería presentar una queja en ambos casos. Sin embargo, no lo hace, así que continúo asumiendo que es correcto al menos para este compilador. Si no me equivoco, el estándar simplemente dice que los punteros a las funciones no se representan como a como los punteros normales, pero no lo prohíbe.

Answer 1

Ambos son técnicamente incorrectos: en C++, no se puede convertir un puntero a un void*.

Los tipos de puntero a función (como void (*)(int*) aquí) son una clase completamente diferente de tipos que tipos de puntero a objeto (como void* aquí).

Visual C++ que permite la conversión en absoluto (por ejemplo, en void* addr1 = &plainFunction;) es una extensión del lenguaje (compilar con la bandera /Za, que desactiva extensiones de lenguaje, hace que ambas líneas a ser rechazados).

El error es un poco engañoso, sin duda, aunque algunos otros compiladores son igualmente inútiles (Comeau informa "error: ninguna instancia de plantilla de función" templateFunction "coincide con el tipo requerido").

Answer 2

El compilador debe generar un error en ambos casos. Los punteros de función no son convertibles a void * de acuerdo con la Norma § 4.10/2 ya que las funciones no son objetos (§ 1.8/1). Visual Studio 2008 permite esto como una extensión, marque this bug.

Uso typedef para evitar malentendidos:

typedef void(func)(int*); // declare func type 
func* addr1 = &plainFunction;   // OK 
func* addr2 = &templateFunction<int>; // OK