20120906

template <int N>
class X {
public:
    typedef int I;
    void f(int) {
        std::cout << "f!" << std::endl;
    }
};

template <int N>
void fppm (void (X<N>::*p)(typename X<N>::I) );        //此处调用了一个函数

int main() {
    fppm(&X<33>::f);
}

上面第11行的调用中，fppm的参数是一个函数。 void 是返回值， (X<N>::*p) 是函数名， (typename X<N>::I>)是函数的参数，对应第4行的定义 X<N>::I 可知 此处表示 int

因此对11行相当于 void fppm (void f(int) )

template <typename T>
void f(T){
    std::cout << "T" << std::endl;
}
template<>
void f(double) {
    std::cout << "double" << std::endl;
};

void (*df) (double) = &f;       //此处实例化了一个double版的 f 函数

df(111);                        //输出 double
df('a');                        //输出 double   
df(2.33);                       //输出 double

模版实参演绎只能应用于函数模版和成员函数模版， 不能应用于类模版。对于类模版的构造函数也不能根据实参来演绎类模版参数。只能手工指定。

函数模版可以指定缺省函数调用实参，但不能根据缺省实参演绎模版参数。

template<typename T>
void init(T* loc, T const& val = T() ){
    *loc = val;
}

init(12, 13);                   //指定参数，未调用缺省值
init(12);                       //为指定第二个参数，调用缺省值，模版参数根据第一个参数演绎

template<typename T>
void f (T x = 11){
}

f<int> ();                     //模版参数指定为int，调用缺省值x=11
f ();                          //错误，模版参数无法根据缺省值演绎