Ticket #10987: ConsoleApplication1.cpp

#include <iostream>
#include <boost/noncopyable.hpp>
#include <boost/intrusive/any_hook.hpp>
#include <boost/intrusive/set.hpp>

using namespace boost;
using namespace boost::intrusive;


template <class Hook, class Option>
struct test {

        class item
                : public noncopyable
                , public Hook
        {
        public:
                item( int k )
                        :k(k)
                {
                }
                const int k;
                bool operator<( const item& other ) const {
                        return k < other.k;
                }
        };

        typedef boost::intrusive::set< item, Option > set;

        static void go() {

                set s;
                item i1(1);
                item i2(2);
                item i3(3);

                assert( s.insert(i1).second );
                assert( s.insert(i2).second );
                assert( s.insert(i3).second );

                for ( auto& i : s )
                        std::cout << i.k << " ";
                std::cout << std::endl;

                s.clear();
        }
};




int main(int argc, char* argv[]) {

        typedef any_base_hook<> A;
        typedef set_base_hook<> S;
        typedef base_hook<S> SO;
        typedef test< S, SO > without_any;
        typedef test< A, any_to_set_hook<base_hook<A>> > with_any;

        // working: prints 1 2 3
        without_any::go();

        // not working: prints 1 2 3 2 3 2 3 2 3... (infinite loop)
        with_any::go();

        return 0;
}