当内部函数本身是泛型时，在 C 中定义泛型函数会遇到挑战。本文探讨了使用模板模板参数来克服此障碍的解决方案。
请考虑以下说明问题的代码片段：
<code class="cpp">template<typename T>
void a(T t) {
// do something
}
template<typename T>
void b(T t) {
// something else
}
template< ...param... > // ???
void function() {
param<SomeType>(someobj);
param<AnotherType>(someotherobj);
}
void test() {
function<a>();
function<b>();
}</code>确定如何正确定义函数模板会出现困难。为了解决这个问题，我们采用了一种称为“模板模板参数”的技术。
模板模板参数使我们能够将模板函数作为参数传递给其他模板。这提供了创建对特定模板函数集进行操作的通用函数的灵活性。
但是，有一个问题：我们不能直接将模板函数作为类型传递。相反，我们必须使用虚拟结构的解决方法。
以下代码示例了解决方法：
<code class="cpp">template <typename T>
struct a {
static void foo (T = T ())
{
}
};
template <typename T>
struct b {
static void foo (T = T ())
{
}
};
struct SomeObj {};
struct SomeOtherObj {};
template <template <typename P> class T>
void function ()
{
T<SomeObj>::foo ();
T<SomeOtherObj>::foo ();
}
int main ()
{
function<a>();
function<b>();
}</code>虚拟结构 a 和 b 服务作为模板函数的占位符。他们提供了一个什么都不做的方法 foo，主要是为了满足语法要求。
函数模板接受一个模板模板参数 T，它指定要执行的模板函数的类型。然后，它为两种不同类型的对象 SomeObj 和 SomeOtherObj 调用 foo。
通过使用这种方法，我们可以定义以灵活且类型安全的方式对一组模板函数进行操作的泛型函数。
以上是我们如何在 C 中编写一个接受模板函数作为参数的通用函数？的详细内容。更多信息请关注PHP中文网其他相关文章！
