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