on Mon Jul 23 2007, Andrew Sutton <asutton-AT-cs.kent.edu> wrote: > I'm combining and paraphrasing three distinct sources: the original > SGI docs (for basic format and content), the 2003 C++ edition (for > correctness) and some of the WG docs on concepts.
One of the great things about having language support for concepts in ConceptGCC is that it finds all the bugs in other formulations... which is to say I suggest you give much more weight to the concept definitions from the latest documents and ConceptGCC standard library. > A type T is said to be default constructible if it can be > instantiated Careful, we don't "instantiate" types in C++. > without initializing it to any particular value. That would make std::vector<int> not default constructible. A constructed vector is always initialized to a particular value. +----------+------------+------------+ |Expression|Return |Requirements| | |Type | | +----------+------------+------------+ |T x | |x is an | | | |instance of | | | |T. | +----------+------------+------------+ |T() |An instance | | | |of T is | | | |constructed.| | +----------+------------+------------+ I think "Return Type" needs to be "Postcondition" or something. -- Dave Abrahams Boost Consulting http://www.boost-consulting.com The Astoria Seminar ==> http://www.astoriaseminar.com ------------------------------------------------------------------------- This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ Boost-docs mailing list [email protected] Unsubscribe and other administrative requests: https://lists.sourceforge.net/lists/listinfo/boost-docs
