on Mon Jul 23 2007, Andrew Sutton <asutton-AT-cs.kent.edu> wrote: >>> 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.
There isn't, for builtins. See "value-initialization." > 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. I have a hard time seeing how "an instance of T is constructed" can be construed to be a type -- result, return, or otherwise. -- 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
