Boost logo

Boost :

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
considered safe.

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
as intended.

Possible solutions:
- 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
positive traits:


Boost list run by bdawes at, gregod at, cpdaniel at, john at