If the imaginary function definition To test() { return etl::declval<From>(); } is well-formed, (that is, either etl::declval<From>() can be converted to To using implicit conversions, or both From and To are possibly cv-qualified void), provides the member constant value equal to true. Otherwise value is false. For the purposes of this check, the use of etl::declval in the return statement is not considered an odr-use. Access checks are performed as if from a context unrelated to either type. Only the validity of the immediate context of the expression in the return statement (including conversions to the return type) is considered.
More...
#include <is_convertible.hpp>
Additional Inherited Members | |
 Public Types inherited from integral_constant< bool, B > | |
| using | type |
| using | type |
| using | value_type |
| using | value_type |
| Public Member Functions inherited from integral_constant< bool, B > | |
| constexpr | operator value_type () const noexcept |
| constexpr | operator value_type () const noexcept |
| constexpr auto | operator() () const noexcept -> value_type |
| constexpr auto | operator() () const noexcept -> value_type |
| Static Public Attributes inherited from integral_constant< bool, B > | |
| static constexpr bool | value |
| static constexpr bool | value |
Detailed Description
struct etl::is_convertible< From, To >
If the imaginary function definition To test() { return etl::declval<From>(); } is well-formed, (that is, either etl::declval<From>() can be converted to To using implicit conversions, or both From and To are possibly cv-qualified void), provides the member constant value equal to true. Otherwise value is false. For the purposes of this check, the use of etl::declval in the return statement is not considered an odr-use. Access checks are performed as if from a context unrelated to either type. Only the validity of the immediate context of the expression in the return statement (including conversions to the return type) is considered.
The documentation for this struct was generated from the following file:
- include/etl/_type_traits/is_convertible.hpp
