如何在 C 模板类中正确显式地特化模板函数？-C++-PHP中文网

首页

后端开发

C++

如何在 C 模板类中正确显式地特化模板函数？

Barbara Streisand

Dec 05, 2024 pm 06:11 PM

How to Correctly Explicitly Specialize a Template Function within a C Template Class?

C 中模板类中模板函数的显式特化

在 C 中，使用模板类和函数时，可能需要在模板类中显式专门化模板函数。然而，为此找到正确的语法可能具有挑战性。

请考虑以下代码：

struct tag {};

template< typename T >
struct C
{   
    template< typename Tag >
    void f( T );                 // declaration only

    template<>
    inline void f< tag >( T ) {} // ERROR: explicit specialization in non-namespace scope
};

登录后复制

此代码在 Visual C 2008 中编译成功，但在 GCC 4.2 中编译失败，它尝试在 C 模板类中显式地将 f 函数专门化为标记类型。编译器错误表明在模板类中的非命名空间作用域中不允许显式专业化。

在模板类中显式专业化模板函数的正确方法是将调用转发到部分专业化类型。这可以使用辅助类来完成：

template<class T, class Tag>
struct helper {
    static void f(T);   
};

template<class T>
struct helper<T, tag1> {
    static void f(T) {}
};

template<class T>
struct C {
    // ...
    template<class Tag>
    void foo(T t) {
        helper<T, Tag>::f(t);
    }
};

登录后复制

在这段代码中，helper 是一个模板类，有两个模板参数：T（正在操作的对象的类型）和 Tag（专门化标签）。为 tag1 特化定义了 helper 的部分特化版本，它提供了 f 函数的实现。然后，C 模板类使用成员函数 foo 根据指定的标记将调用委托给适当的 helper::f 函数。

以上是如何在 C 模板类中正确显式地特化模板函数？的详细内容。更多信息请关注PHP中文网其他相关文章！

本站声明

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn