为什么std :: forward_list ::: remove和std :: erase 具有不同的值类型？

Question

[std::forward_list具有member function：

size_type remove(const T& value);

和non-member function std::erase声明如下：

template<class T, class Alloc, class U>
typename forward_list<T, Alloc>::size_type
    erase(forward_list<T, Alloc>& c, const U& value);

[请注意，非成员函数std::erase与U的类型不同value；而成员函数remove只需将T键入value。

为什么std::erase不只将T用作value？

不一致之处背后是否有任何设计依据？

Answer 1

如cppreference.com所指出：

Answer 2

我可以看到一个实际的原因。这与模板自变量推导带来的困难有关。想象一下这个假设函数：