vc6中的模板偏特化
我们都知道,vc6模板不支持偏特化。
近日偶然心血来潮,偏要试试在vc6中也来实现一些偏特化才能够做到的例子。
先做一个简单的,求m,n的最大公约数。一般函数如下:
int gcd(int m, int n)
{
if (n == 0) return m;
return gcd(n, m%n);
}
使用模板偏特化(编译期求最大公约数)的代码如下:
template <int m, int n>
struct static_gcd
{
enum { value = static<n, m%n>::value };
}
template <int m>
struct static_gcd<m, 0>
{
enum { value = m };
};
由于vc6不支持偏特化,这段代码编译不过。不过我们可以绕过这个问题:
template <int m, int n>
struct static_gcd
{
template <int unused>
struct n_traits
{
enum { value = static_gcd<n, m%n>::value };
};
template <>
struct n_traits<0>
{
enum { value = m };
};
enum { value = n_traits<n>::value };
};