Шаблонный функтор C ++ в лямбда-выражении - PullRequest
Новая
       18

Шаблонный функтор C ++ в лямбда-выражении

3 голосов
/ 26 февраля 2010

Эта первая часть была решена комментариями Эрика ниже, но привела ко второму вопросу, который я описал после горизонтального правила. Спасибо, Эрик!

Я пытаюсь передать функтор, который является шаблонным классом, в метод create_thread класса boost thread_group вместе с двумя параметрами для функтора. Однако я не могу выйти за пределы моей текущей ошибки компиляции. С кодом ниже: 

#include <boost/lambda/lambda.hpp>
#include <boost/lambda/bind.hpp>
#include <boost/thread.hpp>
#include <vector>

using namespace boost::lambda;
using namespace std;

namespace bl = boost::lambda;

template<typename ftor, typename data>
class Foo
{
public:
    explicit Foo()
    {
    }
    void doFtor ()
    {
        _threads.create_thread(bind(&Foo<ftor, data>::_ftor, _list.begin(), _list.end()));
        //_threads.create_thread(bind(_ftor, _list.begin(), _list.end()));
        _threads.join_all();
    }

private:
    boost::thread_group _threads;
    ftor _ftor;
    vector<data> _list;
};

template<typename data>
class Ftor
{
public:
    //template <class Args> struct sig { typedef void type; }

    explicit Ftor () {}

    void operator() (typename vector<data>::iterator &startItr, typename vector<data>::iterator &endItr)
    {
        for_each(startItr, endItr, cout << bl::_1 << constant("."));
    }
}

Я также попробовал typedef-ing 'type', так как думал, что моя проблема может быть связана с шаблоном Sig, так как сам функтор является шаблонным.

Я получаю ошибку: 

error: no matching function for call to ‘boost::lambda::function_adaptor<Ftor<int> Foo<Ftor<int>, int>::*>::apply(Ftor<int> Foo<Ftor<int>, int>::* const&, const __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int>> >&, const __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >&)’

с кучей преамбул заранее.

Заранее спасибо за любую помощь!

Хорошо, я изменил код, принимая предложения Эрика ниже, приведя к следующему коду: 

#include <boost/lambda/lambda.hpp>
#include <boost/lambda/bind.hpp>
#include <boost/thread.hpp>
#include <vector>

using namespace boost::lambda;
using namespace std;

namespace bl = boost::lambda;

template<typename ftor, typename data>
class Foo
{
public:
    explicit Foo()
    {
    }
    void doFtor ()
    {
        _threads.create_thread(bl::bind(boost::ref(_ftor), _list.begin(), _list.end()));
        _threads.join_all();
    }

private:
    boost::thread_group _threads;
    ftor _ftor;
    vector<data> _list;
};

template<typename data>
class Ftor
{
public:
    typedef void result_type;

    explicit Ftor () {}

    result_type operator() (typename vector<data>::iterator &startItr, typename vector<data>::iterator &endItr)
    {
        for_each(startItr, endItr, cout << bl::_1 << constant("."));
        return ;
    }
};

Однако это приводит к другой ошибке компиляции: 

/usr/local/include/boost/lambda/detail/function_adaptors.hpp:45: error: no match for call to ‘(Ftor<int>) (const __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >&, const __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >&)’
ftor.h:41: note: candidates are: void Ftor<data>::operator()(typename std::vector<data, std::allocator<_CharT> >::iterator&, typename std::vector<data, std::allocator<_CharT> >::iterator&) [with data = int]
/usr/local/include/boost/lambda/detail/function_adaptors.hpp:45: error: return-statement with a value, in function returning 'void'

Кажется, определив void как result_type, теперь он ожидает, что оператор () вернет что-то. Я попытался вернуть result_type из функции, но это также вызвало ошибки. Есть идеи?

1 Ответ

0 голосов
/ 26 февраля 2010

Sig (или в вашем случае просто typedef void result_type; необходимо.

IIRC, lambda :: bind создает постоянные копии своих аргументов.

Таким образом, существует проблема с функторами с неконстантным оператором (). Это решается путем создания Ftor :: operator () const или путем переноса (в doFtor ()), _ftor with boost :: ref

Существует похожая проблема с итераторами. Обтекание в boost :: ref здесь не будет работать напрямую, потому что в конечном итоге будет использоваться ссылка на временный объект. Более простое решение состоит в том, чтобы модифицировать Ftor :: operator () так, чтобы его аргументы копировались.

Таким образом, самое простое - модифицировать Ftor так, чтобы его оператор () был константным , а он получал аргументы в виде копии: 

void operator() (typename vector<data>::iterator startItr, typename vector<data>::iterator endItr)const

Если вы действительно не можете сделать Ftor :: operator () const, вы можете изменить doFtor () следующим образом (но все равно необходимо заставить Ftor :: operator () принимать его аргументы при копировании): 

_threads.create_thread(bind(boost::ref(_ftor), _list.begin(), _list.end()));
...