> 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.
Perhaps it would be a better idea to just co-opt the concepts from the proposed utility extensions rather than simply re-documenting what's currently present in SGI or ISO docs. >> A type T is said to be default constructible if it can be >> instantiated > > Careful, we don't "instantiate" types in C++. Let me see if I can puzzle this out... Templates are instantiated, types are constructed? Is that more correct? Is there a better way to say that/? > >> 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. I had a paragraph about default values, but took it out since there doesn't seem to be any strong guarantees on the default value of default construction. I think that wording is a hold-over from the SGI docs. > +----------+------------+------------+ > |Expression|Return |Requirements| > | |Type | | > > I think "Return Type" needs to be "Postcondition" or something. Perhaps... I stripped the table headers right out of the standard. Postcondition would be a more formal way of expressing the third column, requirement(s). The SGI docs actually provide considerably more in the way of documenting these: An expression name, the expression itself, type requirements, return type, precondition, postcondition and semantics. Result type might be more appropriate than return. It's used frequently throughout the standard. Andrew Sutton [EMAIL PROTECTED] ------------------------------------------------------------------------- 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
