alpaka::concepts::LosslesslyConvertible Concept Reference

Concept to check if a type can be lossless converted to another type. More...

#include <vecConcepts.hpp>

Concept definition

        template<typename T_From, typename T_To>
        concept LosslesslyConvertible = std::convertible_to<T_From, T_To>
              && (detail::integralIntegralLossless<T_From, T_To> || detail::floatFloatLossless<T_From, T_To>
                  || detail::integralFloatLossless<T_From, T_To>)

Detailed Description

Concept to check if a type can be lossless converted to another type.

This concept ensures that a type T_From can be converted to a type T_To without any loss of information. It checks for implicit convertibility, signedness compatibility, and precision preservation for both integer and floating-point types.

Template Parameters

T_From	The source type to be converted.
T_To	The target type to which the source type is converted.

Definition at line 53 of file vecConcepts.hpp.