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指针（正如您可能通过名称猜测的那样）。

不幸的是，匹配非char-pointer参数时返回0的'catch-all'函数模板按值获取其参数。

我认为可以通过更改参数来取代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;
    }

我绝不是复杂模板库实现方面的专家（我使用'em，我不写''），所以我没有声称这种改变不会导致其他一些令人讨厌的方面 - 效果。

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

1 个答案: