为什么 boost::equals 要求范围可复制？

Question

我一生都无法理解为什么会失败：

#include <vector>

#include "boost/algorithm/string/predicate.hpp"

struct Test
:
    public std::vector<int>
{
    Test() { }
    Test(const Test&) { assert(false); }
};

int main()
{
    Test a;
    Test b;
    boost::algorithm::equals(a, b);

    return 0;
}

输出：

$ g++ boostEqualsCopyDemo.cpp -I /usr/include/boost-1_47
$ a.out
a.out: boostEqualsCopyDemo.cpp:10: Test::Test(const Test&): Assertion `false' failed.
Aborted (core dumped)

我已经尝试挖掘升压代码，但这让我头晕。这似乎很荒唐；如此浪费且不必要。这是怎么回事？

Answer 1

Boost 尝试为传入的容器创建一组范围，最终调用 range_detail::is_char_ptr()，这是一组使用模板参数推导的函数模板的名称确定参数是否是某种 char 指针（正如您可能通过名称猜到的那样）。

不幸的是，当匹配非字符指针参数时，“catch-all”函数模板会返回 0 并按值获取其参数。

我认为可以通过更改参数以采用 const& 来解决此问题。在文件 boost/range/as_literal.hpp 中查找：

    template< class T >
    inline long is_char_ptr( T /* r */ )
    {
        return 0L;
    }

并将其更改为：

    template< class T >
    inline long is_char_ptr( T const& /* r */ )  // <-- add const&
    {
        return 0L;
    }

我绝不是复杂模板库实现方面的专家（我使用它们，我不使用它们）写下它们），所以我不声称此更改不会导致其他一些令人讨厌的副作用。