Copy Constructor вызывается с результатом условного оператора RVALUE ⇐ C++

[Anonymous]

Согласно CppReerference, категория значения условного оператора в C ++ зависит от категорий операндов, а именно: если оба операнда являются LVALUE, то условный оператор также является LVALUE, в противном случае это RVALUE.

Код: Выделить всё

#include 

struct S {
S() = default;
S(S&) {
std::cout  flag;
S y = flag ? std::move(s) : s;
}

demo
Если флаг неверный, y создается копией из S, что нарушает мои ожидания категории условного оператора, чтобы быть RValue, и, следовательно, конструкция, чтобы быть выбранным.>

Подробнее здесь: https://stackoverflow.com/questions/797 ... l-operator