Tobias,<br><br>Thanks for your corrections. It is a bit difficult to speak by means of "C++-Standard Language" ;)<br><br><br>With Kind Regards,<br>Ovanes<br><br>P.S. <br>---- OFFTOPIC<br>Could you take a look at my previous posting regarding singleton destruction. May be you have overseen it.
<br>---- END<br><br><br><div class="gmail_quote">On Jan 24, 2008 3:26 PM, Tobias Schwinger <<a href="mailto:tschwinger@isonews2.com">tschwinger@isonews2.com</a>> wrote:<br> [...]<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
The wording is a bit ambiguous: A pointer to an /incomplete type/ is in<br>fact OK (using standard terminology), but 'TreeImplBase' is a /template<br>id/ which is not a type at all.<br><br>As Ovanes pointed out that construct is illegal, however (except inside
<br>a definition of 'TreeImplBase' where it's the /injected class name/).<br><br>/Specializing/ a template with template arguments yields a type. Using<br>(whatever) member of this type's interface causes the template to be
<br>implicitly (possibly partially) /instantiated/. It's most important to<br>realize that specializing a template does not cause the template to be<br>instantiated automatically.<br><br>Note that "template specialization" has a context-dependent meaning, as
<br>it can either refer to a type or of a class (template) definition of a<br>variant implementation of the template:<br><br> // /primary template/<br> template< typename T > struct A { ... };<br><br> // definition of the (full) specialization A<int>
<br> template< > struct A<int> { ... };<br><br> // definition of a partial specialization<br> template< typename T > struct A< B<T> ><br> {<br> typedef A self; // /injected class name/ is a type
<br> };<br><br> // X and Y are specializations (not instantiations)!<br> typedef A< B<int> > X;<br> typedef A< long > Y;<br><br> int main()<br> {<br> X x; // instantiation of the 'B<int>'-specialization of A
<br> // at this point<br><br> // ...<br><br>OK, that's about template terminology in five minutes :-).<br><br><br>Regards,<br><font color="#888888">Tobias<br></font><div><div></div><div class="Wj3C7c"><br>_______________________________________________
<br>Boost-users mailing list<br><a href="mailto:Boost-users@lists.boost.org">Boost-users@lists.boost.org</a><br><a href="http://lists.boost.org/mailman/listinfo.cgi/boost-users" target="_blank">http://lists.boost.org/mailman/listinfo.cgi/boost-users
</a><br></div></div></blockquote></div><br>