如何在 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
};

在此示例中，编译器在尝试使用 tag 显式特化成员函数 f 时会引发错误。要解决此问题，有必要将显式专业化移到类之外，但适当的语法并不是立即显而易见的。

提供的解决方案建议使用带有静态成员函数的辅助结构体来将调用转发到专用成员function:

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);
    }
};

通过这种方法，显式特化包含在非嵌套结构中，满足显式特化语法的要求。

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