具有多个模板类型的C模板函数显式专门化

Question

我想用两种模板类型编写一个模板化函数：一种是bool，另一种是typename，我想专门研究typename。

这就是我想要的，但只针对T的几种类型：

template<bool b, typename T>
void foo(T val)
{
   // do different stuff based on b and type of T.
}

没有bool在那里，我可以做这样的事情：

template<typename T>
void bar(T val) {
    static_assert(false, "not implemented");
}

template<>
void bar<short>(short val) {
    printf("it's a short!\n");
}

我搞不懂这句话的语法，而专门化方面的微软文档只涉及单一类型的情况。

Answer 1

template<bool B, typename T>
void foo(T const&)
{
    static_assert(false, "not implemented");
}

template<bool B>
void foo(short)
{
    printf("it's a short!\n");
}

然而，这并不是真正的专业化，而是超载，这是完全合适的。事实上，你可以忽略一般情况。