如何将模板参数的函数传递改写成长尾形式？

本文共计406个文字，预计阅读时间需要2分钟。

我将以下代码进行简化：

cppvoid A() { return 0; }void Test() { auto B2=Bint(&A)(); A();}int main() { Test();}

这段代码中，`A` 是一个返回整型的函数，`Test` 函数中创建了一个匿名函数 `B2`，它调用了 `Bint` 函数，并将 `A` 的地址作为参数传递。`main` 函数中调用了 `Test` 函数。但代码中缺少了 `Bint` 函数的定义。

我试图将一个函数作为参数传递给模板类 – 目标是然后我可以将任何函数作为参数传递并实现不同的功能：

int A() { return 0; } void Test() { auto B2 = B<int(*A)()>(&A); } int main() { Test(); }

但我正在收集编译问题：

$c++ -std=c++14 try.cpp try.cpp: In function 'void Test()': error: cast from 'int (*)()' to 'int' loses precision [-fpermissive] auto B2 = B<int(*A)()>(&A); ^ ^

如何使用任何返回类型的函数实例化B类并接受任何参数并解决编译？

您应该在自动B2 = …行中的模板参数中删除函数名称A,使其如下所示：

auto B2 = B<int(*)()>(A);

该名称不是类型说明符的一部分,并且类型是编译器在尝试实例化类模板时唯一查找的内容.您可以使用此代码段来引用函数的名称,并让编译器推断其类型：

auto B2 = B<decltype(&A)>(A);

请注意,您可以选择删除& A之前将它传递给B的构造函数(虽然不适用于decltype(& A)),因为它隐式转换为函数指针.