C++如何简化此模板，使其不是专门化的？

template <typename T = int>
void foo() {
    // 函数实现
}

void foo(int x) {
    // 函数实现
}

void foo(double x) {
    // 函数实现
}

class Base {
    // 基类定义
};

template <typename T>
class Derived : public Base {
    // 模板类定义
};

void foo(Base* obj) {
    // 函数实现
}

template <int N>
struct Factorial {
    static const int value = N * Factorial<N - 1>::value;
};

template <>
struct Factorial<0> {
    static const int value = 1;
};

int result = Factorial<5>::value;  // 编译期间计算5的阶乘