Я скорее за конструктор вида: T(const T&&) const noexcept в данном случае, он бы мог означать продолжение жизни объекта, но под другим именем

const Obj a1;
Obj a2 = std::move(a1);

Что в таком случае должно быть?

Не скомпилится, а вот если const Obj a1; const Obj a2 = std::move(a1) - то хотелось бы

Фактически, после второй строки обращаться к a1 более нельзя, но вот обращаться к a2 за контентом a1 - можно

Ну это называется разрушающее перемещение или как то так, в плюсах такого нет, есть вроде бы в расте

Не совсем оно, a1 не разрушается, а становится не доступным для использования, но живым (не помню где это сказано, где-то около объяснения move семантики)

Не совсем оно, a1 не разрушается, а становится не доступным для использования, но живым (не помню где это сказано, где-то около объяснения move семантики)

А мне вот кажется, что все логично.
Rvalue reference указывает на объект который уже не нужен и скоро помрет и позволяет пользователю делать что угодно с этим объектом (главное, после всех манипуляций оставить его в “разрушаемом” состоянии), обычно это подразумевает вытягивание всего внутреннего состояния в другой объект.
Но что по такой идеологии можно сделать с const rvalue reference? Ничего, ведь состояние этого временного объекта то поменять нельзя. Фактически ситуация становится аналогичной ситуации с const lvalue reference, так собсна зачем генерировать тогда дополнительный конструктор?

void some_view::foo(int & x) {
   this->ref1 = std::ref(x);
}
void some_view::foo(int const& x) {
   this->ref2 = std::cref(x);
}

какая из этих функций совершенно неконтролируемо для языка стреляет в ногу и почему

Это типа вопрос про foo(int{})?

Угу. Видите ли, неконстантным левым ссылкам соответствует value category, которая имеет время жизни scope

Да, видимо здесь нужен необходимый базис знаний у программиста, из-за которого он добавит перегрузку к rvalue reference

Да, видимо здесь нужен необходимый базис знаний у программиста, из-за которого он добавит перегрузку к rvalue reference

А еще добавить все декартово произведение перегрузок, если вы принимаете параметры