std transform

Ответ от
В случае, если вторая последовательность будет короче первой, будет производиться доступ за границами итератора, а это Undefined Behaviour.
Разного типа могут быть, главное, чтобы binary_op была соответствующей:
binary_op-binary operation function object that will be applied.
The signature of the function should be equivalent to the following:
Ret fun(const Type1 &a, const Type2 &b);
The signature does not need to have const &.
The types Type1 and Type2 must be such that objects of types InputIt1 and InputIt2 can be dereferenced and then implicitly converted to Type1 and Type2 respectively. The type Ret must be such that an object of type OutputIt can be dereferenced and assigned a value of type Ret.
Значения в выходной последовательности заменяются на вычисленные значения:
Effects: Assigns through every iterator i in the range [result,result + (last1 - first1)) a
new corresponding value equal to op(*(first1 + (i - result)) or binary_op(*(first1 + (i -
result)), *(first2 + (i - result))