2011/10/19 Steckmann, Sven

Dear list,

I have a problem with the implicit conversion to bool in the shared_ptr class.

I want to use operator overloading for an easy to use interface. I have 2 Instances of a class with a common Interface and I want to define an operator-class (OpAnd of type K) which can handle the operator.

By compiling this little test below, I got: g++ -I/home/steckmann/proj/libs/boost -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"test.d" -MT"test.d" -o "test.o" "../test.cpp" ../test.cpp: In function 'int main()': ../test.cpp:49: error: ambiguous overload for 'operator&&' in 'a && b' ../test.cpp:49: note: candidates are: operator&&(bool, bool) <built-in> ../test.cpp:40: note: boost::shared_ptr<K> operator&&(boost::shared_ptr<K>, boost::shared_ptr<K>)

This is quite clear to me, but how can I avoid this without touching the shared_ptr?

Thanks for any comments, Sven

#include

using namespace boost;

class K { public: virtual bool value() = 0; };

class Value :public K { public: Value( bool i ) : var( i ) {}

bool value() { return var; }

bool var; };

class OpAnd : public K { public: OpAnd( boost::shared_ptr<K> l, boost::shared_ptr<K> r ) :l(l), r(r) {}

bool value() { return l->value() && r->value(); }

boost::shared_ptr<K> l; boost::shared_ptr<K> r; };

boost::shared_ptr<K> operator&&( boost::shared_ptr<K> l, boost::shared_ptr<K> r) { return shared_ptr<K>( new OpAnd(l, r ) ); }

I'd really rethink the design ;-) that said, let's see: looks like shared_ptr<Value> is convertible to shared_ptr<K> and to some unspecified_bool_type. So what you need is a better matching template for operator &&, somthing like [warning: not tested]: template < class T > boost::shared_ptr<K> operator&&( boost::shared_ptr<T> l, boost::shared_ptr<T> r ) { return shared_ptr<K>( new OpAnd(l,r) ); } Also, you might want to enable_if that only for Ts that are derived from K. Hope this helps Regards Kris

int main() { boost::shared_ptr<Value> a( new Value(true) ); boost::shared_ptr<Value> b( new Value(false) ); boost::shared_ptr<K> c = a && b;

// Now use c here for some stuff c->value(); // returns false

b->var = true;

c->value(); // returns true

return 0; }