// Copyright (c) 2011 The Chromium Authors. All rights reserved. // Use of this source code is governed by a BSD-style license that can be // found in the LICENSE file. #ifndef BASE_OBSERVER_LIST_H_ #define BASE_OBSERVER_LIST_H_ #include #include #include #include #include "base/gtest_prod_util.h" #include "base/logging.h" #include "base/macros.h" #include "base/memory/weak_ptr.h" #include "base/stl_util.h" /////////////////////////////////////////////////////////////////////////////// // // OVERVIEW: // // A container for a list of observers. Unlike a normal STL vector or list, // this container can be modified during iteration without invalidating the // iterator. So, it safely handles the case of an observer removing itself // or other observers from the list while observers are being notified. // // TYPICAL USAGE: // // class MyWidget { // public: // ... // // class Observer { // public: // virtual void OnFoo(MyWidget* w) = 0; // virtual void OnBar(MyWidget* w, int x, int y) = 0; // }; // // void AddObserver(Observer* obs) { // observer_list_.AddObserver(obs); // } // // void RemoveObserver(Observer* obs) { // observer_list_.RemoveObserver(obs); // } // // void NotifyFoo() { // for (auto& observer : observer_list_) // observer.OnFoo(this); // } // // void NotifyBar(int x, int y) { // for (FooList::iterator i = observer_list.begin(), // e = observer_list.end(); i != e; ++i) // i->OnBar(this, x, y); // } // // private: // base::ObserverList observer_list_; // }; // // /////////////////////////////////////////////////////////////////////////////// namespace base { template class ObserverListThreadSafe; template class ObserverListBase : public SupportsWeakPtr> { public: // Enumeration of which observers are notified. enum NotificationType { // Specifies that any observers added during notification are notified. // This is the default type if no type is provided to the constructor. NOTIFY_ALL, // Specifies that observers added while sending out notification are not // notified. NOTIFY_EXISTING_ONLY }; // An iterator class that can be used to access the list of observers. template class Iter { public: Iter(); explicit Iter(ContainerType* list); ~Iter(); // A workaround for C2244. MSVC requires fully qualified type name for // return type on a function definition to match a function declaration. using ThisType = typename ObserverListBase::template Iter; bool operator==(const Iter& other) const; bool operator!=(const Iter& other) const; ThisType& operator++(); ObserverType* operator->() const; ObserverType& operator*() const; private: FRIEND_TEST_ALL_PREFIXES(ObserverListTest, BasicStdIterator); FRIEND_TEST_ALL_PREFIXES(ObserverListTest, StdIteratorRemoveFront); ObserverType* GetCurrent() const; void EnsureValidIndex(); size_t clamped_max_index() const { return std::min(max_index_, list_->observers_.size()); } bool is_end() const { return !list_ || index_ == clamped_max_index(); } WeakPtr> list_; // When initially constructed and each time the iterator is incremented, // |index_| is guaranteed to point to a non-null index if the iterator // has not reached the end of the ObserverList. size_t index_; size_t max_index_; }; using Iterator = Iter>; using iterator = Iter>; iterator begin() { // An optimization: do not involve weak pointers for empty list. // Note: can't use ?: operator here due to some MSVC bug (unit tests fail) if (observers_.empty()) return iterator(); return iterator(this); } iterator end() { return iterator(); } using const_iterator = Iter>; const_iterator begin() const { if (observers_.empty()) return const_iterator(); return const_iterator(this); } const_iterator end() const { return const_iterator(); } ObserverListBase() : notify_depth_(0), type_(NOTIFY_ALL) {} explicit ObserverListBase(NotificationType type) : notify_depth_(0), type_(type) {} // Add an observer to the list. An observer should not be added to // the same list more than once. void AddObserver(ObserverType* obs); // Remove an observer from the list if it is in the list. void RemoveObserver(ObserverType* obs); // Determine whether a particular observer is in the list. bool HasObserver(const ObserverType* observer) const; void Clear(); protected: size_t size() const { return observers_.size(); } void Compact(); private: friend class ObserverListThreadSafe; typedef std::vector ListType; ListType observers_; int notify_depth_; NotificationType type_; template friend class Iter; DISALLOW_COPY_AND_ASSIGN(ObserverListBase); }; template template ObserverListBase::Iter::Iter() : index_(0), max_index_(0) {} template template ObserverListBase::Iter::Iter(ContainerType* list) : list_(const_cast*>(list)->AsWeakPtr()), index_(0), max_index_(list->type_ == NOTIFY_ALL ? std::numeric_limits::max() : list->observers_.size()) { EnsureValidIndex(); DCHECK(list_); ++list_->notify_depth_; } template template ObserverListBase::Iter::~Iter() { if (list_ && --list_->notify_depth_ == 0) list_->Compact(); } template template bool ObserverListBase::Iter::operator==( const Iter& other) const { if (is_end() && other.is_end()) return true; return list_.get() == other.list_.get() && index_ == other.index_; } template template bool ObserverListBase::Iter::operator!=( const Iter& other) const { return !operator==(other); } template template typename ObserverListBase::template Iter& ObserverListBase::Iter::operator++() { if (list_) { ++index_; EnsureValidIndex(); } return *this; } template template ObserverType* ObserverListBase::Iter::operator->() const { ObserverType* current = GetCurrent(); DCHECK(current); return current; } template template ObserverType& ObserverListBase::Iter::operator*() const { ObserverType* current = GetCurrent(); DCHECK(current); return *current; } template template ObserverType* ObserverListBase::Iter::GetCurrent() const { if (!list_) return nullptr; return index_ < clamped_max_index() ? list_->observers_[index_] : nullptr; } template template void ObserverListBase::Iter::EnsureValidIndex() { if (!list_) return; size_t max_index = clamped_max_index(); while (index_ < max_index && !list_->observers_[index_]) ++index_; } template void ObserverListBase::AddObserver(ObserverType* obs) { DCHECK(obs); if (ContainsValue(observers_, obs)) { NOTREACHED() << "Observers can only be added once!"; return; } observers_.push_back(obs); } template void ObserverListBase::RemoveObserver(ObserverType* obs) { DCHECK(obs); typename ListType::iterator it = std::find(observers_.begin(), observers_.end(), obs); if (it != observers_.end()) { if (notify_depth_) { *it = nullptr; } else { observers_.erase(it); } } } template bool ObserverListBase::HasObserver( const ObserverType* observer) const { for (size_t i = 0; i < observers_.size(); ++i) { if (observers_[i] == observer) return true; } return false; } template void ObserverListBase::Clear() { if (notify_depth_) { for (typename ListType::iterator it = observers_.begin(); it != observers_.end(); ++it) { *it = nullptr; } } else { observers_.clear(); } } template void ObserverListBase::Compact() { observers_.erase(std::remove(observers_.begin(), observers_.end(), nullptr), observers_.end()); } template class ObserverList : public ObserverListBase { public: typedef typename ObserverListBase::NotificationType NotificationType; ObserverList() {} explicit ObserverList(NotificationType type) : ObserverListBase(type) {} ~ObserverList() { // When check_empty is true, assert that the list is empty on destruction. if (check_empty) { ObserverListBase::Compact(); DCHECK_EQ(ObserverListBase::size(), 0U); } } bool might_have_observers() const { return ObserverListBase::size() != 0; } }; } // namespace base #endif // BASE_OBSERVER_LIST_H_