derived_from.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSL-1.0
// SPDX-FileCopyrightText: Copyright (C) 2019 Tobias Hienzsch
 
#ifndef TETL_CONCEPTS_DERIVED_FROM_HPP
#define TETL_CONCEPTS_DERIVED_FROM_HPP
 
#include <etl/_type_traits/is_base_of.hpp>
#include <etl/_type_traits/is_convertible.hpp>
 
namespace etl {
 
/// \brief The concept derived_from<Derived, Base> is satisfied if and only if
/// Base is a class type that is either Derived or a public and unambiguous base
/// of Derived, ignoring cv-qualifiers. Note that this behaviour is different to
/// is_base_of when Base is a private or protected base of Derived.
/// \ingroup concepts
template <typename Derived, typename Base>
concept derived_from = is_base_of_v<Base, Derived> and is_convertible_v<Derived const volatile*, Base const volatile*>;
 
} // namespace etl
 
#endif // TETL_CONCEPTS_DERIVED_FROM_HPP