Почему std :: not1() принимает параметр по ссылке const вместо значения?

Question

std::not1() Прототип выглядит следующим образом:

template< class Predicate > 
std::unary_negate<Predicate> not1(const Predicate& pred); 

Это эффективно запрещает движение семантики. Почему это не прототип, как:

template< class Predicate > 
std::unary_negate<Predicate> not1(Predicate pred); 

Таким образом, копировать или перемещать в зависимости от того, как pred строится. Затем функция просто перемещает pred в объект std::unary_negate.

Answer 1

Было бы совершенно бесполезно сделать это изменение само по себе. То, что not1 делает, представляет собой конструкцию std::unary_negate<Predicate> с использованием pred в качестве аргумента конструктору. Но единственный соответствующий конструктор std::unary_negate<Predicate> принимает const Predicate &, неPredicate &&.

Логический вопрос о последующем будет, почему std::unary_negate<Predicate> не имеет конструктора, принимающего Predicate &&? Очевидно, он не мог принять такой аргумент, когда он был разработан, потому что ссылки rvalue еще не существовали. Что касается позже, это немного догадка, но я бы сказал, что lambdas уже достаточно хорошо заполняют эту проблему, так что в unary_negate не так много смысла, кроме обратной совместимости.