8b4d5aeb4f
This also covers std::span, which does not have a const iterator. Also renames IsSTLContainer to IsContiguousContainer to explicitly convey its semantics.
35 lines
1 KiB
C++
35 lines
1 KiB
C++
// SPDX-FileCopyrightText: Copyright 2020 yuzu Emulator Project
|
|
// SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
#pragma once
|
|
|
|
#include <iterator>
|
|
#include <type_traits>
|
|
|
|
namespace Common {
|
|
|
|
// Check if type satisfies the ContiguousContainer named requirement.
|
|
template <typename T>
|
|
concept IsContiguousContainer = std::contiguous_iterator<typename T::iterator>;
|
|
|
|
// TODO: Replace with std::derived_from when the <concepts> header
|
|
// is available on all supported platforms.
|
|
template <typename Derived, typename Base>
|
|
concept DerivedFrom = requires {
|
|
std::is_base_of_v<Base, Derived>;
|
|
std::is_convertible_v<const volatile Derived*, const volatile Base*>;
|
|
};
|
|
|
|
// TODO: Replace with std::convertible_to when libc++ implements it.
|
|
template <typename From, typename To>
|
|
concept ConvertibleTo = std::is_convertible_v<From, To>;
|
|
|
|
// No equivalents in the stdlib
|
|
|
|
template <typename T>
|
|
concept IsArithmetic = std::is_arithmetic_v<T>;
|
|
|
|
template <typename T>
|
|
concept IsIntegral = std::is_integral_v<T>;
|
|
|
|
} // namespace Common
|