将use语句应用于函数的返回类型，而不应用于整个命名空间

Question

我试图创建一个函数，该函数接受一个底层容器，并基于对元素进行某些处理的自定义迭代器返回boost：：iterator\u范围。

例如。

// The range class, templated on the underlying iterator type
template<class Iter> using CustomRange = boost::iterator_range<CustomIterator<Iter>>;

using std::begin;
template <class Container>
auto make_custom_range(Container& c) -> CustomRange<decltype(begin(c))> {
    using std::end;
    return make_custom_range_from_iterators(begin(c),end(c));
}

代码可以正常工作（为CustomIterator提供了合适的定义，并使\u custom\u range\u from\u iterators）。

我关心的是使用std：：begin声明，我认为这将导致std：：begin被导入到声明我的函数的整个命名空间中。我不喜欢在decltype中显式地使用std：：begin，这样ADL就可以工作了（就像在这个问题中：依赖ADL来实现std：：begin（）和std：：end（）？）。

我想在C 14中，我可以在这里使用自动返回类型。是否有C 11解决方案？有没有一种方法可以让返回类型看到using声明，而不将其公开给整个命名空间？

Answer 1

将所有内容放入另一个名称空间中，并在其中使用s。然后将您的新助手带到顶级命名空间中：

namespace details {
    using std::begin;
    using std::end;

    template <typename C>
    auto adl_begin(C&& c) -> decltype(begin(std::forward<C>(c))) {
        return begin(std::forward<C>(c));
    }

    template <typename C>
    auto adl_end(C&& c) -> decltype(end(std::forward<C>(c))) {
        return end(std::forward<C>(c));
    }
}

using details::adl_begin;
using details::adl_end;

template <typename C>
using adl_begin_t = decltype(adl_begin(std::declval<C>()));

template <typename C>
using adl_end_t = decltype(adl_end(std::declval<C>()));

在C 14中，您不需要尾部返回类型，但也需要对cbegin和cend执行相同的操作。这样一来，您就不必再记住让使用s，只需在任何地方使用adl\uu*方法即可：

template <class Container>
CustomRange<adl_begin_t<Container&>> make_custom_range(Container& c) {
    return make_custom_range_from_iterators(adl_begin(c), adl_end(c));
}

Answer 2

将using声明放在单独的命名空间中：

namespace adl_helper
{
    using std::begin;

    template <typename T>
    auto adl_begin(T&& t) -> decltype(begin(std::forward<T>(t)));  
}

template <class Container>
auto make_custom_range(Container& c)
    -> CustomRange<decltype(adl_helper::adl_begin(c))>
//                          ~~~~~~~~~~~~~~~~~~~~^
{
    using std::begin;
    using std::end;
    return make_custom_range_from_iterators(begin(c),end(c));
}

演示