模板扣除
Template deduction
我有这种奇怪的(对我来说)行为,我无法解释,我希望有你的评论,请看看下面的代码:
void detach(callback_function_ptr const& ptr) {
observers.erase(remove_if(
observers.begin(),
observers.end(),
[&ptr](callback_function_ptr const& ptr2) {
return ptr.target<void(worker*)>() == ptr2.target<void(worker*)>();
}
));
}
当调用'target'时,我需要指定我想要使用哪个,否则我会得到这个编译错误:
test.cpp:47:44: error: no matching function for call to 'std::function<void(worker*)>::target() const'
这对我来说是可以理解的,我想我可以通过准备这样一个小的'助手'来避免每次指定我想要的'目标'函数:
template<typename T>
worker_ptr get_target(const function<T>& callback) {
return callback.target<T>();
}
这看起来是一个合理的解决方案(对我来说:)),但不起作用:
test.cpp: In member function 'void (worker::* worker::get_target(const std::func
tion<T>&))(worker*)':
test.cpp:18:27: error: expected primary-expression before '>' token
return callback.target<T>();
^
test.cpp:18:29: error: expected primary-expression before ')' token
return callback.target<T>();
^
嗯,这里我没有抓住问题,为什么不是有效的?即使我使用void(worker*)而不是T,编译错误仍然存在:
test.cpp:18:26: error: expected primary-expression before 'void'
return callback.target<void(worker*)>();
^
test.cpp:18:26: error: expected ';' before 'void'
test.cpp:18:26: error: expected primary-expression before 'void'
test.cpp:18:26: error: expected ';' before 'void'
我以前在"分离"函数中使用过void(worker*),没有问题,为什么这里不工作?在这种情况下,模板类型推导和函数调用解析究竟是如何表现的?
谢谢你的帮助
应该是(加上额外的template
):
template<typename T>
worker_ptr get_target(const function<T>& callback)
{
return callback.template target<T>();
}
相关文章:
- 没有找到相关文章