[Olena-patches] [PATCH 15/22] Small improvements in mln::util::tracked_ptr.

* mln/util/tracked_ptr.hh (mln::util::tracked_ptr<T>::tracked_ptr(T*)) (mln::util::tracked_ptr<T>::operator=(T*)) (mln::util::tracked_ptr<T>::run_() const): Remove useless typedefs. (mln::util::tracked_ptr<T>::operator=(const tracked_ptr<T>&)) (mln::util::tracked_ptr<T>::operator=(T*)) (mln::util::operator<<(std::ostream& ostr, const tracked_ptr<T>&)): Check invariants in more places. --- milena/ChangeLog | 14 ++++++++++++++ milena/mln/util/tracked_ptr.hh | 12 +++++------- 2 files changed, 19 insertions(+), 7 deletions(-) diff --git a/milena/ChangeLog b/milena/ChangeLog index fd80747..f15185c 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,5 +1,19 @@ 2009-09-29 Roland Levillain &lt;roland(a)lrde.epita.fr&gt; + Small improvements in mln::util::tracked_ptr. + + * mln/util/tracked_ptr.hh + (mln::util::tracked_ptr<T>::tracked_ptr(T*)) + (mln::util::tracked_ptr<T>::operator=(T*)) + (mln::util::tracked_ptr<T>::run_() const): + Remove useless typedefs. + (mln::util::tracked_ptr<T>::operator=(const tracked_ptr<T>&)) + (mln::util::tracked_ptr<T>::operator=(T*)) + (mln::util::operator<<(std::ostream& ostr, const tracked_ptr<T>&)): + Check invariants in more places. + +2009-09-29 Roland Levillain &lt;roland(a)lrde.epita.fr&gt; + Add a dummy operator< to mln::util::multi_site<P>. * mln/util/multi_site.hh diff --git a/milena/mln/util/tracked_ptr.hh b/milena/mln/util/tracked_ptr.hh index e25106a..24b9b62 100644 --- a/milena/mln/util/tracked_ptr.hh +++ b/milena/mln/util/tracked_ptr.hh @@ -1,4 +1,5 @@ -// Copyright (C) 2006, 2007, 2008, 2009 EPITA Research and Development Laboratory (LRDE) +// Copyright (C) 2006, 2007, 2008, 2009 EPITA Research and Development +// Laboratory (LRDE) // // This file is part of Olena. // @@ -148,8 +149,6 @@ namespace mln tracked_ptr<T>::tracked_ptr(T* ptr) : ptr_(ptr) { - typedef std::set<tracked_ptr<T>*> holders_t; - if (ptr == 0) holders_ = 0; else @@ -187,6 +186,7 @@ namespace mln // If ptr == 0, holders_ == 0 so we cannot insert anything in it. if (holders_ != 0) holders_->insert(this); + mln_invariant(run_()); return *this; } @@ -194,8 +194,6 @@ namespace mln inline tracked_ptr<T>& tracked_ptr<T>::operator=(T* ptr) { - typedef std::set<tracked_ptr<T>*> holders_t; - mln_invariant(run_()); if (ptr == ptr_) // no-op @@ -209,6 +207,7 @@ namespace mln holders_ = new holders_t; holders_->insert(this); } + mln_invariant(run_()); return *this; } @@ -223,8 +222,6 @@ namespace mln inline bool tracked_ptr<T>::run_() const { - typedef std::set<tracked_ptr<T>*> holders_t; - mln_invariant((ptr_ && holders_) || (! ptr_ && ! holders_)); if (ptr_ == 0) return true; @@ -264,6 +261,7 @@ namespace mln { typedef std::set<tracked_ptr<T>*> holders_t; + mln_invariant(tp.run_()); ostr << "tracked_ptr @ " << (&tp) << " { ptr = " << tp.ptr_ << " / holders = "; -- 1.6.3.1