C++模板特化与重载解析技巧

template<typename T>
struct Box {
    void print() { std::cout << "Generic\n"; }
};
<p>// 全特化
template<>
struct Box<int> {
void print() { std::cout << "For int\n"; }
};</p>

template<typename T, typename U>
struct Pair {};
<p>// 偏特化：第二个参数为int
template<typename T>
struct Pair<T, int> {};</p>

void foo(double) { }                    // (1) 普通函数
<p>template<typename T>
void foo(T) { }                         // (2) 通用模板</p><p>template<>
void foo<int>(int) { }                 // (3) 特化版本</p><p>foo(42);     // 调用 (2)，因为 (3) 是特化但未被选为最佳匹配？</p>

template<typename T>
auto add(const T& a, const T& b) -> decltype(a + b) {
    return a + b;
}

template<typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
max(T a, T b) { return a > b ? a : b; }
<p>template<typename T>
typename std::enable_if<!std::is_integral<T>::value, T>::type
max(T a, T b) { /<em> floating-point version </em>/ }</p>

template<typename T> void func(T);        // #1
template<typename T> void func(T*);       // #2
<p>int x;
func(&x);  // 调用 #2？不一定！取决于 T 的推导结果</p>