Ｃ++ ＴＥＭＰＬＡＴＥ中有如下一段程序,看它的解释是可以演绎的,但我用的ｖｓ２００８怎么也编译通过不了,不知道什么原因,代码和解释都在下面,望前辈指正.

template <int N>
class X {
  public:
    typedef int I;
    void f(int) {
    }
};
//
template<int N>
void fppm(void (X<N>::*p)(typename X<N>::I));

int main()
{
    fppm(&X<33>::f);  // fine: N deduced to be 33
}

这是编译结果:
Error    1    error LNK2019: unresolved external symbol "void __cdecl fppm<33>(void (__thiscall X<33>::*)(int))" (??$fppm@$0CB@@@YAXP8?$X@$0CB@@@AEXH@Z@Z) referenced in function _main    fppm.obj
Error    2    fatal error LNK1120: 1 unresolved externals    E:\C++Templates_examples\projects\fppm\Debug\fppm.exe

template<int N>
void fppm(void (X<N>::*p)(typename X<N>::I));

只声明不定义，连接错误

楼上的没给出答案呀，函数的定义当然有了，你看程序了么？

函数模板一般内联实现，你试一下

请楼主注意，模板类一般要内联实现。

许多编译器都不支持分离模式。
我的编译器也不行。但不知道vc2008是否可以？
你试着用内联实现，试试看！

祝你好运！
有结果说一下。
谢谢

void fppm(void (X<N>::*p)(typename X<N>::I)){}; //这里加括号能编译通过               

fppm(&X<33>::f);  // fine: N deduced to be 33

但这两句，看了半天还真没看懂什么意思
第一句括号里有点像是函数指针 void (X<N>::*p)(typename X<N>::I)
但X<N>::*p这个用法是什么意思？再说p也没定义，突然冒出个p而且作用域符后跟取值符，好诡异的用法
还有typename 我见书上最多只是在模板参数里用到，今天第一次见到这样用的

还有就是 &X<33>::f 这个，看上去有点像取 函数f的地址，但我好像记得 函数指针不用加取地址符啊,真的好诡异

谁能帮忙解释一下这两句是什么意思？

函数的形参是一个类成员函数指针，就是那个P。&x<33>::f取类的成员函数指针。

Typename 是让编译器能够推导这是一个类型，否则编译器认为这是一个静态成员，

现在感觉6楼的方法似乎可行，回去试下，也可能是文献的代码写错了，或年代比较老，原版是02年的，编译器这几年改进很多。例如它将以模板作为参数的模板两个尖括号要留空格，否则将认为是移位，但我的编译器却是不用空格的。再次感谢各位兄弟的帮忙，有了结果我一定贴出来。

似乎迷失的木桶讲的很有道理，佩服！！！