was genau bedeutet das argument (int C::*)

Reply to was genau bedeutet das argument (int C::*) on Tue, 19 Feb 2008 07:36:52 GMT

muffmolch — Tue, 19 Feb 2008 07:36:52 GMT

Im C++ templates wird diese Argmuent verwendet um letztlich Klassen zu identifizieren. Bei

void foo(typename C::X const*)

ist mir die Syntax und die BEdeutung klar, aber hier

void foo(int C::*)

nicht ganz.
Hat darüber hinaus eventuell einer eine gute Seite im Netz für solche Syntax Fragen zur Hand?

Reply to was genau bedeutet das argument (int C::*) on Tue, 19 Feb 2008 08:16:09 GMT

pumuckl — Tue, 19 Feb 2008 08:16:09 GMT

Das bedeutet nur, dass foo einen Pointer auf ein int-Member von C als Argument nimmt. Dem wurde nur kein Name gegeben, ähnlich wie bei void bar(int);

Beispiel:

class C {
  public:
  int i;
  int b;
};

int main() {
  foo(&C::i);
  foo(&C::b);
}

Reply to was genau bedeutet das argument (int C::*) on Tue, 19 Feb 2008 10:09:22 GMT

muffmolch — Tue, 19 Feb 2008 10:09:22 GMT

sowas dachte ich mir. nur wie kann man somit auf klassen testen? was wenn wenn diese keine int variablen hat? dann klappt der test doch auch nicht, oder?

Reply to was genau bedeutet das argument (int C::*) on Tue, 19 Feb 2008 10:11:26 GMT

pumuckl — Tue, 19 Feb 2008 10:11:26 GMT

Das Buch steht bei mir zu Hause, ich bin grad auf Arbeit - wie testen sie damit auf Klassen? Zeig mal Beispiel

Reply to was genau bedeutet das argument (int C::*) on Tue, 19 Feb 2008 10:13:43 GMT

LordJaxom — Tue, 19 Feb 2008 10:13:43 GMT

Wenn die Klasse keine int Variablen hat, kannst Du die Funktion nicht aufrufen, da es nichts gibt was vom Typ her dem Argument entspräche. Du kannst aber trotzdem so eine Funktion deklarieren, daran hindert Dich niemand.

Was meinst Du mit "Klassen identifizieren" überhaupt?

Reply to was genau bedeutet das argument (int C::*) on Tue, 19 Feb 2008 10:26:49 GMT

muffmolch — Tue, 19 Feb 2008 10:26:49 GMT

ja, meine buch steht auch zu hause... verdammt... ich schau mal, ob ich es grad im netz finde

Reply to was genau bedeutet das argument (int C::*) on Tue, 19 Feb 2008 10:34:36 GMT

muffmolch — Tue, 19 Feb 2008 10:34:36 GMT

template
class IsClassT {
  private:
    typedef char One;
    typedef struct { char a[2]; } Two;
    template static One test(int C::*);
    template static Two test(...);
  public:
    enum { Yes = sizeof(IsClassT::test(0)) == 1 };
    enum { No = !Yes };
};

template 
void check()
{
    if (IsClassT::Yes) {
        std::cout << " IsClassT " << std::endl;
    }
    else {
        std::cout << " !IsClassT " << std::endl;
    }
}

template 
void checkT (T)
{
    check();
}

#include 
#include "isclasst.hpp"

class MyClass {
};

struct MyStruct {
};

union MyUnion {
};

void myfunc()
{
}

enum E { e1 } e;

int main()
{
    std::cout << "int:     ";
    check();

    std::cout << "MyClass: ";
    check();

    std::cout << "MyStruct:";
    MyStruct s;
    checkT(s);

    std::cout << "MyUnion: ";
    check();

    std::cout << "enum:    ";
    checkT(e);

    std::cout << "myfunc():";
    checkT(myfunc);
}

http://www.josuttis.com/tmplbook/

Reply to was genau bedeutet das argument (int C::*) on Tue, 19 Feb 2008 10:36:53 GMT

pumuckl — Tue, 19 Feb 2008 10:36:53 GMT

Es geht dabei darum, dass eine Klasse C Member haben kann, unter anderem einen int (muss aber nicht sein) Damit ist das Konstrukt int C::* genau dann erlaubt, wenn C eine Klasse ist. Du hast natuerlich recht, das es fuer Klassen, die kein int-Member haben, so einen Pointer nicht geben kann - abgesehen vom Nullpointer, der gerade hier zum Einsatz kommt

sizeof(IsClassT::test(0)) == 1

Der Nullpointer kann also auch dann ein Pointer-auf-int-Mebmer-von-C sein, wenn C keine int-Member hat. Damit ist der Match besser als mit der Ellipse und der Test positiv.