summaryrefslogblamecommitdiffstats
path: root/src/common/concepts.h
blob: a9acff3e791588466d6277427e84e508f0291d9a (plain) (tree)
1
2
3
4
5
6
7
8
9
10

                                                               


            
                   

                      

                  
                                                                     
                     
                                                                               
 





                                                                         

  



                                                                    







                                               
                     
// 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