Wskaźnik na funkcję składową w szablonie

krwq

2011-08-29T21:22:20+02:00

Rejestracja: dni
Ostatnio: dni
Postów: 2520

Dlaczego ten kod w takiej formie działa, a po odkomentowaniu pokazuje błąd:

Kopiuj

16: variable or field 'c' declared void
16: expected ')' before 'f'
In function 'int main()':
26: 'c' was not declared in this scope
26: expected primary-expression before 'int'
26: expected ';' before 'int'
=== Build finished: 5 errors, 0 warnings ===

kod:

Kopiuj

#include <stdio.h>

template<class T>
class A
{
public:
  typedef void (A<T>::*Func)();
  void d()
    {
      printf("Udalo sie!");
    }
};

/*
template<class T>
void c(A<T>::Func f)
{
  A<T> test;
  (test.*f)();
}/**/


int main()
{
  A<int>::Func d = &A<int>::d;
  //c<int>(&A<int>::d);
  return 0;
}

2011-08-29T21:31:36+02:00

Rejestracja: dni
Ostatnio: dni

ty chcesz zrobić wskaźnik na metodę, a nie zwykłą funkcję. Metoda musi być powiązana z obiektem. Poczytaj o wskaźnikach na metody, było na 4p.

krwq

2011-08-29T21:34:47+02:00

Rejestracja: dni
Ostatnio: dni
Postów: 2520

przecież jest powiązana w tym kodzie, poza tym z klasą a nie z obiektem

byku_guzio

2011-08-29T22:07:44+02:00

Rejestracja: dni
Ostatnio: dni

W sumie nie wiem czemu się tak dzieje. Może typedef nie radzi sobie z szablonami. Chyba nie ma wyjścia tylko argument funkcji musi wyglądać w tym wypadku tak:

Kopiuj

void (A<T>::*f)()

krwq

2011-08-29T22:10:23+02:00

Rejestracja: dni
Ostatnio: dni
Postów: 2520

a chciałem uniknąć tego monstrum :(

hauleth

2011-08-29T22:17:09+02:00

Rejestracja: dni
Ostatnio: dni

Rozwiązanie jest dość proste:

Kopiuj

#include <stdio.h>
 
template<class T>
class A
{
public:
  typedef void (A<T>::*Func)();
  void d()
    {
      printf("Udalo sie!");
    }
};
 
template<class T>
void c(typename A<T>::Func f)
{
  typename A<T> test;
  (test.*f)();
}
 
 
int main()
{
  A<int>::Func d = &A<int>::d;
  c<int>(&A<int>::d);
  return 0;
}