我可以为equal\u range（）的返回值专门化std：：begin和std：：end吗？

Question

<代码>

现在，我听到了关于专门化std::begin（）和std::end（）的矛盾信息-有人告诉我，向std命名空间添加任何东西都会导致未定义的行为，而我也被告知，您可以提供自己的std::begin（）和std::end（）的专门化。

这就是我现在正在做的：

namespace std
{
    template<typename Iter, typename = typename iterator_traits<Iter>::iterator_category>
    Iter begin(pair<Iter, Iter> const &p)
    {
        return p.first;
    }
    template<typename Iter, typename = typename iterator_traits<Iter>::iterator_category>
    Iter end(pair<Iter, Iter> const &p)
    {
        return p.second;
    }
}

这确实有效：http://ideone.com/wHVfkh

但我想知道，这样做有什么坏处？有更好的方法吗？

Answer 1

17.6.4.2.1/1除非另有说明，否则如果C程序将声明或定义添加到命名空间std或命名空间std中的命名空间，则C程序的行为是未定义的。只有当声明依赖于用户定义的类型并且专业化满足原始模板的标准库要求且未被明确禁止时，程序才可以将任何标准库模板的模板专业化添加到命名空间std。

所以是的，我相信，从技术上讲，您的代码表现出未定义的行为。也许您可以编写一个简单的类，该类在其构造函数中使用一对迭代器，并实现begin（）和end（）方法。然后你可以写这样的东西

for (const auto& elem: as_range(equal_range(...))) {}