提供运算符+或运算符到双向迭代器有什么缺点吗?

双向迭代器没有像随机访问迭代器那样的奢侈品，因此需要依赖于std::next和std::prev，当有人需要做这样的操作时

std::set<int> s{ 1, 2, 3, 4, 5 };
//std::set<int> s2(s.cbegin(), s.cbegin() + 2); // won't work as there is no operator+ for std::set::const_iterator
std::set<int> s2(s.cbegin(), std::next(s.cbegin(), 2));
//std::set<int> s3(s.cbegin(), s.cend() - 2);  // won't work as there is no operator- for std::set::const_iterator
std::set<int> s3(s.cbegin(), std::prev(s.cend(), 2));

但是，我们可以使用上述std::next和std::prev来实现这些operator+和operator-。

#include <set>
#include <iterator>  // std::iterator_traits, std::next, std::prev
template<typename InputIt>
constexpr InputIt operator+(InputIt it,
typename std::iterator_traits<InputIt>::difference_type n)
{
return std::next(it, n);
}
template<typename InputIt>
constexpr InputIt operator-(InputIt it,
typename std::iterator_traits<InputIt>::difference_type n)
{
return std::prev(it, n);
}
int main()
{
std::set<int> s{ 1, 2, 3, 4, 5 };
std::set<int> s2(s.cbegin(), s.cbegin() + 2); // works now
std::set<int> s3(s.cbegin(), s.cend() - 2);   // works now
}

• 使用这些实现有什么缺点吗？
• 如果没有，在C++标准库中拥有不是很好吗？

更新：

正如@Nicol波拉斯在他的回答中提到的那样，使用InputIt将是一个错误。不过我想证明一下这个想法。无论如何，让我们考虑一个SFINE解决方案，它只接受双向迭代器。除了尼科尔提到的之外，还有其他问题吗？

#include <type_traits>
#include <iterator>  // std::iterator_traits, std::bidirectional_iterator_tag, std::next, std::prev
template<typename BidirIterators>
constexpr auto operator+(BidirIterators it,
typename std::iterator_traits<BidirIterators>::difference_type n)
-> std::enable_if_t<
std::is_same_v<
std::bidirectional_iterator_tag,
typename std::iterator_traits<BidirIterators>::iterator_category
>, BidirIterators
>
{
return std::next(it, n);
}
template<typename BidirIterators>
constexpr auto operator-(BidirIterators it,
typename std::iterator_traits<BidirIterators>::difference_type n)
-> std::enable_if_t<
std::is_same_v<
std::bidirectional_iterator_tag,
typename std::iterator_traits<BidirIterators>::iterator_category
>, BidirIterators
>
{
return std::prev(it, n);
}