Boost C++ Libraries: Ticket #816: duplicat initial members -> erase_key postcond. fail

cppljevans — Thu, 22 Mar 2007 11:34:11 GMT

Logged In: YES
user_id=24558
Originator: YES
The attached file has assoc_item template showing how to check for duplicates
using a boost concept template.  Although it can only be compiled with
Doug's variadic template compiler, the method used to check for duplicates
can, AFAICT, be used with the current m_item and s_item templates in
the current mpl library.  This is because the method used just
uses a slight variation of the static value_by_key which the
current mpl assoc containers already use.
File Added: cons_inherit_check_test.cpp

component, description changed; severity set

Marshall Clow — Sun, 19 Aug 2007 15:37:44 GMT

component None → mpl
description modified (diff)
severity → Problem

attachment set

cppljevans@… — Mon, 01 Jun 2009 13:36:10 GMT

attachment → assoc_by_insert.cpp

solution using superclass which is fold over insert op

anonymous — Mon, 01 Jun 2009 13:43:41 GMT

The previous comment referring to assoc_item was from:

https://sourceforge.net/tracker/?func=detail&atid=207586&aid=1642614&group_id=7586

The recent assoc_by_insert.cpp attachment shows simpler solution which folds over the set insert operation instead of the set s_item operation in the superclass of set<T1,T2,...,Tn> The reason it works is because the fold starts from the empty set, which has no duplicates, and the insert operation preserves the no duplicate invariant.

attachment set

cppljevans@… — Mon, 01 Jun 2009 16:27:46 GMT

attachment → set.rst

Solution which just adds warning in docs

cppljevans@… — Mon, 01 Jun 2009 16:33:03 GMT

The just attached set.rst is another solution which just adds a warning to the docs.

This set.rst is a replacement for that in libs/mpl/doc/src/refmanual/set.rst.

status, resolution changed; cc, milestone set

Aleksey Gurtovoy — Mon, 21 Feb 2011 09:48:15 GMT

cc agurtovoy@… added
status assigned → closed
resolution None → fixed
milestone → Boost 1.46.0

Added a corresponding note and example to the docs.