c变量模板的错误

Question

我有以下代码使用可变参数模板来调用std：：async，

struct TestParent
{
    template< typename Fn, typeName ...Args >
    bool checkBlock( bool& toCheck,
                     Fn&& fn, Args&& ... args )
    {
        int startIndx = 0;
        int endIndx = 10;
        std::future< bool > tk( std::async( std::launch, fn, this,
                                            startIndx, endIndx, 
                                            toCheck, args ... ) );
        return tk.get();
     }
}

struct TestChild: public TestParent
{
    bool checkRules( const int, const int, bool& std::vector< bool >& );
    bool check();
}

bool TestChild::checkRules( const int startIndx, const int endIndx,
                            bool& toCheck,
                            std::vector< bool >& results )
{
    toCheck = true;
    for ( int indx = startIndx; indx < endIndx; ++ indx )
    {
        bool checkedOk;
        ... do something checking.
        results.push_back( checkedOk );
    }

    return true;
 }

bool TestChild::check()
{
    bool toCheck;
    std::vector< bool > results;
    return checkBlock( toCheck, &testChild::checkRules, this, &results);
}

但我收到以下编译错误消息：

没有用于调用“async(std::launch，bool (TestChild::

我认为这可能与我传递其他参数以及参数包的事实有关。任何人都知道这有什么问题，我应该做些什么来让它发挥作用？

Answer 1

return checkBlock( toCheck, &testChild::checkRules, this, &results);

您正在将this与您的Args一起传递，它与您的参数与您的函数不匹配，因此有一个额外的TestUNICEF*

return checkBlock( toCheck, &testChild::checkRules, ~~this~~, &results);

就是去掉~~这个~~

此外，您应该std::forward您的< code>Args如下所示:

                                        toCheck, std::forward<Args>(args) ... ) );

Answer 2

这是守则中的两个主要问题:

(1) std::async在将所有传递的参数转发到提供的函数之前衰减它们，这意味着< code>checkRules中的references参数不同于< code>async在调用函数时试图使用的类型，您需要进行以下更改:

template< typename Fn, typename ...Args >
bool checkBlock( std::reference_wrapper<bool> const& toCheck,
                Fn&& fn, Args&& ... args )
{
    int startIndx = 0;
    int endIndx = 10;
    std::future< bool > tk(std::async(std::launch::async,
                                       std::forward<Fn>(fn),
                                       startIndx, endIndx,
                                       toCheck,
                                       std::forward<Args>(args) ... ) );
    return tk.get();
}

（2） 您将＜code＞this＜/code＞作为参数传递给＜code＞checkBlock＜/code＞它最终将作为＜code＞检查规则＜/code＞的参数（通过异步调用），但成员函数不接受＜code＞TestChild*异步，因此需要使用std:：bind来绑定此参数，并使用std:：wrap来修改参数：

#include <functional>
using namespace std::placeholders;

bool TestChild::check()
{
    bool toCheck;
    std::vector< bool > results;
    return checkBlock( std::ref(toCheck), std::bind(&TestChild::checkRules, this, _1, _2, _3, _4), std::ref(results));
}