Issue 1316: scoped_allocator_adaptor operator== has no definition

Title: scoped_allocator_adaptor operator== has no definition
Status: c++11
Section: [allocator.adaptor]
Submitter: Pablo Halpern

Created on 2009-02-11.00:00:00 last changed 161 months ago

Messages

Date: 2010-11-24.14:01:03

Proposed resolution:

Add a new section after [allocator.adaptor.members]:

Scoped allocator operators [scoped.adaptor.operators]
template <class OuterA1, class OuterA2, class... InnerAllocs>
  bool operator==(const scoped_allocator_adaptor<OuterA1, InnerAllocs...>& a,
                  const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& b);
Returns: a.outer_allocator() == b.outer_allocator() if sizeof...(InnerAllocs) is zero; otherwise, a.outer_allocator() == b.outer_allocator() && a.inner_allocator() == b.inner_allocator().
template <class OuterA1, class OuterA2, class... InnerAllocs>
  bool operator!=(const scoped_allocator_adaptor<OuterA1, InnerAllocs...>& a,
                  const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& b);
Returns: !(a == b).

msg4769 (view)

Date: 2010-11-24.14:01:03

[ Adopted at 2010-11 Batavia ]

msg1575 (view)

Date: 2010-10-21.19:06:53

[ Post-Rapperswil: ]

Moved to Tentatively Ready after 5 positive votes on c++std-lib.

msg1574 (view)

Date: 2009-02-11.00:00:00

The WP (N3000) contains these declarations:

template <class OuterA1, class OuterA2, class... InnerAllocs>
  bool operator==(const scoped_allocator_adaptor<OuterA1, InnerAllocs...>& a,
                  const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& b);
template <class OuterA1, class OuterA2, class... InnerAllocs>
  bool operator!=(const scoped_allocator_adaptor<OuterA1, InnerAllocs...>& a,
                  const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& b);

But does not define what the behavior of these operators are.

History
Date	User	Action	Args
2011-08-23 20:07:26	admin	set	status: wp -> c++11
2010-11-24 14:01:03	admin	set	messages: + msg5422
2010-11-14 13:10:57	admin	set	status: voting -> wp
2010-11-08 14:14:39	admin	set	status: ready -> voting
2010-10-21 19:06:53	admin	set	messages: + msg4769
2010-10-21 19:06:53	admin	set	status: new -> ready
2010-10-21 18:28:33	admin	set	messages: + msg1575
2009-02-11 00:00:00	admin	create