Рассмотрим следующий код, в котором я проверяю, может ли тип назначаться копированием, используя признак типа std::is_copy_assignable_v:
#include
#include
struct IntProxy
{
int& i;
};
int main()
{
// Expected false
std::println("{}", std::is_copy_assignable_v); // OK, assignment operator deleted
// Unexpected true...
std::println("{}", std::is_copy_assignable_v); // Huh??
}
Демо
IntProxy диагностирован правильно, но int& указан как назначаемый копированием, что, кстати, не так. Как написать лучший is_copy_assignable, который работает и для ссылочных типов? Сейчас я использую is_copy_assignable_v && !is_reference_v, но это кажется немного неуклюжим.
Обновление:
Я был сбит с толку подавленным оператором = для структуры IntProxy. Добавление этого вручную позволит правильно имитировать назначаемость фактического int&.
struct IntProxy
{
int& i;
// default operator= deleted because of reference member i
IntProxy& operator=(IntProxy const& other)
{
i = other.i;
return *this;
}
};
Подробнее здесь: https://stackoverflow.com/questions/798 ... how-to-fix
