D Analógico a C++ member-function-pointers, no necesariamente delegados

Question

He estado aprendiendo D, y estoy particularmente emocionado por sus capacidades de programación genérica. Los delegados son maravillosos, y al parecer se han sustituido por completo miembros de la función triples, por lo que me he quedado atrapado cuando quería implementar algo como lo siguiente:

template <typename T> 
void DispatchMethodForAll(std::vector<T*> & container, void (T::* func)(void)) 
{ 
    for(typename std::vector<T*>::iterator it = container.begin(); it != container.end(); ++it) 
     (*it)->*func(); 
} 

De acuerdo con lo que he aprendido de los punteros de función y delegados en Re , es que ninguno de ellos puede hacer esto, ya que los punteros de funciones solo pueden declararse para funciones globales, y los delegados tienen que estar vinculados a un objeto, no hay un "delegado parcial" que pueda encontrar. Como se ve aquí, no puedo usar un delegado, ya que no hay un único objeto que pueda vincularse al método que se va a llamar.

Sé que yo podría hacerlo con mixins, y esencialmente hacerlo una macro. Sin embargo, esto realmente no suena como D, y pensé que debería haber "La forma correcta"

Answer 1

Aún puede usar un delegado aquí.

void DispatchMethodForAll(T)(T*[] container, void delegate(T*) action) 
{ 
    foreach (it; container) 
     action(it); 
} 

... 

DispatchMethodForAll(container, (Foo* foo) { foo.func(); }); 

Ejemplo: http://www.ideone.com/9HUJa

Answer 2

se puede tomar una página del std.algorithm para averiguar cómo se hace eso

void DispatchMethodForAll(alias func, T)(T container) 
{ 
    alias unaryFun!func _func 
    foreach (it; container) 
     _func(it); 
} 

por cierto un delegado puede estar unido a una estructura y el compilador puede crear una estructura personalizada a partir de variables locales (stack asignado) y definir un delegado en ese

esto ocurre con

void foo(){ 
    int[] array; 
    int i=0; 
    void bar(int a){ 
     i+=a; 
    } 
    void DispatchMethodForAll(&bar)(array); 
    writeln(i);//prints the sum of array 
} 

bar es un delegado unido a una estructura con (al menos) un miembro de i de tipo int de los cuales la variable local i es un alias