首页 文章

使用std :: function和std :: bind时，模板参数推导/替换失败

提问于
浏览 次
22

在模板化成员函数中使用std :: function时出现编译错误，以下代码是一个简单示例：

#include <functional>
#include <memory>
using std::function;
using std::bind;
using std::shared_ptr;

class Test {
public:
     template <typename T>
     void setCallback(function<void (T, int)> cb); 
};

template <typename T>
void Test::setCallback(function<void (T, int)> cb)
{
    // do nothing
}

class TestA {
public:
    void testa(int a, int b) {   }
};


int main()
{
    TestA testA;
    Test test;
    test.setCallback(bind(&TestA::testa, &testA, std::placeholders::_1, std::placeholders::_2));
    return 0;
}

并带来以下编译错误：

testtemplate.cpp：在函数'int main（）'中：testtemplate.cpp：29：92：错误：没有匹配函数用于调用'Test :: setCallback（std :: _ Bind_helper）（int，int），TestA，const std :: _ Placeholder <1>＆，const std :: _ Placeholder <2>＆> :: type）'testtemplate.cpp：29：92：注意：候选者是：testtemplate.cpp：10：7：注意：模板void测试:: setCallback（std :: function）testtemplate.cpp：10：7：注意：模板参数推断/替换失败：testtemplate.cpp：29：92：注意：'std :: _ Bind（TestA *，std :: _ Placeholder < 1>，std :: _ Placeholder <2>）>'不是从'std :: function'派生的

我正在使用C 11和g 4.7

c++ function templates bind

2 回答

  • 0

    要找出问题，请单独声明：

    auto f = bind(&TestA::testa, &testA, _1, _2); // OK
test.setCallback(f);                          // <<--- Error is here

    setCallback 需要知道 T 的类型，它不能从 f 推断出来，所以给它一个类型

    test.setCallback<TYPE>(f); // TYPE: int, float, a class, ...
    回复于
  • 11

    您可以使用以下某些变体进行类型推导：

    template<typename CALLBACK>
void setCallback(CALLBACK cb) {
  typedef CALLBACK::first_argument_type T;
  static_assert(is_same_type<CALLBACK,function<void(T,int)>>::value);
  ...
}

    这样可以通过查看参数来确定CALLBACK . 如果bind实际上不返回std :: function而是可以作为一个转换的东西，它可能会遇到麻烦 . 我不确定 .

    回复于

相关问题