From: David Abrahams (dave_at_[hidden])
Date: 2004-04-02 09:23:16


"Gennadiy Rozental" <gennadiy.rozental_at_[hidden]> writes:

>> A trait is a part of the definition of an entity.
>
> That's right.

Absolutely not. A key trait of traits is that they're non-intrusive.
They create an association with that can be defined *after* the type
argument is defined. See
http://www.boost.org/more/generic_programming.html#traits

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com