在 C 中使用模板模板参数
考虑一个场景，您有多个函数，例如 a() 和 b()，使用不同的内部实现执行类似的任务。为了避免代码冗余，您可以使用模板创建通用函数。但是，如果 a() 和 b() 本身是泛型的，则将外部函数实现为模板可能还不够。
在这种情况下，您可以诉诸模板模板参数。虽然模板通常接受类型、模板类型参数或值，但您不能直接将模板模板函数作为类型传递，因为它需要实例化。
要克服这个问题，您可以使用涉及虚拟结构的解决方法：
<code class="cpp">template <typename T>
struct a {
static void foo() {}
};
template <typename T>
struct b {
static void foo() {}
};</code>这些结构充当模板模板参数的占位符。函数本身变成：
<code class="cpp">template <template <typename P> class T>
void function() {
T<SomeObj>::foo();
T<SomeOtherObj>::foo();
}</code>现在，您可以通过传递适当的虚拟结构模板来将泛型函数与 foo() 的不同实现一起使用：
<code class="cpp">int main() {
function<a>();
function<b>();
}</code>虽然函数指针提供了在这个特定场景中，模板参数提供了更简单的解决方案，为需要具有多种实现的通用功能的问题提供了更通用的解决方案。
以上是如何使用模板模板参数创建具有多种实现的泛型函数？的详细内容。更多信息请关注PHP中文网其他相关文章！
