Класс is_assignable
Проверяет, можно ли назначить значение типа From типу To.
C++
template <class To, class From>
struct is_assignable;
Кому
Тип объекта, который получает назначение.
From
Тип объекта, который предоставляет значение.
Невычисленное выражение declval<To>() = declval<From>() должно иметь правильный формат. From и To должны быть полными типами, void, или массивами с неизвестной границей.
Заголовок:<type_traits>
Пространство имен: std