Checks whether a type is explicit convertible to another and does not throw. More...

#include <stl_extensions.hpp>

Concept definition

template<class TFrom, class TTo>
concept sl::concepts::nothrow_explicitly_convertible_to =  requires
    {
        { static_cast<TTo>(std::declval<TFrom>()) } noexcept;
    }

Detailed Description

Checks whether a type is explicit convertible to another and does not throw.

This is a less restrictive version of the std::convertible_to concept, but with additional noexcept check.

See also: https://en.cppreference.com/w/cpp/concepts/convertible_to

Template Parameters

TFrom	The source type.
TTo	The target type.