From: David Abrahams (dave_at_[hidden])
Date: 2004-01-22 12:30:39
The documentation says: "If types T1 and T2 are the same type, then
there is only one version of the single-argument constructor, and this
constructor initialises both values in the pair to the passed value."
There is no indication that only one object of type T1 will actually
ever be created when T1 == T2 and are empty, even though that is in
fact the case. This violates a reasonable expectation (given by the
standard) that two objects of the same type will have distinct
addresses. The difference *is* detectable by the user.
-- Dave Abrahams Boost Consulting www.boost-consulting.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk