参数值相等时的模板特化

Question

我有表格的功能

template<int a, int b>
void f();

我想专攻 a == b。伪代码看起来像：

template<int a>
void f<a, a>(){ //something}

template<int a, int b>
void f<a, b>(){ //something different}

如果没有部分模板专业化问题，这可能吗？

编辑：感谢您的快速回复。该方法实际上是在一个类的内部，更像这样：

<typename a> class A{ 
    template<int b, int c> f(); 
}; 

A inst; 
inst.f<1,1>(); 
inst.f<1,2>(); 

Answer 1

您不能部分特化函数模板，但可以部分特化类模板。

这为以下技巧留下了空间，其中实际工作由主函数模板和专用函数模板的静态成员函数完成，您的原始 f() 函数将其职责委托给它们：

#include <iostream>

namespace detail
{
    template<int A, int B>
    struct helper
    {
        static void call() { std::cout << "f<A, B>()" << std::endl; }
    };

    template<int A>
    struct helper<A, A>
    {
        static void call() { std::cout << "f<A, A>()" << std::endl; }
    };
}

template<int a, int b>
void f()
{
    detail::helper<a, b>::call();
}

这就是您可以使用f() 函数模板的方式：

int main()
{
    f<1, 2>();
    f<1, 1>();
}

这是live example。

编辑：

如果你的函数模板是成员函数，事情会稍微复杂一些，但上面概述的将函数模板部分特化转换为类模板部分特化的解决方案仍然可行。

这就是基于example provided in the comments 的方式。

首先，前向声明helper类模板并授予其实例访问您的类模板A的私有成员的权限（附加类型参数T的作用稍后会变得清晰） ：

namespace detail
{
    template<typename T, int A, int B>
    struct helper;
}

template <typename a>
class A
{
public:
    template<int b, int c>
    void f();
private:
    template<typename, int, int> friend struct detail::helper;
};

然后您将像以前一样定义helper 类模板及其特化，但向call() 函数添加一个函数参数，该函数类型是操作原始成员函数f() 具有的类对象所必需的类型被调用：

namespace detail
{
    template<typename T, int A, int B>
    struct helper
    {
        static void call(T* p) { std::cout << "f<A, B>()" << std::endl; }
    };

    template<typename T, int A>
    struct helper<T, A, A>
    {
        static void call(T* p) { std::cout << "f<A, A>()" << std::endl; }
    };
}

然后你可以定义成员函数f()，如下所示：

template<typename a>
template<int b, int c>
void A<a>::f()
{
    detail::helper<A<a>, b, c>::call(this);
}

并最终以这种方式使用它：

int main()
{
    A<int> inst;
    inst.f<1,1>();
    inst.f<1,2>();
}

这一切都放在了这个live example中。