在函数内加载命名空间符号以进行模板实例化

Question

我编写了一个模板化的operator+=函数，并给它一个唯一的命名空间（我只想有时使用它，这让我可以明确地使用它）。

然后我想在另一个模板函数中使用 that 函数，该函数在其操作数上使用 operator+= ，但我不想让它在符号表中等待突袭我在程序中任何地方执行的每一个 += 调用。我还必须在广泛包含的标头内执行此操作。

一个基本的例子是：

#define BOOST_RESULT_OF_USE_DECLTYPE

#include "boost\range.hpp"
#include "boost\range\algorithm.hpp"
#include <vector>

using std::vector;

namespace range_ops
{
    template <class ForwardRange1, class SinglePassRange2>
    inline ForwardRange1& operator+=(ForwardRange1& left, const SinglePassRange2& right)
    {
        auto left_it = boost::begin(left);
        auto right_it = boost::begin(right);
        for (; left_it != boost::end(left); ++left_it, ++right_it)
            *left_it += *right_it;

        return left;
    }
}

template <class SinglePassRange, class Value>
inline Value accumulate_increment(SinglePassRange& rng, Value val)
{
    typedef typename boost::range_value<SinglePassRange>::type range_val;
    boost::for_each(rng, [&](const range_val& x) { val += x; });
    return val;
}

template <class SinglePassRange>
inline typename boost::range_value<SinglePassRange>::type accumulate_increment(SinglePassRange& rng)
{
    return accumulate_increment(rng, typename boost::range_value<SinglePassRange>::type());
}

//using range_ops::operator+=; // this works, but pollutes the global namespace with a templacised operator+= function - yuck!
int main()
{
    auto i = accumulate_increment(vector<int>(1)); // works fine

    using range_ops::operator+=; // want this here, but accumulate_increment can't see the operator+= function
    auto j = accumulate_increment(vector<vector<int>>(1));
}

有什么办法可以达到这个结果吗？

Answer 1

即使你能做到这一点我也不会推荐它。使用您的代码的人应该期望对象的内部行为不依赖于某些未显式传递给它的外部状态（您对命名空间的设置），并且不会随其移动（不依赖于它的地理位置）在源文件中）。

运算符重载已经是一种使事情变得混乱的功能，除非操作数本质上通常不支持该运算符。

如果要实现类似的功能，则应该通过设置对象的状态来更改重载运算符的行为，例如成员 SetOtherOperatorOverload(TRUE);

Answer 2

只有 1 个增量函数，所以您如何期望调用者中的 using 子句影响增量函数本身 - 它应该如何找到 operatior+？