почему boost mpl set допускает неуникальные типы - PullRequest
Новая
       38

почему boost mpl set допускает неуникальные типы

5 голосов
/ 22 марта 2012

Я считаю, что мое понимание boost :: mpl :: set должно быть в корне неверным.Я думал, что он допускал только уникальные типы.

Но компилируется следующий код: 

#include <boost/mpl/set.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/accumulate.hpp>
#include <boost/mpl/plus.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/placeholders.hpp>
#include <boost/mpl/sizeof.hpp>
#include <boost/mpl/assert.hpp>
using namespace boost::mpl;

typedef set<long,float,long> my_set; //long repeated in set?
typedef vector<long,float,long> my_vec; //seems reasonable

typedef accumulate<
  my_set
  , int_<0>
  , plus<_1, sizeof_<_2>>
  >::type set_size;

typedef accumulate<
  my_vec
  , int_<0>
  , plus<_1, sizeof_<_2>>
  >::type vec_size;

BOOST_MPL_ASSERT_RELATION( vec_size::value, ==, sizeof(long)+sizeof(float)+sizeof(long) );
//why does the following line compile?
//shouldn't the size be sizeof(long)+sizeof(float) instead?
BOOST_MPL_ASSERT_RELATION( set_size::value, ==, sizeof(long)+sizeof(float)+sizeof(long) );

1 Ответ

10 голосов
/ 22 марта 2012

Посмотрите еще раз на документацию .

Список типов T1, T2, T3, ..., TN, используемых для построения набора, не должен содержать дубликатов.(Или иначе: конструкция set<T1, T2, ..., TN> имеет четко определенное значение, только если T1, T2, T3, ..., TN не содержит дубликатов).

Позже в документации приведен примерчтобы создать набор из списка элементов, который может содержать дубликаты: 

typedef fold<
  vector<long,float,long>
, set0<>
, insert<_1,_2>
>::type s;

BOOST_MPL_ASSERT_RELATION( size<s>::value, ==, 2 );

Инварианты набора применяются только при использовании интерфейса набора для создания набора.

...