将函数作为参数传递给模板类的模板方法

passing function as parameter to template method of template class

本文关键字：模板方法 函数 参数传递      更新时间：2023-10-16

以下代码看起来合法，但不编译

void f() {}
template<bool>
struct call_any
{
    template<typename F>
    static void call(F f) {}
};
template<bool B>
void call_f()
{
    call_any<true>::call<void (&)()>(f);  // OK
    call_any<false>::call<void (&)()>(f); // OK
    call_any<B>::call<void()>(f);         // OK
    call_any<B>::call<void (&)()>(f); // expected primary-expression before '>'
}

为什么会出现错误，这意味着什么？

当处理依赖于模板中模板参数的类型时，编译器不知道该类型的成员是什么类型的。除非您另有指定，否则会假定成员不是类型，也不是模板。因此，它试图将<视为小于运算符，但当表达式到达>时，就不可能以这种方式解析表达式了。

为了消除错误，你应该使用这个代替：

call_any<B>::template call<void (&)()>(f);

这告诉编译器call是一个模板，因此它应该将<视为模板参数的开始，而不是常规的小于运算符。

这也应该使用template：

call_any<B>::call<void()>(f);

你没有在这行看到错误的唯一原因是有一种方法可以将其解析为非模板：

(call_any<B>::call < void() ) > (f);

虽然很奇怪，但它在语法上是有效的，所以编译器越过了这一行，你看到的第一个错误就是你提到的那个错误。然而，如果没有template关键字，一旦call_f被实际实例化，您最终会得到一个错误（可能有一些奇怪的工作方式）。

前两个示例在不使用template关键字的情况下是可以的。由于类型不依赖于模板参数，因此可以确定call是正在解析call_f的模板。

你可能会问："为什么编译器不能弄清楚它是一个模板？我在上面的代码中已经把它定义为模板了！"。问题在于专业化。您可以专门化模板，并执行与主模板指定的完全不同的操作：

template<>
struct call_any<false>
{
    static const int call = 5;
};

即使在定义了call_f之后，这种专门化也可能发生，因此编译器在解析call_f时不能依赖于call_any的主模板所说的内容。

相关文章：