Класс is_convertible
Проверяет, можно ли преобразовать один тип в другой.
Синтаксис
template <class From, class To>
struct is_convertible;
Параметры
From
Преобразовываемый тип.
Ty
Целевой тип преобразования.
Замечания
Экземпляр предиката типа содержит значение true, если выражение To to = from;
, где from
является объектом типа From
, имеет правильный формат.
Пример
// 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
Требования
Заголовок:<type_traits>
Пространство имен: std