[c++] optinales funktor/funktionspointer argument

[Vlad T. (vlad_tepesch)]

Hi, ich habe eine Template Klasse mit einer Memberfunktion Funktion, die 
als optionalen Parameter einen Funktor oder Funtionszeiger haben soll.


ich möchte also hinterher

entweder
process(var)
oder
process(var, Funktor())
oder
process(var, &funktion)
 aufrufen können

wie hat das auszusehen?
Bisher hab ich das getrennt implementiert:

#include <iostream>
#include <string>
using namespace std;

template <class A, class B>
class C
{
public:

  static string  printNothing()   {return "";}

  template < typename ProcessFunctorType>
  void process(int i, ProcessFunctorType& pfunc)
  {
    cout << i << " "<<pfunc()<<endl;
  }

  // diese funktion hätte ich gerne weg, so dass standardmäßig die 
  // andere mit printNothing aufgerufen wird.
  void process(int i){
    cout << i << " "<<endl;
  }
  
  A a;
  B b;
};

static string  printSomething() {return "foo";}

int main()
{
  C<int, int> c;
  c.process(1);
  c.process(2, C<int, int>::printNothing);
  c.process(3, printSomething);

}

Da ich aber noch einen weiteren funktor hinzufügen möchte, explodiert 
die Variantenanzahl und ich würde das gerne vereinheitlichen

Hat jemand eine Idee?

hier zum direkten ausprobieren:
http://codepad.org/Pkh944rz

Gruß
Vlad

[Rolf (Gast)]

Ich habe nicht so viel Ahnung und habe es auch nicht ausprobiert, aber 
vielleicht so:

template < typename ProcessFunctorType>
  void process(int i, ProcessFunctorType& pfunc = NULL)
  {
    cout << i << " "<<pfunc()<<endl;
  }

[Rolf (Gast)]

Oder vielleicht so:

template < typename ProcessFunctorType>
  void process(int i, ProcessFunctorType& pfunc = printNothing )
  {
    cout << i << " "<<pfunc()<<endl;
  }

[Rolf (Gast)]

http://ladedu.com/cpp/src_html/standard

[Vlad T. (vlad_tepesch)]

Rolf schrieb:
> http://ladedu.com/cpp/src_html/standard

was will uns der poster damit sagen?

Rolf schrieb:
> Ich habe nicht so viel Ahnung und habe es auch nicht ausprobiert, aber
> vielleicht so:

die andern sachen gehen natürlich auch nicht.

weder darf man einer referenz NULL zuweisen, noch wird der defaultwert 
bei templates beachtet

[Rolf (Gast)]

hier Problem auch nicht gelöst:
http://www.cplusplus.com/forum/general/7102/

Vielleicht bekommst du dadurch ja neue Ideen. Ich habe nicht genug 
Ahnung, um weiter zu helfen, war nur gut gemeint.

[ich (Gast)]

Vlad Tepesch schrieb:
> Rolf schrieb:
>> http://ladedu.com/cpp/src_html/standard
>
> was will uns der poster damit sagen?
>
> Rolf schrieb:
>> Ich habe nicht so viel Ahnung und habe es auch nicht ausprobiert, aber
>> vielleicht so:
>
> die andern sachen gehen natürlich auch nicht.
>
> weder darf man einer referenz NULL zuweisen, noch wird der defaultwert
> bei templates beachtet

Das geht prinzipiell schon, es muss allerdings eher so aussehen:

#include <iostream>
#include <string>
using namespace std;

static string  printSomething() {return "foo";}


template <class A, class B>
class C
{
public:

  static string  printNothing()   {return "";}

  template < typename ProcessFunctorType =  string () >
  void process(int i, ProcessFunctorType &pfunc = printNothing)
  {
      cout << i << " " <<pfunc()<<endl;
  }


//  void process(int i){
//    cout << i << " "<<endl;
//  }

  A a;
  B b;
};

Ausgabe:

1 
2 
3 foo

Default template Argumente bei Funktionstemplates gibt es allerdings 
erst ab C++11.

(kompiliert mit gcc 4.6 und -std=c++0x)

[Vlad T. (vlad_tepesch)]

ich schrieb:
> Das geht prinzipiell schon, es muss allerdings eher so aussehen:
hmm - den default  template parameter verstehe ich nicht.
müsste es nicht irgendwie "string (*)()" oder so heißen, weil ja der 
Templateparameter ein Funktionspointer ist.

kompiliert er denn auch noch sowas:

class TestFunctor{
public:
  TestFunctor(const string& s)
  : m_s(s)
  {}

  string operator()(){
    return m_s;
  }

private:
  string m_s;
};

///...

  TestFunctor tf("hallo");
  c.process(4, tf );

könnte mir vorstellen, dass es hier Probleme gibt, da der Typ das 
Defaultarguments ( string (*)() ) nicht zum Templatetyp (TestFunctor) 
passt.

kannst du das mal durch deinen Compiler jagen?

Das Codepad und mein MSVC können das nicht

[Vlad T. (vlad_tepesch)]

was mir grad noch einfällt (eigentlich das naheliegendste):

in den überladenen Varianten jeweils die templatevariante rufen

  void process(int i)
  {
    process(i, printNothing);
  }

[Rolf (Gast)]

Vlad Tepesch schrieb:
> kannst du das mal durch deinen Compiler jagen?

[23:07:22] <[e-mail]> ~/cpp ((Linux 
3.5.2-1.fc17.x86_64))
1 processes #55 $ g++ -std=c++11 beispiel2.cpp -o beispiel2
[23:09:49] <[e-mail]> ~/cpp ((Linux 
3.5.2-1.fc17.x86_64))
1 processes #56 $ ./beispiel2
1
2
3 foo
4 hallo


macht er ohne zu meckern.

Starte mal eine Linux-Live-Session entweder vom USB-Stick oder von einer 
CD, dann kannst Du das auch selber testen.

[ich (Gast)]

Vlad Tepesch schrieb:
> hmm - den default  template parameter verstehe ich nicht.
> müsste es nicht irgendwie "string (*)()" oder so heißen, weil ja der
> Templateparameter ein Funktionspointer ist.

Da du pfunc als Referenz übergibst, muss der default template Parameter 
entweder "string ()" oder "string (&)()" sein. Mit "string (*)()" gibt 
es die Fehlermeldung:

In member function 'void C<A, B>::process(int, ProcessFunctorType&) [with ProcessFunctorType = std::basic_string<char> (*)(), A = int, B = int]':
default argument for parameter of type 'std::basic_string<char> (*&)()' has type 'std::string() {aka std::basic_string<char>()}'

Also:

// entweder so
  template < typename ProcessFunctorType =  string () >
  void process(int i, ProcessFunctorType &pfunc = printNothing)

// oder so
  template < typename ProcessFunctorType =  string (&)() >
  void process(int i, ProcessFunctorType &pfunc = printNothing)

// oder als Funktionszeiger
  template < typename ProcessFunctorType =  string (*)() >
  void process(int i, ProcessFunctorType pfunc = printNothing)