<![CDATA[Warum brauche ich typename in folgendem Kontext?]]>struct foo { template <typename T> struct bar { typedef typename T::template bar<T> type; // (!) }; };

T ist ein Template-Parameter, ergo ist es ein Typ. Das ergibt doch gar keinen Sinn.

]]>https://www.c-plusplus.net/forum/topic/310327/warum-brauche-ich-typename-in-folgendem-kontextRSS for NodeTue, 04 Aug 2026 19:27:07 GMTThu, 08 Nov 2012 19:42:26 GMT60<![CDATA[Reply to Warum brauche ich typename in folgendem Kontext? on Thu, 08 Nov 2012 19:42:26 GMT]]>struct foo { template <typename T> struct bar { typedef typename T::template bar<T> type; // (!) }; };

T ist ein Template-Parameter, ergo ist es ein Typ. Das ergibt doch gar keinen Sinn.

]]>https://www.c-plusplus.net/forum/post/2269079https://www.c-plusplus.net/forum/post/2269079Thu, 08 Nov 2012 19:42:26 GMT<![CDATA[Reply to Warum brauche ich typename in folgendem Kontext? on Thu, 08 Nov 2012 20:08:10 GMT]]>struct foo { template <typename T> struct bar { typedef typename T::template bar<T> type; }; template <typename T> static void fubar() { T::template fubar<T> (); // Hoppla, gleichartiger Ausdruck, aber nun ist's kein Typ, sondern eine Funktion. } }; ]]>https://www.c-plusplus.net/forum/post/2269095https://www.c-plusplus.net/forum/post/2269095Thu, 08 Nov 2012 20:08:10 GMT<![CDATA[Reply to Warum brauche ich typename in folgendem Kontext? on Fri, 09 Nov 2012 09:07:02 GMT]]>Was bedeutet denn T::template ?
Das habe ich so noch nicht gesehen 😕

]]>https://www.c-plusplus.net/forum/post/2269179https://www.c-plusplus.net/forum/post/2269179Fri, 09 Nov 2012 09:07:02 GMT<![CDATA[Reply to Warum brauche ich typename in folgendem Kontext? on Fri, 09 Nov 2012 09:45:01 GMT]]>Lexer_ schrieb:

Was bedeutet denn T::template ?
Das habe ich so noch nicht gesehen 😕

Das T:: gehört da nur bedingt dazu. Das template ist aus dem gleichen Grund da, aus dem man für abhängige Typen ein typename braucht. Der Compiler muss wissen, dass in diesem Zusammenhang bar als ein Template angesehen werden soll.

]]>https://www.c-plusplus.net/forum/post/2269195https://www.c-plusplus.net/forum/post/2269195Fri, 09 Nov 2012 09:45:01 GMT<![CDATA[Reply to Warum brauche ich typename in folgendem Kontext? on Fri, 09 Nov 2012 09:59:55 GMT]]>SeppJ schrieb:

Lexer_ schrieb:

Was bedeutet denn T::template ?
Das habe ich so noch nicht gesehen 😕

Das T:: gehört da nur bedingt dazu. Das template ist aus dem gleichen Grund da, aus dem man für abhängige Typen ein typename braucht. Der Compiler muss wissen, dass in diesem Zusammenhang bar als ein Template angesehen werden soll.

Wird das nur im Kontext eines typedefs verwendet, oder kann diese Syntax noch irgendwo auftauchen?

Danke

]]>https://www.c-plusplus.net/forum/post/2269201https://www.c-plusplus.net/forum/post/2269201Fri, 09 Nov 2012 09:59:55 GMT<![CDATA[Reply to Warum brauche ich typename in folgendem Kontext? on Fri, 09 Nov 2012 10:15:48 GMT]]>Die kann logischerweise überall da auftauchen, wo du ein Template aus einem "abhängigen" Namen haben willst.

]]>https://www.c-plusplus.net/forum/post/2269205https://www.c-plusplus.net/forum/post/2269205Fri, 09 Nov 2012 10:15:48 GMT<![CDATA[Reply to Warum brauche ich typename in folgendem Kontext? on Fri, 09 Nov 2012 10:59:23 GMT]]>Du brauchst diese Form (->template, .template, ::template, ...), weil der Compiler wissen muss, dass das <, was folgt, kein kleiner-als ist sondern eine template argument list.

Standard:
N3337 § 14.2 / 4

When the name of a member template specialization appears after . or -> in a postfix-expression or after a
nested-name-specifier in a qualified-id, and the object expression of the postfix-expression is type-dependent
or the nested-name-specifier in the qualified-id refers to a dependent type, but the name is not a member of
the current instantiation (14.6.2.1), the member template name must be prefixed by the keyword template

]]>https://www.c-plusplus.net/forum/post/2269218https://www.c-plusplus.net/forum/post/2269218Fri, 09 Nov 2012 10:59:23 GMT