c++函数指针转换为函数版

我们的目的,是想通过推导函数指针,从而得到函数指针的相应函数<>版:

元<类 T>构 函征;
//少打一个构.注意,不要少构字,不然报错.

元<类 R,类...O>构 函征<R(O...)>{
    枚{个数=型长...(O)};
    又 R 函型(O...);用 果型=R;
    用 S=函数<函型>;又 R(*针)(O...);
};//O为参数.S为函数,重要的,就是这个S

//函数指针,特化版.
元<类 R,类...O>
构 函征<R(*)(O...)>:函征<R(O...)>{};

元<类 T>用 函针=函征<T>::S;
//这里T为指针型.指针转为`函数类型`.

使用时:

元<动 F,动...M>静 动&批函(){
    用 G=函针<推导(F)>;//这里,
    向量<G>e;...;中 e;
}

这样,就可以根据函数指针得到相应的函数<>版类型.

进一步改进为:

元<动 T>用 函针=函征<推导(T)>::S;
//调用时,这样:
用 G=函针<F>;//这里,