From: Vesa Karvonen (vesa.karvonen_at_[hidden])
Date: 2001-08-27 10:07:56
Several type traits currently require special support from the user or the
compiler. [I think that this is highly undesirable for several reasons.] These
traits include (with some special cases) at least:
In the case that a particular trait is not specialized, the current type
traits implementation typically return false, which can typically be
However, in some cases, the user may really want to know the real answer and
is willing to write the specializations whenever an unknown type is found.
Perhaps the user makes use of traits for specializing algorithms or
interfacing with other languages and likes to make sure that everything works
- Core language support.
- Strict traits that would fail or return "probably_false" whenever they can
not make a definite answer:
- Separately implemented negative traits, which can be cross checked with the
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk