blob: a1c1f9bf33e2200848cb2a5fc1a062615cbca5be [file] [log] [blame]
// Copyright 2020 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.
#include <array>
#include <iterator>
#include <string>
#include <type_traits>
#include <vector>
#include "base/containers/checked_iterators.h"
#include "base/template_util.h"
namespace gurl_base {
namespace internal {
template <typename T>
struct PointsToObject : std::is_object<iter_value_t<T>> {};
// A pointer is a contiguous iterator.
// Reference:
template <typename T>
struct IsPointer : std::is_pointer<T> {};
// An iterator to std::basic_string is contiguous.
// Reference:
template <typename T, typename StringT = std::basic_string<iter_value_t<T>>>
struct IsStringIter
: conjunction<std::is_trivial<iter_value_t<T>>,
disjunction<std::is_same<T, typename StringT::const_iterator>,
std::is_same<T, typename StringT::iterator>>> {};
// An iterator to std::array is contiguous.
// Reference:
template <typename T, typename ArrayT = std::array<iter_value_t<T>, 1>>
struct IsArrayIter
: disjunction<std::is_same<T, typename ArrayT::const_iterator>,
std::is_same<T, typename ArrayT::iterator>> {};
// An iterator to a non-bool std::vector is contiguous.
// Reference:
template <typename T, typename VectorT = std::vector<iter_value_t<T>>>
struct IsVectorIter
: conjunction<negation<std::is_same<iter_value_t<T>, bool>>,
disjunction<std::is_same<T, typename VectorT::const_iterator>,
std::is_same<T, typename VectorT::iterator>>> {};
// The result of passing a std::valarray to std::begin is a contiguous iterator.
// Note: Since all common standard library implementations (i.e. libc++,
// stdlibc++ and MSVC's STL) just use a pointer here, we perform a similar
// optimization. The corresponding unittest still ensures that this is working
// as intended.
// Reference:
template <typename T>
struct IsValueArrayIter : std::is_pointer<T> {};
// base's CheckedContiguousIterator is a contiguous iterator.
template <typename T, typename ValueT = iter_value_t<T>>
struct IsCheckedContiguousIter
: disjunction<std::is_same<T, gurl_base::CheckedContiguousConstIterator<ValueT>>,
std::is_same<T, gurl_base::CheckedContiguousIterator<ValueT>>> {};
// Check that the iterator points to an actual object, and is one of the
// iterator types mentioned above.
template <typename T>
struct IsContiguousIteratorImpl
: conjunction<PointsToObject<T>,
IsCheckedContiguousIter<T>>> {};
} // namespace internal
// IsContiguousIterator is a type trait that determines whether a given type is
// a contiguous iterator. It is similar to C++20's contiguous_iterator concept,
// but due to a lack of the corresponding contiguous_iterator_tag relies on
// explicitly instantiating the type with iterators that are supposed to be
// contiguous iterators.
// References:
// -
// -
// -
template <typename T>
struct IsContiguousIterator
: internal::IsContiguousIteratorImpl<
std::remove_cv_t<std::remove_reference_t<T>>> {};
} // namespace base