On Tue, Jun 24, 2008 at 5:47 AM, Bruno Haible <[EMAIL PROTECTED]> wrote: > Gabriel Dos Reis wrote: >> There is a subset of C++ templates stable enough over the years, that can be >> used without fear, uncertainty and doubt. > > Absolutely. Can you specify this "usable" subset of C++ templates formally?
formally, probably not, but I rely on the common sense of my fellow maintainers. To give concreteness to what I mean, I suspect that most *uses* of the template uses in the STL -- before we get to rvalue references and the like are OK. They don't require cleverness. > That would be valuable advice for maintainers. So that maintainers can decide > whether they should write code like gmpxx [1] inside GCC. the code gmpxx was inpired by my implementation of valarray that comes with GCC. I don't think such `execessive cleverness' is needed in the compiler itself. In fact, most codes in the compiler should be `dull'. > > Bruno > > [1] > http://www.google.com/codesearch?hl=en&q=show:G8p0bPmV-oQ:iB2K8u4XbxM:9D2oeU5g1Qo&sa=N&cd=1&ct=rc&cs_p=http://gcc-hk.internet.bs/infrastructure/gmp-4.2.1.tar.bz2&cs_f=gmp-4.2.1/gmpxx.h > >