| // Copyright 2015 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 THIRD_PARTY_BASE_STL_UTIL_H_ |
| #define THIRD_PARTY_BASE_STL_UTIL_H_ |
| |
| #include <algorithm> |
| #include <iterator> |
| #include <memory> |
| #include <set> |
| #include <type_traits> |
| #include <vector> |
| |
| #include "third_party/base/numerics/safe_conversions.h" |
| #include "third_party/base/numerics/safe_math.h" |
| #include "third_party/base/template_util.h" |
| |
| namespace pdfium { |
| |
| namespace internal { |
| |
| // Utility type traits used for specializing base::Contains() below. |
| template <typename Container, typename Element, typename = void> |
| struct HasFindWithNpos : std::false_type {}; |
| |
| template <typename Container, typename Element> |
| struct HasFindWithNpos< |
| Container, |
| Element, |
| void_t<decltype(std::declval<const Container&>().find( |
| std::declval<const Element&>()) != Container::npos)>> |
| : std::true_type {}; |
| |
| template <typename Container, typename Element, typename = void> |
| struct HasFindWithEnd : std::false_type {}; |
| |
| template <typename Container, typename Element> |
| struct HasFindWithEnd<Container, |
| Element, |
| void_t<decltype(std::declval<const Container&>().find( |
| std::declval<const Element&>()) != |
| std::declval<const Container&>().end())>> |
| : std::true_type {}; |
| |
| template <typename Container, typename Element, typename = void> |
| struct HasContains : std::false_type {}; |
| |
| template <typename Container, typename Element> |
| struct HasContains<Container, |
| Element, |
| void_t<decltype(std::declval<const Container&>().contains( |
| std::declval<const Element&>()))>> : std::true_type {}; |
| |
| } // namespace internal |
| |
| // C++14 implementation of C++17's std::size(): |
| // http://en.cppreference.com/w/cpp/iterator/size |
| template <typename Container> |
| constexpr auto size(const Container& c) -> decltype(c.size()) { |
| return c.size(); |
| } |
| |
| template <typename T, size_t N> |
| constexpr size_t size(const T (&array)[N]) noexcept { |
| return N; |
| } |
| |
| // General purpose implementation to check if |container| contains |value|. |
| template <typename Container, |
| typename Value, |
| std::enable_if_t< |
| !internal::HasFindWithNpos<Container, Value>::value && |
| !internal::HasFindWithEnd<Container, Value>::value && |
| !internal::HasContains<Container, Value>::value>* = nullptr> |
| bool Contains(const Container& container, const Value& value) { |
| using std::begin; |
| using std::end; |
| return std::find(begin(container), end(container), value) != end(container); |
| } |
| |
| // Specialized Contains() implementation for when |container| has a find() |
| // member function and a static npos member, but no contains() member function. |
| template <typename Container, |
| typename Value, |
| std::enable_if_t<internal::HasFindWithNpos<Container, Value>::value && |
| !internal::HasContains<Container, Value>::value>* = |
| nullptr> |
| bool Contains(const Container& container, const Value& value) { |
| return container.find(value) != Container::npos; |
| } |
| |
| // Specialized Contains() implementation for when |container| has a find() |
| // and end() member function, but no contains() member function. |
| template <typename Container, |
| typename Value, |
| std::enable_if_t<internal::HasFindWithEnd<Container, Value>::value && |
| !internal::HasContains<Container, Value>::value>* = |
| nullptr> |
| bool Contains(const Container& container, const Value& value) { |
| return container.find(value) != container.end(); |
| } |
| |
| // Specialized Contains() implementation for when |container| has a contains() |
| // member function. |
| template < |
| typename Container, |
| typename Value, |
| std::enable_if_t<internal::HasContains<Container, Value>::value>* = nullptr> |
| bool Contains(const Container& container, const Value& value) { |
| return container.contains(value); |
| } |
| |
| // Means of generating a key for searching STL collections of std::unique_ptr |
| // that avoids the side effect of deleting the pointer. |
| template <class T> |
| class FakeUniquePtr : public std::unique_ptr<T> { |
| public: |
| using std::unique_ptr<T>::unique_ptr; |
| ~FakeUniquePtr() { std::unique_ptr<T>::release(); } |
| }; |
| |
| // Convenience routine for "int-fected" code, so that the stl collection |
| // size_t size() method return values will be checked. |
| template <typename ResultType, typename Collection> |
| ResultType CollectionSize(const Collection& collection) { |
| return pdfium::base::checked_cast<ResultType>(collection.size()); |
| } |
| |
| // Convenience routine for "int-fected" code, to handle signed indicies. The |
| // compiler can deduce the type, making this more convenient than the above. |
| template <typename IndexType, typename Collection> |
| bool IndexInBounds(const Collection& collection, IndexType index) { |
| return index >= 0 && index < CollectionSize<IndexType>(collection); |
| } |
| |
| // Track the addition of an object to a set, removing it automatically when |
| // the ScopedSetInsertion goes out of scope. |
| template <typename T> |
| class ScopedSetInsertion { |
| public: |
| ScopedSetInsertion(std::set<T>* org_set, T elem) |
| : m_Set(org_set), m_Entry(elem) { |
| m_Set->insert(m_Entry); |
| } |
| ~ScopedSetInsertion() { m_Set->erase(m_Entry); } |
| |
| private: |
| std::set<T>* const m_Set; |
| const T m_Entry; |
| }; |
| |
| // std::clamp(), some day. |
| template <class T> |
| constexpr const T& clamp(const T& v, const T& lo, const T& hi) { |
| return std::min(std::max(v, lo), hi); |
| } |
| |
| // Safely allocate a 1-dim vector big enough for |w| by |h| or die. |
| template <typename T, typename A = std::allocator<T>> |
| std::vector<T, A> Vector2D(size_t w, size_t h) { |
| pdfium::base::CheckedNumeric<size_t> safe_size = w; |
| safe_size *= h; |
| return std::vector<T, A>(safe_size.ValueOrDie()); |
| } |
| |
| } // namespace pdfium |
| |
| #endif // THIRD_PARTY_BASE_STL_UTIL_H_ |