C++中使用模板传递函数类型


首先看了常用的写法：

  1. int fi(char){
  2. return 1;
  3. }
  5. int main(){
  7. int (*pf)(char)=fi;
  9. //以下两种函数调用方式,没有区别
  10. pf('a');//ok
  11. (*pf)('a');//ok
  13. return 0;
  14. }

是的，你可能就此以为函数指针在调用的时候，是否解引用都无所谓了吧？我跟你想得一样，是的，这是对的，但是注意我前面的用词“函数指针在调用的时候，是否解引用都无所谓”，那么还可能在什么情况下使用函数指针呢？没错，就是“使用模板传递函数类型”的时候！

来看下面一个例子：

  1. template<typename T>
  2. class C{
  3. public:
  4. C(T _t){
  5. _t('a');//ok
  6. (*_t)('a');//ok
  8. T *t1=_t;//ok
  9. t1=_t;
  10. //(*t1)=_t;//compile error!assignment of read-only location
  11. //T t2=_t;//compile error!variable 't2' has function type
  12. }
  13. };
  15. int fi(char){
  16. return 1;
  17. }
  19. int main(){
  21. C<int(char)> c(fi);//使用模板传递函数类型
  23. return 0;
  24. }

int(char)是使用模板传递函数类型，c(fi)给C的构造函数传递函数指针fi，对fi的调用，可以使用_t('a')和(*_t)('a')两种方式（当然，你也可以在main函数中使用fi('a')和(*fi)('a')调用函数fi），但是对于int(char)类型的变量t2，却无法复制构造，只能使用指针赋值方式。

在对int(char)函数类型变量赋值时，它表现得像是一个函数常量（就像函数名f1一样），而如果对其指针的引用赋值时，它表现得像typedef int(*const constPF)(char)一样。所以，它更像是一个“constructor、copy constructor和operator=”都为private的class，即无法创建它的实例、无法对它的实例初始化或赋值。只能对它的指针进行初始化和赋值然后使用。

相关内容