s not have any data members that are
        references.</li>
    <li>All base classes, and all data member objects must have
        trivial assignment operators.</li>
</ul>

<p>If all these conditions are met then a type can be copied
using <font size="2" face="Courier New">memcpy</font> rather than
using a compiler generated assignment operator. The type-traits
library provides a class <i>has_trivial_assign</i>, such that <code>has_trivial_assign&lt;T&gt;::value</code>
is true only if T has a trivial ass