ref-квалификаторы для оператора присваивания стандартных типов библиотек
Мне было интересно, есть ли причина, по которой оператор присваивания стандартных типов не является lvalue ref-qualified? Ни один из них не является.
Из-за этого мы можем написать такие вещи, как это:
std::string{} = "42";
std::string s = "hello " + std::string{"world"} = "oops!";
std::vector<int> v = { 1,2,3 };
std::move(v) = { 4,5,6 };
Если бы оператор присваивания был квалифицирован как lvalue, все эти примеры не скомпилировались бы.
Это потому, что есть много вещей, которые нужно изменить (но тогда так было просто так), и никто не написал предложение для? Я не думаю, что люди пишут такой код, но разве библиотека не должна быть спроектирована так, чтобы она даже не позволяла этого?
Решение
Ваше предложение было предложено в 2009 году, и в конечном итоге отвергнут во Франкфурте в этом году «опасения по поводу обратной совместимости».
Это было бы серьезным изменением, и нам это не нравится.
Существующий запрет на присвоение r-значений встроенных типов в любом случае имеет лишь ограниченную реальную ценность, поэтому стоимость возможного взлома существующего кода была почти наверняка считается «не стоит».
Была бы библиотека разработана таким образом, если бы у нас был чистый лист? Может быть.
Другие решения
Других решений пока нет …