I'm looking at document N2135 (draft standard). Table 80 in section 23.1
on container requirements shows the expression X(a) with post-condition
X(a) == a.

However, section 23.1.3 on the unordered associated containers says that
the expression a == b need not be valid for those containers. What then
is the meaning of the post condition in Table 80 for the unordered
associative containers?

Intuitively it is clear what is intended (well... I think it is clear
anyway). However, it seems like this could be clarified. Or perhaps it
is and I'm just missing it?

Peter

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]