- Boost - lists.boost.org

Re: [boost] [mpl] Basic mpl sequence question
by Martim Nascimento 04 Mar '10

04 Mar '10

Maybe you forget to add the mpl::find include. #include<boost/mpl/vector.hpp> //here #include <boost/mpl/find.hpp> using namespace boost; typedef mpl::vector<char,short,int,long,float,double> types; typedef mpl::find<types,long>::type long_pos; int main() { }

1 0

Another implementation of properties.
by Germán Diago 04 Mar '10

04 Mar '10

Hello. I've been trying to implement properties for c++0x, for now. I've come up with this solution for now. You need g++ svn to test it. It's a partial implementation, since not every operator is overloaded. Space overhead: - one pointer to the object per property instance. - the pointer to the member functions is shared among every instance of the class, so it's a per-class and not per-instance overhead, which is negligible. Usage: class Person { int getAge() const { .... }; void setAge(int age) { ... }; PROPS_RWPROPERTY(Age); Person() : Age(this) {} }; You can: - declare getters/setters const or nonconst. - getters must have one parameter. - setters must return void. - it has some operators overloaded, but the idea is to overload all of them if the implementation is all right. - the property returns whatever you put in your getter and gets as a parameter what you put in the setter. If you declare the getters and setters to be VIRTUAL, you get virtual behaviour, so you can use virtual properties, even with pure virtual functions, and it will work. Caveats: - Needs c++0x compiler for now. - Not enforced the read-only access for properties for now. I need extended friend declarations for that, and the operator= would be made private with friend class. But for now it's not reinforced. I think this implementation is pretty usable as-is. It's just a matter of extending it. I don't use the offset trick because I think it does not work with classes with virtual members, but I'm not sure. The implementation contains Trivial properties as well, which for now, are the same as fields I think. Implementation: #include <functional> #include <type_traits> #include <iostream> #ifndef _PROPS_PROPERTY_HPP_ #define _PROPS_PROPERTY_HPP_ namespace props { template <class GetterAddress, class SetterAddress> class RWProperty; template <class GetterAddress, class SetterAddress> class ROProperty; template <class PropType> class TROProperty; template <class PropType> class TRWProperty; namespace detail { struct unused {}; template <bool cond, class T = void> struct EnableIf { typedef T type; }; template <class T> struct EnableIf<false, T> {}; template <bool cond, class T = void> struct DisableIf {}; template <class T> struct DisableIf<false, T> { typedef T type; }; template <class ObjectType, class Ret, Ret (ObjectType::*Getter)()> struct WrapperGetter { typedef ObjectType object_t; typedef Ret result_type; Ret (ObjectType::*getter)(); WrapperGetter() : getter(Getter) {} }; template <class ObjectType, class Ret, Ret (ObjectType::*Getter)() const> struct WrapperGetterConst { typedef ObjectType object_t; typedef Ret result_type; Ret (ObjectType::*getter)() const; WrapperGetterConst() : getter(Getter) {} }; template <class ObjectType, class Arg, void (ObjectType::*Setter)(Arg)> struct WrapperSetter { typedef ObjectType object_t; typedef void result_type; typedef Arg argument_type; void (ObjectType::*setter)(Arg); WrapperSetter() : setter(Setter) {} }; template <class ObjectType, class Arg, void (ObjectType::*Setter)(Arg) const> struct WrapperSetterConst { typedef ObjectType object_t; typedef void result_type; typedef Arg argument_type; void (ObjectType::*setter)(Arg) const; WrapperSetterConst() : setter(Setter) {} }; template <class T> struct IsProperty : public std::false_type {}; template <class GetterAddress, class SetterAddress> struct IsProperty<RWProperty<GetterAddress, SetterAddress> > : public std::true_type {}; template <class GetterAddress, class SetterAddress> struct IsProperty<ROProperty<GetterAddress, SetterAddress> > : public std::true_type {}; template <class PropType> struct IsProperty<TRWProperty<PropType> > : public std::true_type {}; template <class PropType> struct IsProperty<TROProperty<PropType> > : public std::true_type {}; template <class T> struct IsConstMemberGetter : public std::false_type {}; template <class Ret, class Object> struct IsConstMemberGetter<Ret (Object::*)() const> : public std::true_type {}; template <class T> struct IsConstMemberSetter : public std::false_type {}; template <class ObjectType, class Arg> struct IsConstMemberSetter<void (ObjectType::*)(Arg) const> : public std::true_type {}; template <class ObjectType, class Ret, Ret (ObjectType::*Getter)()> WrapperGetter<ObjectType, Ret, Getter> deduceWrapperForGetter(); template <class ObjectType, class Ret, Ret (ObjectType::*Getter)() const> WrapperGetterConst<ObjectType, Ret, Getter> deduceWrapperForGetter(); template <class ObjectType, class Arg, void (ObjectType::*Setter)(Arg)> WrapperSetter<ObjectType, Arg, Setter> deduceWrapperForSetter(); template <class ObjectType, class Arg, void (ObjectType::*Setter)(Arg) const> WrapperSetterConst<ObjectType, Arg, Setter> deduceWrapperForSetter(); template <class ObjectType, class Arg> Arg deduceSetterArg(void (ObjectType::*Setter)(Arg) const); template <class ObjectType, class Arg> Arg deduceSetterArg(void (ObjectType::*Setter)(Arg)); template <class ObjectType, class PropType> auto deduceGetterRet(PropType (ObjectType::*Getter)() const, const ObjectType * obj = 0) -> typename EnableIf<IsConstMemberGetter<PropType (ObjectType::*)() const>::value, decltype((obj->*Getter)())>::type; template <class ObjectType, class PropType> auto deduceGetterRet(PropType (ObjectType::*Getter)(), ObjectType * obj = 0) -> typename EnableIf<!IsConstMemberGetter<PropType (ObjectType::*)()>::value, decltype((obj->*Getter)()) >::type; } //namespace detail template <class PropType> class TRWProperty { static_assert(!std::is_reference<PropType>::value, "Property types must not be reference types"); PropType value_; public: typedef typename std::remove_cv<PropType>::type value_type; typedef PropType & GetterReturnType; typedef const PropType & ConstGetterReturnType; /************************Constructors*************************************/ ///Default constructor TRWProperty() = default; ///Construct from other property (rvalue) template <class OtherProp> TRWProperty(OtherProp && other, typename detail::EnableIf<detail::IsProperty<OtherProp>::value>::type * = 0) : value_(std::move(other())) {} ///Construct from other value (rvalue) template <class PropVal> TRWProperty(PropVal && val, typename detail::EnableIf<!detail::IsProperty<PropVal>::value>::type * = 0) : value_(std::move(val)) {} ///Construct from other value (lvalue) template <class PropVal> TRWProperty(const PropVal & value, typename detail::EnableIf<!detail::IsProperty<PropVal>::value>::type * = 0) : value_(value) {} ///Construct from other property (lvalue) template <class OtherProp> TRWProperty(const OtherProp & prop, typename detail::EnableIf<detail::IsProperty<OtherProp>::value>::type * = 0) : value_(prop()) {} //***************************Assignment operators*****************************/ ///Assign from other property (rvalue) template <class OtherProp> typename detail::EnableIf<detail::IsProperty<OtherProp>::value, TRWProperty &>::type operator=(OtherProp && other) { value_ = std::move(other()); return *this; } ///Assign from other value (rvalue) template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, TRWProperty &>::type operator=(PropValue && val) { value_ = std::move(val); return *this; } ///Assign from other property (lvalue) template <class OtherProp> typename detail::EnableIf<detail::IsProperty<OtherProp>::value, TRWProperty &>::type operator=(const OtherProp & other) { value_ = other(); return *this; } ///Assign from other value (lvalue) template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, TRWProperty &>::type operator=(const PropValue & val) { value_ = val; return *this; } /***************************Obtain value operators*****************************/ ConstGetterReturnType operator()() const { return value_; } GetterReturnType operator()() { return value_; } /****************************Implicit conversions******************************/ operator ConstGetterReturnType() const { return value_; } operator GetterReturnType() { return value_; } /******************************Arithmetic Operators**********************************/ template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, TRWProperty&>::type operator+=(const Prop & other) { (*this)() += other(); return *this; } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, TRWProperty&>::type operator+=(const PropValue & value) { (*this)() += value; return *this; } TRWProperty & operator++() { ++((*this)()); return *this; } TRWProperty & operator++(int) { ((*this)())++; return *this; } TRWProperty & operator--() { --((*this)()); return *this; } TRWProperty & operator--(int) { ((*this)())--; return *this; } /*****************************Relational operators**************************************/ template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, bool>::type operator<(const Prop & other) const { return (*this)() < other(); } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, bool>::type operator<(const PropValue & value) const { return (*this)() < value; } template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, bool>::type operator==(const Prop & other) const { return (*this)() == other(); } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, bool>::type operator==(const PropValue & value) const { return (*this)() == value; } //******************************Swap*************************** template <class OtherProp> void swap(OtherProp & other) { TRWProperty tmp(std::move(other)); other = std::move(*this); *this = std::move(tmp); } }; template <class PropType> class TROProperty { //FIXME: Make private operator= and friend class the class containing the property static_assert(!std::is_reference<PropType>::value, "Property types must not be reference types"); PropType value_; public: typedef typename std::remove_cv<PropType>::type value_type; typedef PropType & GetterReturnType; typedef const PropType & ConstGetterReturnType; /************************Constructors*************************************/ ///Default constructor TROProperty() = default; ///Construct from other property (rvalue) template <class OtherProp> TROProperty(OtherProp && other, typename detail::EnableIf<detail::IsProperty<OtherProp>::value>::type * = 0) : value_(std::move(other())) {} ///Construct from other value (rvalue) template <class PropVal> TROProperty(PropVal && val, typename detail::EnableIf<!detail::IsProperty<PropVal>::value>::type * = 0) : value_(std::move(val)) {} ///Construct from other value (lvalue) template <class PropVal> TROProperty(const PropVal & value, typename detail::EnableIf<!detail::IsProperty<PropVal>::value>::type * = 0) : value_(value) {} ///Construct from other property (lvalue) template <class OtherProp> TROProperty(const OtherProp & prop, typename detail::EnableIf<detail::IsProperty<OtherProp>::value>::type * = 0) : value_(prop()) {} //***************************Assignment operators*****************************/ ///Assign from other property (rvalue) template <class OtherProp> typename detail::EnableIf<detail::IsProperty<OtherProp>::value, TROProperty &>::type operator=(OtherProp && other) { value_ = std::move(other()); return *this; } ///Assign from other value (rvalue) template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, TROProperty &>::type operator=(PropValue && val) { value_ = std::move(val); return *this; } ///Assign from other property (lvalue) template <class OtherProp> typename detail::EnableIf<detail::IsProperty<OtherProp>::value, TROProperty &>::type operator=(const OtherProp & other) { value_ = other(); return *this; } ///Assign from other value (lvalue) template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, TROProperty &>::type operator=(const PropValue & val) { value_ = val; return *this; } /***************************Obtain value operators*****************************/ ConstGetterReturnType operator()() const { return value_; } GetterReturnType operator()() { return value_; } /****************************Implicit conversions******************************/ operator ConstGetterReturnType() const { return value_; } operator GetterReturnType() { return value_; } /******************************Arithmetic Operators**********************************/ template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, TROProperty&>::type operator+=(const Prop & other) { (*this)() += other(); return *this; } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, TROProperty&>::type operator+=(const PropValue & value) { (*this)() += value; return *this; } TROProperty & operator++() { ++((*this)()); return *this; } TROProperty & operator++(int) { ((*this)())++; return *this; } TROProperty & operator--() { --((*this)()); return *this; } TROProperty & operator--(int) { ((*this)())--; return *this; } /*****************************Relational operators**************************************/ template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, bool>::type operator<(const Prop & other) const { return (*this)() < other(); } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, bool>::type operator<(const PropValue & value) const { return (*this)() < value; } template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, bool>::type operator==(const Prop & other) const { return (*this)() == other(); } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, bool>::type operator==(const PropValue & value) const { return (*this)() == value; } //******************************Swap*************************** template <class OtherProp> void swap(OtherProp & other) { TROProperty tmp(std::move(other)); other = std::move(*this); *this = std::move(tmp); } }; //***********************************************Elaborated properties******************************************* template <class GetterAddress, class SetterAddress> class RWProperty { typedef typename GetterAddress::object_t ObjectType; ObjectType * object_; static SetterAddress setter_; static GetterAddress getter_; typedef decltype((object_->*GetterAddress::getter)()) GetterReturnType; typedef const decltype((object_->*GetterAddress::getter)()) ConstGetterReturnType; typedef typename std::remove_cv<GetterReturnType>::type value_type; public: //Constructor without value RWProperty(ObjectType * object) : object_(object) { } //Constructor with value (lvalue) template <class PropValue> RWProperty(ObjectType * object, const PropValue & val, typename detail::EnableIf<!detail::IsProperty<PropValue>::value>::type * = 0) : object_(object) { (object_->*setter_.setter)(val); } //Constructor with other property (lvalue) template <class OtherProp> RWProperty(ObjectType * object, const OtherProp & other, typename detail::EnableIf<detail::IsProperty<OtherProp>::value>::type * = 0) : object_(object) { (object_->*setter_.setter)(other()); } //Constructor with value (rvalue) template <class PropValue> RWProperty(ObjectType * object, PropValue && val, typename detail::EnableIf<!detail::IsProperty<PropValue>::value>::type * = 0) : object_(object) { (object_->*setter_.setter)(std::move(val)); } //Constructor with other property (rvalue) template <class OtherProp> RWProperty(ObjectType * object, OtherProp && other, typename detail::EnableIf<detail::IsProperty<OtherProp>::value>::type * = 0) : object_(object) { (object_->*setter_.setter)(std::move(other())); } ConstGetterReturnType operator()() const { return (object_->*getter_.getter)(); } GetterReturnType operator()() { return (object_->*getter_.getter)(); } operator ConstGetterReturnType() const { (object_->*getter_.getter)(); } operator GetterReturnType() { return (object_->*getter_.getter)(); } ///Assign from other property (rvalue) template <class OtherProp> typename detail::EnableIf<detail::IsProperty<OtherProp>::value, RWProperty &>::type operator=(OtherProp && other) { (object_->*setter_.setter)(std::move(other())); return *this; } ///Assign from other value (rvalue) template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, RWProperty &>::type operator=(PropValue && val) { (object_->*setter_.setter)(std::move(val)); return *this; } ///Assign from other property (lvalue) template <class OtherProp> typename detail::EnableIf<detail::IsProperty<OtherProp>::value, RWProperty &>::type operator=(const OtherProp & other) { (object_->*setter_.setter)(other()); return *this; } ///Assign from other value (lvalue) template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, RWProperty &>::type operator=(const PropValue & val) { (object_->*setter_.setter)(val); return *this; } /******************************Arithmetic Operators**********************************/ template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, RWProperty&>::type operator+=(const Prop & other) { auto res = (*this)() + other(); (object_->*setter_.setter)(res); return *this; } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, RWProperty&>::type operator+=(const PropValue & value) { auto res = (*this)() + value; (object_->*setter_.setter)(res); return *this; } RWProperty & operator++() { auto val = (*this)() + 1; (object_->*setter_.setter)(val); return *this; } RWProperty & operator++(int) { ++(*this); return *this; } RWProperty & operator--() { auto val = (*this)() - 1; (object_->*setter_.setter)(val); return *this; } RWProperty & operator--(int) { --(*this); return *this; } /*****************************Relational operators**************************************/ template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, bool>::type operator<(const Prop & other) const { return (*this)() < other(); } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, bool>::type operator<(const PropValue & value) const { return (*this)() < value; } template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, bool>::type operator==(const Prop & other) const { return (*this)() == other(); } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, bool>::type operator==(const PropValue & value) const { return (*this)() == value; } //******************************Swap*************************** template <class OtherProp> void swap(OtherProp & other) { value_type tmp(std::move(other())); other = std::move(*this); *this = std::move(tmp); } }; template <class GetterAddress, class SetterAddress> GetterAddress RWProperty<GetterAddress, SetterAddress>::getter_; template <class GetterAddress, class SetterAddress> SetterAddress RWProperty<GetterAddress, SetterAddress>::setter_; //***********************************************Elaborated properties******************************************* template <class GetterAddress, class SetterAddress> class ROProperty { typedef typename GetterAddress::object_t ObjectType; ObjectType * object_; static SetterAddress setter_; static GetterAddress getter_; typedef decltype((object_->*GetterAddress::getter)()) GetterReturnType; typedef const decltype((object_->*GetterAddress::getter)()) ConstGetterReturnType; typedef typename std::remove_cv<GetterReturnType>::type value_type; public: //Constructor without value ROProperty(ObjectType * object) : object_(object) { } //Constructor with value (lvalue) template <class PropValue> ROProperty(ObjectType * object, const PropValue & val, typename detail::EnableIf<!detail::IsProperty<PropValue>::value>::type * = 0) : object_(object) { (object_->*setter_.setter)(val); } //Constructor with other property (lvalue) template <class OtherProp> ROProperty(ObjectType * object, const OtherProp & other, typename detail::EnableIf<detail::IsProperty<OtherProp>::value>::type * = 0) : object_(object) { (object_->*setter_.setter)(other()); } //Constructor with value (rvalue) template <class PropValue> ROProperty(ObjectType * object, PropValue && val, typename detail::EnableIf<!detail::IsProperty<PropValue>::value>::type * = 0) : object_(object) { (object_->*setter_.setter)(std::move(val)); } //Constructor with other property (rvalue) template <class OtherProp> ROProperty(ObjectType * object, OtherProp && other, typename detail::EnableIf<detail::IsProperty<OtherProp>::value>::type * = 0) : object_(object) { (object_->*setter_.setter)(std::move(other())); } ConstGetterReturnType operator()() const { return (object_->*getter_.getter)(); } GetterReturnType operator()() { return (object_->*getter_.getter)(); } operator ConstGetterReturnType() const { (object_->*getter_.getter)(); } operator GetterReturnType() { return (object_->*getter_.getter)(); } ///Assign from other property (rvalue) template <class OtherProp> typename detail::EnableIf<detail::IsProperty<OtherProp>::value, ROProperty &>::type operator=(OtherProp && other) { (object_->*setter_.setter)(std::move(other())); return *this; } ///Assign from other value (rvalue) template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, ROProperty &>::type operator=(PropValue && val) { (object_->*setter_.setter)(std::move(val)); return *this; } ///Assign from other property (lvalue) template <class OtherProp> typename detail::EnableIf<detail::IsProperty<OtherProp>::value, ROProperty &>::type operator=(const OtherProp & other) { (object_->*setter_.setter)(other()); return *this; } ///Assign from other value (lvalue) template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, ROProperty &>::type operator=(const PropValue & val) { (object_->*setter_.setter)(val); return *this; } /******************************Arithmetic Operators**********************************/ template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, ROProperty&>::type operator+=(const Prop & other) { auto res = (*this)() + other(); (object_->*setter_.setter)(res); return *this; } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, ROProperty&>::type operator+=(const PropValue & value) { auto res = (*this)() + value; (object_->*setter_.setter)(res); return *this; } ROProperty & operator++() { auto val = (*this)() + 1; (object_->*setter_.setter)(val); return *this; } ROProperty & operator++(int) { ++(*this); return *this; } ROProperty & operator--() { auto val = (*this)() - 1; (object_->*setter_.setter)(val); return *this; } ROProperty & operator--(int) { --(*this); return *this; } /*****************************Relational operators**************************************/ template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, bool>::type operator<(const Prop & other) const { return (*this)() < other(); } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, bool>::type operator<(const PropValue & value) const { return (*this)() < value; } template <class Prop> typename detail::EnableIf<detail::IsProperty<Prop>::value, bool>::type operator==(const Prop & other) const { return (*this)() == other(); } template <class PropValue> typename detail::EnableIf<!detail::IsProperty<PropValue>::value, bool>::type operator==(const PropValue & value) const { return (*this)() == value; } //******************************Swap*************************** template <class OtherProp> void swap(OtherProp & other) { value_type tmp(std::move(other())); other = std::move(*this); *this = std::move(tmp); } }; template <class GetterAddress, class SetterAddress> GetterAddress ROProperty<GetterAddress, SetterAddress>::getter_; template <class GetterAddress, class SetterAddress> SetterAddress ROProperty<GetterAddress, SetterAddress>::setter_; } //namespace props #define PROPS_RWPROPERTY(propname) \ ::props::RWProperty< \ decltype(::props::detail::deduceWrapperForGetter<ClassName, \ decltype(::props::detail::deduceGetterRet(&ClassName::get##propname)), \ &ClassName::get##propname>()), \ decltype(::props::detail::deduceWrapperForSetter<ClassName, \ decltype(::props::detail::deduceSetterArg(&ClassName::set##propname)), \ &ClassName::set##propname>())> propname #define PROPS_ROPROPERTY(propname) \ ::props::ROProperty< \ decltype(::props::detail::deduceWrapperForGetter<ClassName, \ decltype(::props::detail::deduceGetterRet(&ClassName::get##propname)), \ &ClassName::get##propname>()), \ decltype(::props::detail::deduceWrapperForSetter<ClassName, \ decltype(::props::detail::deduceSetterArg(&ClassName::set##propname)), \ &ClassName::set##propname>())> propname #endif

6 6

[mpl] Basic mpl sequence question
by Michael Robinson 04 Mar '10

04 Mar '10

Hi, I'm a newbie with mpl and I'm trying to execute some example code from the book "C++ Template Metaprogramming", by Abrahams and Gurtovoy: >From section 5.2, p. 78, Sequences and Algorithms: I wrote this code: // // mpltest.C // #include<boost/mpl/vector.hpp> using namespace boost; typedef mpl::vector<char,short,int,long,float,double> types; typedef mpl::find<types,long>::type long_pos; int main() { } And I get this compiler error on the mpl::find line: $ g++ mpltest.C -ompltest mpltest.C:10: error: expected initializer before ‘<’ token Can you tell me what I'm doing wrong? Thank you, Mike FYI/IYC: $ g++ --version g++ (GCC) 4.4.1 20090725 (Red Hat 4.4.1-2) Copyright (C) 2009 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. ____________________________________________________________ Get Free Email with Video Mail & Video Chat! http://www.netzero.net/freeemail?refcd=NZTAGOUT1FREM0210

2 1

[Filesystem V3] Filesystem Version 3 beta 1 available for download and comment
by Beman Dawes 03 Mar '10

03 Mar '10

The first beta release of Boost.Filesystem Version 3 is now available. The documentation can be viewed at http://mysite.verizon.net/beman/v3/index.htm Important differences from the prior version: http://mysite.verizon.net/beman/v3/v3.html The beta can be downloaded from the Boost vault. See http://www.boostpro.com/vault/index.php?&direction=0&order=&directory=Files… Installing the beta is described at http://mysite.verizon.net/beman/v3/install_distro.html I'm concerned about breaking existing code. While some workarounds have been provided already, I'd open to further suggestions as to how to mitigate code breakage. The tentative plan for integrating V3 into the boost release cycle involves several steps: * For the first boost release cycle, ship V2 as the default, but V3 is present and can be activated by users. * For an additional boost release cycle, ship V3 as the default, but V2 is present (but deprecated) and can be activated by users. * For the following boost release cycle, V2 is removed and no longer supported. The plan is to go through as many beta cycles as needed to reach stability. Although quite a bit of testing has already been done, this is definitely beta software that isn't ready yet for production use. Any comments appreciated. --Beman

10 23

[range] resulting range type
by Andrey Torba 03 Mar '10

03 Mar '10

Hi All, When i implement range based algorithms i always have to write `boost::iterator_range<typename boost::range_iterator<R>::type>'. It is pretty annoying. i.e.: template<class R> boost::iterator_range<typename boost::range_iterator<R>::type> Algo(R& r); I would like to have special metafunction in Boost.Range for such cases to make code more cleaner: template<class R> typename boost::make_range<R>::type Algo(R& r); What do you think? -- Regards, Andrey

3 3

[graph] gcc 3.4 & 4.0 currently broken
by Ralf W. Grosse-Kunstleve 03 Mar '10

03 Mar '10

boost svn trunk rev 60079 broke our gcc 3.4 and 4.0 builds (various platforms). The problem is line 52 in boost/graph/two_bit_color_map.hpp BOOST_STATIC_ASSERT(elements_per_char > 0); It fails with (gcc 3.4 in this case): % g++ -o boost/libs/python/src/object/inheritance.o -c -DBOOST_PYTHON_MAX_BASES=2 -DBOOST_PYTHON_SOURCE -DBOOST_PYTHON_BOOL_INT_STRICT -fPIC -fno-strict-aliasing -w -DNDEBUG -O3 -ffast-math -ftrapping-math -DBOOST_ALL_NO_LIB -DBOOST_DISABLE_THREADS -I/net/chevy/raid1/rwgk/hot/boost -I/usr/include/python2.3 /net/chevy/raid1/rwgk/hot/boost/libs/python/src/object/inheritance.cpp In file included from /net/chevy/raid1/rwgk/hot/boost/boost/graph/breadth_first_search.hpp:26, from /net/chevy/raid1/rwgk/hot/boost/libs/python/src/object/inheritance.cpp:7: /net/chevy/raid1/rwgk/hot/boost/boost/graph/two_bit_color_map.hpp:52: error: non-constant `(((int)boost::two_bit_color_map<IndexMap>::elements_per_char) > 0)' cannot be used as template argument /net/chevy/raid1/rwgk/hot/boost/boost/graph/two_bit_color_map.hpp:52: error: `value' is not a member of `<declaration error>' Commenting out line 52 resolves the error. I printed the value of elements_per_char and it appears to be correct (4). There is no problem with gcc 3.2 and gcc 4.1 through 4.4. Maybe a BOOST_WORKAROUND to disable the static assert for 3.4 and 4.0? Ralf

2 3

[uuid] basic_random_generator doesn't produce a fully randomized uuid when sizeof(unsigned long) == 4
by Sylvester-Bradley, Gareth 03 Mar '10

03 Mar '10

Hi Andy, I wonder if the following is a flaw in basic_random_generator<> (boost/uuid/uuid_generators.hpp, line 366-374)? On many platforms sizeof(unsigned long) == 4. This means that the first 8 bytes of the uuid are populated with random data, but in my tests the remaining 8 bytes are populated with repeated data, and then only by relying on the undefined behaviour of >> when its "right operand is greater than or equal to the length in bits of the promoted left operand." For example, try the following test program with a Win32 build by Visual C++ 9.0 - #include <iostreams> #include <boost/uuid/uuid_generators.hpp> #include <boost/uuid/uuid_io.hpp> int main( int, char*[] ) { std::cout << boost::uuids::random_generator()() << std::endl; return 0; } This produced for me: f1633d75-ee94-47b9-ae94-37b9ee9437b9 Or wrapped to show the problem: f1633d75- ee94-47b9- ae94-37b9 ee94 37b9 Is 8 bytes of randomness enough, or is this a mistake? Best regards, Gareth ************************************************************************ The information contained in this message or any of its attachments may be confidential and is intended for the exclusive use of the addressee(s). Any disclosure, reproduction, distribution or other dissemination or use of this communication is strictly prohibited without the express permission of the sender. The views expressed in this email are those of the individual and not necessarily those of Sony or Sony affiliated companies. Sony email is for business use only. This email and any response may be monitored by Sony to be in compliance with Sony's global policies and standards

4 4

Boost.Log formal review upcoming
by Vladimir Prus 03 Mar '10

03 Mar '10

Boosters, the formal review of the Boost.Log library, written by Andrey Semashev, will start in a week from now, on March 8, 2010 and will run through March 17, 2010. The documentation for the current version is available at: http://boost-log.sourceforge.net The downloads at at: http://sourceforge.net/projects/boost-log Because the library is relatively big and important, you might want to take a look in advance, without waiting for the formal review. Please note that reports of real-world usage will be particularly appreciated -- even if you don't have the time to to do everything formal review checklist requires please still report your experiences. To clarify timelines, the formal reviews are accepted from 23:59, March 7, PST = 2:59, March 8, EST = 7:59 March 8, GMT = 10:59, March 8 MSK until 23:59, March 17, PST = 2:59, March 18, EST = 7:59 March 18, GMT = 10:59, March 18 MSK Reviews submitted outside of this frame are not guaranteed to be processed. Thanks, Volodya

9 21

Boost.Coroutine
by Daniel Larimer 03 Mar '10

03 Mar '10

I am attempting to use boost.coroutine; however, it is not behaving for me. Perhaps someone could shed some light? Here is what happens: 1 start coroutine A 2 do some work.... 3 my_wait_for_value() 4 future<R> f(self); 5 callback = make_callback(f); 6 r = do_wait( f ) 7 boost::coroutines::wait( f ) // blocks and the coroutine exits , goto A 8 return *f; 9 print( "here" ) 10 return r; 11 do some more work A start coroutine B B do some work C callback_from_coroutine_A ( R ) // goto line 8 D .... back to line 8 8 r = *f; // got the right future value 9 print("here") 10 return r; 11 ????? After returning r on line 10, I should end up back on line 11, but instead end up on line D. I clearly setup the future, waited, started another coroutine, set the value of the future, returned 2 levels of the stack, but the 3rd level dumped me off back in a different coroutine. Running on Mac OS X 10.6. Single threaded code. Dan

1 1

the best possible c++ properties (implementation).
by Germán Diago 02 Mar '10

02 Mar '10

Hello. I've been trying hard to implement the best possible properties sytem in c++ (version 0x). For now, I'm quite satisfied with the result, but it can be improved a little. The properties are implemented in a header called (surprisingly!) Property.hpp Classes: template TROProperty and TRWProperty for trivial properties, which are those which you can use very straightforward without defining setters or getters and it stores the property value inside. templates RWProperty and ROProperty, for which you need to define a storage (if needed) and getters and setters. FEATURES: - You can define a getter as a function that returns *ANYTHING* and it will deduce parameters, constness and everything it needs. - You can define a setter as a function that returns void and takes one parameter. The deduction machinery will do the rest. So, for trivial properties there is little to explain: class Person { public: TROProperty<unsigned int> Age; Person(int age) : Age(age) {} }; int main(int argc, char * argv[]) { Person p(26); cout << p.Age << endl; } For elaborated properties, you have freedom in defining the get and set functions, as long as the get function gets just one parameter and the set function sets one parameter and returns void. The usage of elaborated properties is done through a macro: class Agenda { typedef Agenda ClassName; //Needed for elaborated properties. vector<Person> persons_; Person * getCurrentPerson() { return persons_[Position]; } public: TrivialProperty<int> Position; PROP_ROPROPERTY(CurrentPerson); .... Agenda() : PROP_PROPERTY_INIT(CurrentPerson) {}; }; And now it's ready to be used. For now the features are: -Implicit conversion to the underlying type. -Operator overloading (just a sample of the possible operators, just implemented operator++ and some others) -Comparison operators... -Construction assignment, etc from any other property that has a convertible type or from a data type that makes sense. - Move and copy construction where it makes sense. - Compare, for example, a Property<int> to an int or another property with a convertible value to a Property<int>. If it makes sense, it must work. The same for any other operator. - You can obtain the underlying type for a property through operator(), which makes sense in some contexts. For example, suppose you have a class Person with properties Name, SurName and Age and a class Agenda with a property CurrentPerson which returns a pointer to a Person. You can do like this: string name = agenda.CurrentPerson().Name; you can assign Name to a string or any other property that accepts a string (untested but you could). But you don't need operator() when implicit conversion takes place. personsbyage_[aperson.Age] //No need for operator(), implicit conversion Caveats: ROProperty TROProperty I cannot enforce a private operator= because for that I need a workaround I don't know of or extended friend declarations, which are part of c++0x. So for now, these properties are exactly the same as their writeable counterparts without read-only enforcement. In the implementation part, for elaborated properties I have a template like this: template <class Getter, class Setter> class RWProperty; The same goes for ROProperty. Just with that and the macro to ease the writing of properties, you can get a property. These properties must be constructed with the this pointer AND the pointer to member functions. I'm experimenting (but I can't find a way to do it) with something like this: template <class Getter, class Setter, Getter, Setter> class RWProperty; so that the construction of properties wouldn't need the pointers, because they would be passed as template parameters. But inside the template I have an ambiguity problem. Getter and Setter are pointer to member function types and Getter and Setter parameters are the addresses. For now I've found the properties very usable. The only caveats are the enforcement of operator= and the passing of pointer to members as part of initialization. If I can solve those, we can get a good properties implementation of properties and the initialization of elaborated properties would be just with the this pointer (and a value if you want to initialize with a value). This is a work in progress. For now I've used c++0x, but I think I can use BOOST_TYPEOF (maybe) and some other things in order to translate it to current c++. The code is attached. It's an (unfinished) miniapplication of an Agenda made in gtkmm compiled under g++ 4.5 svn. Take a look at the Property.hpp and the application and tell me what you think. I would like to be able to pass pointer to member functions as template arguments in order to avoid initialization of pointers as parameters. compile with: g++ -std=c++0x `pkg-config gtkmm-2.4 --libs --cflags` Person.cpp Agenda.cpp Window.cpp main.cpp -o Agenda You can just add people with "Añadir" Button and traverse with < and > button. It does not do anything special, it's just to test properties.

9 14