模板扣除

Template deduction

本文关键字:      更新时间:2023-10-16

我有这种奇怪的(对我来说)行为,我无法解释,我希望有你的评论,请看看下面的代码:

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>();
}
相关文章:
  • 没有找到相关文章