[std-interval] Revised document available
Gabriel Dos Reis
gdr at integrable-solutions.net
Thu Sep 21 17:19:57 PDT 2006
Guillaume Melquiond <guillaume.melquiond at ens-lyon.fr> writes:
| > >[ ...one should give an abstract definition of operations here. ]
| > >For each supported type T, the implementation-dependent set I_T, of
| > >intervals supported by the interval<T> instantiation, must be a
| > >subset of I that includes the empty set and the whole line. I_T must
| > >be defined in the implementation's user documentation.
| > This wording leaves data representation opaque. It only needs small
| > changes to accommodate non-closed intervals should this be desirable.
| This may be a bit verbose. I wonder if we really have to say that much
| in the "standard" part of proposal (it could be fine for the "rationale"
| part though).
You're highly encouraged to say as much as you can to make the text
unambiguous and understandable without refering to a "Rationale"
document -- the C++ standard does not have one and we're unlikely to have
one for the next version. The least thing you'll want is a series of
DRs just because people missed the rationale. Don't try to make
saving on the wording -- the standards committee will figure that part
out does the need arise.
More information about the Std-interval