is_convertible_to.hpp

Go to the documentation of this file.

//
//  CeresEngine - A game development framework
//
//  Created by Rogiel Sulzbach.
//  Copyright (c) 2018-2022 Rogiel Sulzbach. All rights reserved.
//
 
#pragma once
 
#include <type_traits>
 
namespace CeresEngine::traits {
 
    template<class From, class To, class = void> struct is_convertible_to : std::false_type {};
 
    template<class From, class To>
    struct is_convertible_to<From, To,
        std::void_t<
            // clang-format off
            std::enable_if_t<std::is_convertible_v<From, To>>,
            decltype(static_cast<To>(std::declval<From>()))
            // clang-format on
            >> : std::true_type {};
 
    template<class From, class To> bool constexpr is_convertible_to_v = is_convertible_to<From, To>::value;
 
    template<class From, class To>
    concept convertible_to = is_convertible_to_v<From, To>;
 
} // namespace CeresEngine::traits