c++ - std::transform 一元操作签名

Question

我对以下 description 感到困惑std::transfrom:

unary_op - unary operation function object that will be applied. The signature of the function should be equivalent to the following:

Ret fun(const Type &a);

The signature does not need to have const &.

这两种说法似乎是矛盾的。有人可以澄清这里的意思吗？如果签名是 Ret fun(Type a) 或 Ret fun(Type&& a) 或 Ret fun(Type& a) 会怎样？

Answer 1

它想说的是，fun 必须是这样的:

*OutputIt = fun(*InputIt);

是合法的。还要注意

unary_op ... must not invalidate any iterators, including the end iterators, or modify any elements of the ranges involved.

，因此非常量引用是合法的 - 但它不能使用非常量。