5

我相信我对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) );
4

1 回答 1

10

再次查看文档。

用于构造集合的类型列表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 );

仅当您使用 set 接口创建集合时，才会强制执行集合不变量。

于 2012-03-22T10:55:36.553 回答