"William E. Kempf" <[EMAIL PROTECTED]> writes:
> Augustus Saunders said:
> I wouldn't be overly concerned. I'd find this to be a programmer error
> (passing a type to a template that doesn't meet the template's
> requirements). Concept checking libraries can even be employed to insure
> such mistakes don't happen (assuming the concepts are well defined enough
> for such checks to be written), though this would be a QoI issue in the
> implementation of the template.
Those concept checks can only look at syntactic and type constraints,
not semantic (behavioral) ones like the ones they're worried about.
--
David Abrahams
[EMAIL PROTECTED] * http://www.boost-consulting.com
Boost support, enhancements, training, and commercial distribution
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
