Subject: [Boost-commit] svn:boost r59614 - in sandbox/statistics/detail/assign/boost/assign: . detail
From: erwann.rogard_at_[hidden]
Date: 2010-02-09 20:58:31
Author: e_r
Date: 2010-02-09 20:58:30 EST (Tue, 09 Feb 2010)
New Revision: 59614
URL: http://svn.boost.org/trac/boost/changeset/59614
Log:
add
Added:
sandbox/statistics/detail/assign/boost/assign/detail/ref_list_of_auto_size_copy_rebind.hpp (contents, props changed)
sandbox/statistics/detail/assign/boost/assign/ref_list_of_rebind.hpp (contents, props changed)
Added: sandbox/statistics/detail/assign/boost/assign/detail/ref_list_of_auto_size_copy_rebind.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/detail/ref_list_of_auto_size_copy_rebind.hpp 2010-02-09 20:58:30 EST (Tue, 09 Feb 2010)
@@ -0,0 +1,199 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::detail::ref_list_of_auto_size_copy_rebind.hpp //
+// //
+// (C) Copyright 2010 Erwann Rogard //
+// Use, modification and distribution are subject to the //
+// Boost Software License, Version 1.0. (See accompanying file //
+// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) //
+//////////////////////////////////////////////////////////////////////////////
+#ifndef BOOST_ASSIGN_DETAIL_REF_LIST_OF_AUTO_SIZE_COPY_REBIND_ER_2010_HPP
+#define BOOST_ASSIGN_DETAIL_REF_LIST_OF_AUTO_SIZE_COPY_REBIND_ER_2010_HPP
+#include <boost/mpl/void.hpp>
+#include <boost/mpl/if.hpp>
+#include <boost/mpl/bool.hpp>
+#include <boost/mpl/equal_to.hpp>
+#include <boost/shared_ptr.hpp>
+#include <boost/type_traits.hpp>
+#include <boost/array.hpp>
+#include <boost/range.hpp>
+#include <boost/assign/list_of.hpp> // needed for assign_referene
+#include <boost/assign/detail/assign_value.hpp>
+
+// This supplies the implementation to both ref_list_of() and ref_list_rebind()
+// which unlike ref_list_of<int>(), deduce the size of the number of items
+// automatically.
+//
+// Acknowledgement: The idea of this class was developed in collaboration
+// with M.P.G
+//
+// Revision history:
+// Feb 9, 2010 :
+// - Added copy semantics.
+// - The temporary array in the conversion operator is now assigned by calling
+// begin() and end() rather than write_to_array() to ensure consistency of
+// side effect when assigning under rebind semantics. Negligible loss in
+// performance
+// Feb 5, 2010 : First version. rebind semantics.
+
+namespace boost{
+namespace assign{
+namespace cref_list_of_impl{
+
+ typedef boost::mpl::void_ top_;
+
+ template<typename T>
+ struct ref_bind{
+ typedef boost::assign_detail::assign_reference<T> type;
+ };
+
+ // Copy semantics
+ template<typename T>
+ struct ref_value{
+ typedef boost::assign_detail::assign_value<T> type;
+ };
+
+ // Rebind semantics
+ template<typename T,int N,template<typename> class Ref>
+ struct ref_array{
+ typedef boost::array<typename Ref<T>::type,N> type;
+ };
+
+ template<typename L,typename T,int N,template<typename> class Ref>
+ struct expr;
+
+ template<typename E,typename T,int N,template<typename> class Ref>
+ struct next{
+ typedef expr<E,T,N,Ref> expr_;
+ typedef expr<expr_,T,N+1,Ref> type;
+ };
+
+ template<typename E,typename T,int N,template<typename> class Ref = ref_value>
+ class expr{
+ typedef boost::mpl::int_<N> int_n_;
+ typedef boost::mpl::int_<1> int_1_;
+ typedef typename Ref<T>::type ref_;
+
+ public:
+ typedef typename boost::mpl::equal_to<int_n_,int_1_>::type is_first_;
+ typedef typename boost::mpl::if_<is_first_,E,E&>::type previous_;
+ typedef typename ref_array<T,N,Ref>::type ref_array_;
+ typedef typename next<E,T,N,Ref>::type next_;
+
+ previous_ previous;
+ ref_ ref;
+
+ expr(T& t):ref(t){} // only for N == 1
+ expr(E& p,T& t):previous(p),ref(t){}
+
+ typedef next_ result_type;
+ next_ operator()(T& t){ return next_(*this,t); }
+
+ template<typename T1>
+ operator boost::array<T1,N>(){
+ boost::array<T1,N> ar;
+ std::copy(
+ boost::begin(this->ref_array()),
+ boost::end(this->ref_array()),
+ boost::begin(ar)
+ );
+ return ar;
+ }
+
+ template<typename C>
+ operator C()
+ {
+ return C(
+ boost::begin(this->ref_array()),
+ boost::end(this->ref_array())
+ );
+ }
+
+ // -------- as container ---- //
+
+ typedef ref_ value_type;
+ typedef typename boost::range_iterator<ref_array_>::type iterator;
+ typedef typename boost::range_iterator<
+ const ref_array_>::type const_iterator;
+ typedef typename boost::range_size<ref_array_>::type size_type;
+ typedef typename boost::range_difference<
+ ref_array_>::type difference_type;
+
+ iterator begin()
+ {
+ return boost::begin(this->ref_array());
+ }
+ iterator end()
+ {
+ this->alloc_if();
+ return boost::end(this->ref_array());
+ }
+ size_type size() const
+ {
+ return ref_array_::size();
+ }
+ bool empty() const
+ {
+ return !(this->size());
+ }
+
+ private:
+ void alloc(){
+ this->ptr = smart_ptr_(new ref_array_);
+ write_to_array(*this->ptr,*this);
+ }
+
+ void alloc_if(){
+ if(!this->ptr){
+ return this->alloc();
+ }
+ }
+
+ ref_array_& ref_array(){
+ this->alloc_if();
+ return (*this->ptr);
+ }
+
+ typedef boost::shared_ptr<ref_array_> smart_ptr_;
+ smart_ptr_ ptr;
+
+ };
+
+ typedef boost::mpl::bool_<false> false_;
+ typedef boost::mpl::bool_<true> true_;
+
+ template<typename A,typename E,typename T,int N,template<typename> class Ref>
+ void write_to_array(A& a,expr<E,T,N,Ref>& e){
+ typedef expr<E,T,N,Ref> expr_;
+ typedef typename expr_::is_first_ exit_;
+ write_to_array(a,e,exit_());
+ }
+
+ template<typename A,typename E,typename T,int N,template<typename> class Ref>
+ void write_to_array(A& a,expr<E,T,N,Ref>& e,false_ /*exit*/){
+ a[N-1] = e.ref;
+ write_to_array(a,e.previous);
+ }
+
+ template<typename A,typename E,typename T,int N,template<typename> class Ref>
+ void write_to_array(A& a,expr<E,T,N,Ref>& e,true_ /*exit*/){
+ a[N-1] = e.ref;
+ }
+
+ template<typename T>
+ struct first{
+ typedef cref_list_of_impl::expr<
+ cref_list_of_impl::top_,T,1> type;
+ };
+
+ template<typename T>
+ struct rebind_first{
+ typedef cref_list_of_impl::expr<
+ cref_list_of_impl::top_,T,1,ref_bind> type;
+ };
+
+}// cref_list_of_impl
+}// assign
+}// boost
+
+#endif
+
Added: sandbox/statistics/detail/assign/boost/assign/ref_list_of_rebind.hpp
==============================================================================
--- (empty file)
+++ sandbox/statistics/detail/assign/boost/assign/ref_list_of_rebind.hpp 2010-02-09 20:58:30 EST (Tue, 09 Feb 2010)
@@ -0,0 +1,39 @@
+//////////////////////////////////////////////////////////////////////////////
+// assign::cref_list_of_rebind.hpp //
+// //
+// (C) Copyright 2010 Erwann Rogard //
+// Use, modification and distribution are subject to the //
+// Boost Software License, Version 1.0. (See accompanying file //
+// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) //
+//////////////////////////////////////////////////////////////////////////////
+#ifndef BOOST_ASSIGN_REF_LIST_OF_REBIND_ER_2010_HPP
+#define BOOST_ASSIGN_REF_LIST_OF_REBIND_ER_2010_HPP
+#include <boost/assign/detail/ref_list_of_auto_size_copy_rebind.hpp>
+
+// Same as ref_list_of() but has rebind rather than copy semantics
+// Usage:
+// BOOST_AUTO(tmp,ref_rebind_list_of(a)(b)(c)); boost::fill(tmp,d);
+//
+// See detail/ref_list_of_auto_size_copy_rebind.hpp for detail
+
+namespace boost{
+namespace assign{
+
+ template<typename T>
+ typename cref_list_of_impl::rebind_first<const T>::type
+ cref_rebind_list_of(const T& t){
+ typedef typename cref_list_of_impl::rebind_first<const T>::type expr_;
+ return expr_(t);
+ }
+
+ template<typename T>
+ typename cref_list_of_impl::rebind_first<T>::type
+ ref_rebind_list_of(T& t){
+ typedef typename cref_list_of_impl::rebind_first<T>::type expr_;
+ return expr_(t);
+ }
+
+}// assign
+}// boost
+
+#endif