
28 Feb
2008
28 Feb
'08
5:48 p.m.
Steven Watanabe wrote:
The copy is to guarantee uniqueness. If you have a Features<mpl::list<...> > this will not be the same as a Features<mpl::vector<...> >. The mpl::copy<> makes sure that Features<> always holds a type built by push_back on vector0<>. Thus, MakeFeatures<mpl::list<int, char, double> >::type is the same as MakeFeatures<mpl::vector<int, char double> >::type. Does that help?
Very much, thank you. Scott