C++模板函数偏特化方法

场景#

使用C++编写模板函数希望特化某个模板参数的行为，可以采用std::enable_if进行偏特化。

实现#

先熟悉std::enable_if的规则

template< bool B, class T = void >
struct enable_if;

当B = True时std::enable_if<B,T>::type等效于类型T
当B = False时成员变量type不存在

例子#

以幂函数pow()为例

template <size_t N, typename T, typename std::enable_if<(N == 0)>::type = 0>
constexpr T Pow(T) noexcept
{
    return static_cast<T>(1);
}

考虑到void*通用指针，上例亦可使用::type* = nullptr进行限定

参考#

std::enable_if - cppreference.com
c++ - How does std::enabled_if work when enabling via a parameter - Stack Overflow