c – 使用boost :: variant iterator“无法转换参数”

我想创建一个函数,可以使用不同类型的迭代器来存储相同类型的对象：
第一个是包含shared_ptr< Foo>的std :: map. (typedef-ed as FooMap)另一个是std :: list,它还包含shared_ptr< Foo> (FooList).

我真的很喜欢the solution MSalters suggested for a similar question,并尝试实现boost :: variant迭代器,该函数将作为参数从第一个迭代到第二个迭代.

我的函数看起来像这样(简化了很多)：

set<Foo> CMyClass::GetUniqueFoos(FooIterator itBegin, FooIterator itEnd)
{
    set<Foo> uniques;
    for(/**/;
        apply_visitor(do_compare(), itBegin, itEnd);  // equals "itBegin != itEnd"
        apply_visitor(do_increment(), itBegin))       // equals "++itBegin"
    {
        // Exact mechanism for determining if unique is omitted for clarity
        uniques.insert( do_dereference< shared_ptr<Foo> >(), itBegin) );
    }

    return uniques;
}

FooIterator和访问者定义如下：

typedef
    boost::variant<
        FooMap::const_iterator,
        FooList::const_iterator>
    FooIterator;

struct do_compare : boost::static_visitor<bool>
{
    bool operator() (
        const FooMap::const_iterator & a,
        const FooMap::const_iterator & b) const
    { return a != b; }

    bool operator() (
        const FooList::const_iterator & a,
        const FooList::const_iterator & b) const
    { return a != b; }
};

struct do_increment: boost::static_visitor<void>
{
    template<typename T>
    void operator()( T& t ) const
    { ++t; }
};

template< typename Reference >
struct do_dereference: boost::static_visitor<Reference>
{
    template<typename T>
    Reference operator()( const T& t ) const
    { return *t; }
};

我得到了上面的大部分from the attachment of this mail.根据MSalters的回答,该解决方案也使用适配器和策略,这看起来有点太多了,所以我不想简单地复制该代码.特别是因为我只了解它的一部分.

使用上面的代码我从VS2008得到以下编译器错误(这只是总共160行的前几行,我觉得这里发布的内容太多了;但是我很乐意添加它们如果有人想要看到这一切)：

1>c:\boost\boost\variant\detail\apply_visitor_binary.hpp(63) :
 error C2664: 'bool CMyClass::do_compare::operator ()(
 const std::list<_Ty>::_Const_iterator<_Secure_validation> &,
 const std::list<_Ty>::_Const_iterator<_Secure_validation> &) const' :
 cannot convert parameter 1 from 'T0' to
 'const std::list<_Ty>::_Const_iterator<_Secure_validation> &'
1>        with
1>        [
1>            _Ty=shared_ptr<Foo>,
1>            _Secure_validation=true
1>        ]
1>        Reason: cannot convert from 'T0' to 'const std::list<_Ty>::_Const_iterator<_Secure_validation>'
1>        with
1>        [
1>            _Ty=shared_ptr<Foo>,
1>            _Secure_validation=true
1>        ]
1>        No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called
1>        c:\boost\boost\variant\variant.hpp(806) : see reference to function template instantiation 'bool boost::detail::variant::apply_visitor_binary_invoke<Visitor,Value1>::operator ()<T>(Value2 &)' being compiled
1>        with
1>        [
1>            Visitor=const CMyClass::do_compare,
1>            Value1=T0,
1>            T=T1,
1>            Value2=T1
1>        ]
[...]

我究竟做错了什么？

解决方法:

我怀疑你的do_compare static_visitor上缺少案例.记住,变体可能有任何东西,所以你需要所有可能的组合,比如将FooList :: const_iterator与FooMap :: const_iterator进行比较.它抱怨,因为编译器试图找到一些匹配的情况,并且无法将FooMap :: const_iterator转换为FooList :: const_iterator.

锤击它：

struct do_compare : boost::static_visitor<bool>
{
    bool operator() (
        const FooMap::const_iterator & a,
        const FooMap::const_iterator & b) const
    { return a != b; }

    bool operator() (
        const FooList::const_iterator & a,
        const FooList::const_iterator & b) const
    { return a != b; }

    bool operator() (
        const FooMap::const_iterator & a,
        const FooList::const_iterator & b) const
    { return false; }

    bool operator() (
        const FooList::const_iterator & a,
        const FooMap::const_iterator & b) const
    { return false; }
};

这是一个带模板的版本：

template <typename A, typename B>
bool operator() (
    const A & a,
    const B & b) const
{ return false; }

template <typename A>
bool operator() (
    const A & a,
    const A & b) const
{ return a != b; }

它正在编写,但我不是100％它会工作,因此需要进行一些测试.除了更干净,更通用的代码之外,它不应该有任何影响,只要它有效.

标签：visual-c-2008,c,iterator,boost-variant
来源： https://codeday.me/bug/20190827/1743367.html