"Douglas Gregor" <dgregor@osl.iu.edu> wrote in message
Arkadiy Vertleyb wrote:
Another example (from the Typeof library):
Types and templates are mapped to unique numbers using preprocessor counter. The resulting specializations depend on the order these specializations are seen by the preprocessor, and therefore on the order of inclusion.
The Typeof library is a great thing, but the techniques needed to simulate what should be a language feature are C++ hacks. We don't need to loosen or fix the ODR, we need the functionality that the Typeof library provides ("give me the type of this expression!") to be in the language. decltype fixes that.
I did not suggest that C++ standard should be fixed to make the Typeof library 100% compliant ;-) My point was to mention the technique used; this technique (generating template specializations on demand, and maybe using preprocessor counter to give them unique numbers) might be useful in other contexts... Or it might be not. Regards, Arkadiy