is_convertible, classe
Teste si un type est convertible en un autre.
Syntaxe
template <class From, class To>
struct is_convertible;
Paramètres
De
Type à partir duquel effectuer la conversion.
Ty
Type vers lequel effectuer la conversion.
Notes
Une instance du prédicat de type a la valeur true si l'expression To to = from;
, où from
est un objet de type From
, est formée correctement.
Exemple
// std__type_traits__is_convertible.cpp
// compile with: /EHsc
#include <type_traits>
#include <iostream>
struct trivial
{
int val;
};
int main()
{
std::cout << "is_convertible<trivial, int> == " << std::boolalpha
<< std::is_convertible<trivial, int>::value << std::endl;
std::cout << "is_convertible<trivial, trivial> == " << std::boolalpha
<< std::is_convertible<trivial, trivial>::value << std::endl;
std::cout << "is_convertible<char, int> == " << std::boolalpha
<< std::is_convertible<char, int>::value << std::endl;
return (0);
}
is_convertible<trivial, int> == false
is_convertible<trivial, trivial> == true
is_convertible<char, int> == true
Spécifications
Header :<type_traits>
Espace de noms : std