<![CDATA[Hat eine Klasse ein typedef definiert?]]>Ist es möglich zu überprüfen ob eine Klasse ein typedef definiert hat,
aber ohne dabei ein mögliches typedef mit dem exakt gleichen Name in einer Basisklasse zu be­rück­sich­ti­gen.

also

struct Base
{
typedef int MyType;
}

struct Derived : Base
{

}

Nun soll zur Compile zeit überprüft werden ob Derived das typedef MyType definiert hat. Hat es aber nicht.
Ist das Problem mit standard C++ zu lösen, ja oder nein?
Wenn ja, wie?

]]>https://www.c-plusplus.net/forum/topic/318217/hat-eine-klasse-ein-typedef-definiertRSS for NodeMon, 27 Jul 2026 11:52:35 GMTThu, 04 Jul 2013 20:45:32 GMT60<![CDATA[Reply to Hat eine Klasse ein typedef definiert? on Thu, 04 Jul 2013 20:45:32 GMT]]>Ist es möglich zu überprüfen ob eine Klasse ein typedef definiert hat,
aber ohne dabei ein mögliches typedef mit dem exakt gleichen Name in einer Basisklasse zu be­rück­sich­ti­gen.

also

struct Base
{
typedef int MyType;
}

struct Derived : Base
{

}

Nun soll zur Compile zeit überprüft werden ob Derived das typedef MyType definiert hat. Hat es aber nicht.
Ist das Problem mit standard C++ zu lösen, ja oder nein?
Wenn ja, wie?

]]>https://www.c-plusplus.net/forum/post/2336638https://www.c-plusplus.net/forum/post/2336638Thu, 04 Jul 2013 20:45:32 GMT<![CDATA[Reply to Hat eine Klasse ein typedef definiert? on Thu, 04 Jul 2013 22:04:23 GMT]]>Im Allgemeinen eher Nein.

]]>https://www.c-plusplus.net/forum/post/2336649https://www.c-plusplus.net/forum/post/2336649Thu, 04 Jul 2013 22:04:23 GMT<![CDATA[Reply to Hat eine Klasse ein typedef definiert? on Thu, 04 Jul 2013 22:35:04 GMT]]>Mir ist keine standardisierte Möglichkeit dazu bekannt, wenn sollte eine vom Compiler angeboten werden.

]]>https://www.c-plusplus.net/forum/post/2336656https://www.c-plusplus.net/forum/post/2336656Thu, 04 Jul 2013 22:35:04 GMT<![CDATA[Reply to Hat eine Klasse ein typedef definiert? on Thu, 04 Jul 2013 22:52:45 GMT]]>Wozu braucht man so etwas?

struct foo : Derived, Base {};

und dann schauen, ob ein (eindeutiges) foo::MyType existiert.

]]>https://www.c-plusplus.net/forum/post/2336657https://www.c-plusplus.net/forum/post/2336657Thu, 04 Jul 2013 22:52:45 GMT<![CDATA[Reply to Hat eine Klasse ein typedef definiert? on Fri, 05 Jul 2013 05:35:29 GMT]]>camper schrieb:

Wozu braucht man so etwas?

struct foo : Derived, Base {};

und dann schauen, ob ein (eindeutiges) foo::MyType existiert.

Ich verstehe nicht was du meinst. In dem Fall hat foo auch wieder ein MyType.

]]>https://www.c-plusplus.net/forum/post/2336666https://www.c-plusplus.net/forum/post/2336666Fri, 05 Jul 2013 05:35:29 GMT<![CDATA[Reply to Hat eine Klasse ein typedef definiert? on Fri, 05 Jul 2013 08:43:45 GMT]]>Nash26 schrieb:

camper schrieb:

Wozu braucht man so etwas?

struct foo : Derived, Base {};

und dann schauen, ob ein (eindeutiges) foo::MyType existiert.

Ich verstehe nicht was du meinst. In dem Fall hat foo auch wieder ein MyType.

Keineswegs, schließlich wäre die Auflösung mehrdeutig.

#include <type_traits>
#include <utility>

struct Base { typedef int MyType; };
struct Derived : Base { };
struct Derived2 : Base { using Base::MyType; };
struct Derived3 : Base { typedef char MyType; };
struct Derived4 : Base { typedef int MyType; };

struct foo : Derived, Base {};
struct bar : Derived2, Base {};
struct baz : Derived3, Base {};
struct boo : Derived4, Base {};

template <typename T> struct identity { typedef T type; };

template <typename T, typename = typename T::MyType>
std::true_type has_MyType(identity<T>);
std::false_type has_MyType(...);

int main()
{
    static_assert( decltype(has_MyType(identity<Base>()))::value, "Base should have MyType" );
    static_assert( decltype(has_MyType(identity<Derived>()))::value, "Derived should have MyType" );
    static_assert( decltype(has_MyType(identity<Derived2>()))::value, "Derived2 should have MyType" );
    static_assert( decltype(has_MyType(identity<Derived3>()))::value, "Derived3 should have MyType" );

    static_assert( decltype(has_MyType(identity<foo>()))::value, "should have inherited MyType" );
    static_assert( decltype(has_MyType(identity<bar>()))::value, "should have inherited MyType" );
    static_assert( !decltype(has_MyType(identity<baz>()))::value, "should be ambigous" );
    static_assert( !decltype(has_MyType(identity<boo>()))::value, "should be ambigous" );
}
]]>https://www.c-plusplus.net/forum/post/2336696https://www.c-plusplus.net/forum/post/2336696Fri, 05 Jul 2013 08:43:45 GMT