Std::copy_assignable_v не работает для ссылочных типов, как исправить? ⇐ C++

[Anonymous]

Рассмотрим следующий код, в котором я проверяю, может ли тип назначаться копированием, используя признак типа 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, но это кажется немного неуклюжим.

Подробнее здесь: https://stackoverflow.com/questions/798 ... how-to-fix