StormByte::Type::ConvertibleTo Concept Reference

Concept to check if one type is convertible to another. More...

#include <type_traits.hxx>

Concept definition

template<typename From, typename To>
concept StormByte::Type::ConvertibleTo =  std::is_convertible_v<From, To>

Detailed Description

Concept to check if one type is convertible to another.

Template Parameters

From	Source type.
To	Target type.

Types satisfy ConvertibleTo if From can be implicitly converted to To.

template<typename From, typename To>
requires Type::ConvertibleTo<From, To>
To convert(From value) { return static_cast<To>(value); }