<![CDATA[Prüfen ob Klasse erbt:]]>template<class B,class A> struct B_erbt_von_A{ //Nimmt Objekte an die von A erben static char foo(A*); //Nimmt alles andere an static double foo(...); //Erzeugt ein Objekt von B(B-Konstruktor könnte private sein. bei direktem new => Fehler) static B* make(); //Je nachdem welches Foo aufgerufen wird, Ergebnis bestimmen enum{yes=sizeof(foo(make())) == sizeof(char)}; }; class A1{ virtual void X(); } class B1{ } B1 t; if(B_erbt_von_A<B1,A1>::yes) t.X();

Leider kompiliert er mir das nicht. Wo liegt der Fehler? Laut meinem prof müsste das gehen.

//Edit: Der Befehl if(B_erbt_von_A<B1,A1>::yes) sollte angeblich schon zur Compilezeit ausgewertet werden und so Compilerfehler (wegen dem fehlenden 😵 verhindern)

]]>https://www.c-plusplus.net/forum/topic/332391/prüfen-ob-klasse-erbtRSS for NodeTue, 28 Apr 2026 03:44:57 GMTMon, 27 Apr 2015 16:06:32 GMT60<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 18:37:26 GMT]]>template<class B,class A> struct B_erbt_von_A{ //Nimmt Objekte an die von A erben static char foo(A*); //Nimmt alles andere an static double foo(...); //Erzeugt ein Objekt von B(B-Konstruktor könnte private sein. bei direktem new => Fehler) static B* make(); //Je nachdem welches Foo aufgerufen wird, Ergebnis bestimmen enum{yes=sizeof(foo(make())) == sizeof(char)}; }; class A1{ virtual void X(); } class B1{ } B1 t; if(B_erbt_von_A<B1,A1>::yes) t.X();

Leider kompiliert er mir das nicht. Wo liegt der Fehler? Laut meinem prof müsste das gehen.

//Edit: Der Befehl if(B_erbt_von_A<B1,A1>::yes) sollte angeblich schon zur Compilezeit ausgewertet werden und so Compilerfehler (wegen dem fehlenden 😵 verhindern)

]]>https://www.c-plusplus.net/forum/post/2451705https://www.c-plusplus.net/forum/post/2451705Mon, 27 Apr 2015 18:37:26 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 16:28:08 GMT]]>Es soll Compiler geben, die Fehlermeldungen ausgeben ...

]]>https://www.c-plusplus.net/forum/post/2451708https://www.c-plusplus.net/forum/post/2451708Mon, 27 Apr 2015 16:28:08 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 16:32:03 GMT]]>nach deinen Klassen fehlt ; und dein t hat kein X - egal was du anstellst

]]>https://www.c-plusplus.net/forum/post/2451709https://www.c-plusplus.net/forum/post/2451709Mon, 27 Apr 2015 16:32:03 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 18:01:15 GMT]]>Gast3 schrieb:

und dein t hat kein X - egal was du anstellst

Das soll ja genau der Aufruf if(B_erbt_von_A<B1,A1>::yes) prüfen und einen Compiler-Fehler verhindern. Nur warum klappt das nicht?

]]>https://www.c-plusplus.net/forum/post/2451728https://www.c-plusplus.net/forum/post/2451728Mon, 27 Apr 2015 18:01:15 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 18:21:14 GMT]]>Welche Fehlermeldung wird denn ausgegeben?

]]>https://www.c-plusplus.net/forum/post/2451732https://www.c-plusplus.net/forum/post/2451732Mon, 27 Apr 2015 18:21:14 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 18:32:36 GMT]]>moin354 schrieb:

Welche Fehlermeldung wird denn ausgegeben?

error: 'class B' has no member named 'X'

]]>https://www.c-plusplus.net/forum/post/2451734https://www.c-plusplus.net/forum/post/2451734Mon, 27 Apr 2015 18:32:36 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 18:43:21 GMT]]>Ja, genau weil die Klasse B auch keinen Member X hat.
Dein Programm überprüft dies zwar, jedoch wird es vom Compiler schon überprüft, bevor dein Programm ausgeführt wird.

]]>https://www.c-plusplus.net/forum/post/2451740https://www.c-plusplus.net/forum/post/2451740Mon, 27 Apr 2015 18:43:21 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 18:50:31 GMT]]>moin354 schrieb:

Ja, genau weil die Klasse B auch keinen Member X hat.
Dein Programm überprüft dies zwar, jedoch wird es vom Compiler schon überprüft, bevor dein Programm ausgeführt wird.

Dieses struct Konstrukt soll ja eben schon vom Compiler ausgewertet werden können (angeblich)

]]>https://www.c-plusplus.net/forum/post/2451743https://www.c-plusplus.net/forum/post/2451743Mon, 27 Apr 2015 18:50:31 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 18:56:24 GMT]]>Die Struktur ist ja auch nicht das Problem, sondern der Aufruf der nicht vorhandenen Methode.

]]>https://www.c-plusplus.net/forum/post/2451745https://www.c-plusplus.net/forum/post/2451745Mon, 27 Apr 2015 18:56:24 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 19:02:51 GMT]]>moin354 schrieb:

Die Struktur ist ja auch nicht das Problem, sondern der Aufruf der nicht vorhandenen Methode.

Wenn die struct vom compiler ausgewertet werden würde, würde es keinen Fehler geben. Dort steht nämlich ganz klar:

if(B_erbt_von_A<B1,A1>::yes)
t.X();

Wenn der Compiler das B_erbt_von_A auswerten könnte - So wie der Prof es sagt - würde er wissen, dass t.X() gar nicht aufgerufen werden kann und somit keinen Fehler werfen.

]]>https://www.c-plusplus.net/forum/post/2451746https://www.c-plusplus.net/forum/post/2451746Mon, 27 Apr 2015 19:02:51 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 19:07:51 GMT]]>Es ist dem Compiler egal. Schau mal dieses Beispiel ruft den selben Fehler hervor.

class B1
	{

	};

	B1 t;

	if (0 == 1)
		t.X();
]]>https://www.c-plusplus.net/forum/post/2451748https://www.c-plusplus.net/forum/post/2451748Mon, 27 Apr 2015 19:07:51 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 21:50:47 GMT]]>Falls du den gcc hast kannst du ja mal das versuchen:

SSA Aggressive Dead Code Elimination. Turned on by the `-fssa-dce' option. This pass performs elimination of code considered unnecessary because it has no externally visible effects on the program. It operates in linear time.

(http://www.delorie.com/gnu/docs/gcc/gccint_30.html
Ich weiß nicht, wie 'aggresiv' das ist.

]]>https://www.c-plusplus.net/forum/post/2451770https://www.c-plusplus.net/forum/post/2451770Mon, 27 Apr 2015 21:50:47 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Mon, 27 Apr 2015 22:40:30 GMT]]>@Jockelx
Erstmal muss die Show als gültiges C++ übersetzbar sein. Dann wird optimiert.

@RichardEb
Du musst ein Hilfstempalte machen das X aufruft.
Ala

template <class T, bool = erbt_von<T, A>::value>
struct XOderNix
{
    static void X(T&) {}
};

template <class T>
struct XOderNix<T, true>
{
    static void X(T& t) { t.X(); }
};

// ...
{
    B1 b;
    XOderNix<B1>::X(b);
}
]]>https://www.c-plusplus.net/forum/post/2451775https://www.c-plusplus.net/forum/post/2451775Mon, 27 Apr 2015 22:40:30 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Tue, 28 Apr 2015 10:07:00 GMT]]>warum nicht einfach std::is_base_of verwenden?

]]>https://www.c-plusplus.net/forum/post/2451838https://www.c-plusplus.net/forum/post/2451838Tue, 28 Apr 2015 10:07:00 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Tue, 28 Apr 2015 10:14:27 GMT]]>kurze_frage schrieb:

warum nicht einfach std::is_base_of verwenden?

Auch gut.
Der "is_base_of" Teil ist hier bloss nicht das Problem.
Das Problem ist dass RichardEb nicht verstanden hat dass C++ (noch?) kein "static if" kann.

]]>https://www.c-plusplus.net/forum/post/2451842https://www.c-plusplus.net/forum/post/2451842Tue, 28 Apr 2015 10:14:27 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Tue, 28 Apr 2015 12:52:24 GMT]]>ich probiers noch mal

RichardEb schrieb:

//Edit: Der Befehl if(B_erbt_von_A<B1,A1>::yes) sollte angeblich schon zur Compilezeit ausgewertet werden und so Compilerfehler (wegen dem fehlenden 😵 verhindern)

geht nicht std::is_member_pointer um festzustellen ob es eine Funktion X gibt?

]]>https://www.c-plusplus.net/forum/post/2451875https://www.c-plusplus.net/forum/post/2451875Tue, 28 Apr 2015 12:52:24 GMT<![CDATA[Reply to Prüfen ob Klasse erbt: on Tue, 28 Apr 2015 21:36:04 GMT]]>Vielleicht.
Ich frage mich nur was das mit der Fragestellung zu tun haben soll.
Der OP hat erstmal primär ein ganz anderes Problem.

]]>https://www.c-plusplus.net/forum/post/2451917https://www.c-plusplus.net/forum/post/2451917Tue, 28 Apr 2015 21:36:04 GMT