关于定义一个模板形式的函数指针类型的相关问题

2005-09-02 02:33:10 337 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

C++11 using类型别名：现代模板编程的核心利器类型别名是编程语言中提升代码可读性的重要机制，C++通过typedef和using两种语法实现这一功能。从编译原理角度看，类型别名在语义分析阶段进行处理，不会影响最终生成的机器码。C++11引入的using声明相比传统typedef具有显著优势：支持模板参数、语法更符合直觉、特别适合元编程场景。在工程实践中，using常用于简化STL容器声明、统一跨平台类型、构建类型特征模板等场景。通过模板别名特性，开发者可以创建std::enable_if_t这样的工具类型，极大提升了模板代码的可维护性。现代C++项目应阅读详情

关于定义一个模板形式的函数指针类型的相关问题

想写一个自己的通用排序函数，由于使用模板，
所以想把排序用的比较函数的函数指针也写成模板形式，
这里有点搞不懂了，怎么定义一个模板形式的函数指针类型？如(*)
这样以便比较时传入这个对应类型的比较函数指针。

下面这个程序就想用这个想法，但是(*)处编译不过，始终报错"模板不合法"。
请教各位朋友。

template<typename T>
typedef int (*fcmptype)(const T& t1,const T& t2);//(*)

template<typename T>
int mysort(T[] tarr,fcmptype f)
{
//.. 使用f来比较T[]内部元素大小
return 0;
}

int main(int argc, char* argv[])
{
//int[] t=new int[100];
//...
//mysort(...)
getchar();
return 0;
}

...全文

C++模板进阶：非类型参数、特化与分离编译实战解析 C++泛型编程通过模板实现类型无关的通用算法与数据结构，其核心原理是编译期代码生成，这为高性能库开发提供了基础。模板的技术价值在于提升代码复用性、类型安全性和运行效率，广泛应用于STL容器、算法库及元编程等场景。深入理解非类型模板参数允许在编译期传递常量值，是实现`std::array`等固定大小容器的关键；而模板特化则能针对特定类型（如`const char*`）定制行为，解决通用方案的局限性。本文聚焦于**非类型模板参数**与**模板特化**两大进阶主题，结合工程实践，解析如何避免分离编译陷阱，助力开发阅读详情

ilovett

C++ 语言 65,214 成员 250,514 内容

+ 关注 + 加入社区

切换为时间正序

ilovett 2005-11-17

打赏
举报

ilovett 2005-09-05

打赏
举报

谢谢各位，特别是 junguo：
to junguo:
您的
template<typename T>
T print(T i)
{
cout << i << endl;
}
template<typename T,int size,typename Opteration>
int mysort(T (&tarr)[size],Opteration f)
{...}
很好，其实我的目的是想定义一种函数指针的模板类型，用于规格化送入的函数f的原型
比如这样定义：
template<typename T>
typedef int _cmp(const T& t1,const T& t1);
可以定义送入的函数f满足送入的参数满足
1)两个同类型的用于比较的const量的引用
2)返回一个int
而您送入的是Opteration 没有任何的限制，不知道能否实现这个函数指针的模板类型?
非常感谢您的帮助，我还要继续请教一下。

to foochow:
谢谢提醒，我正在查这方面的书，没有看到相关的例子，如果你知道请说出来，谢谢！

foochow 2005-09-02

打赏
举报

自己看看STL的书啊,上面好多这样的例子....

lyclowlevel 2005-09-02

打赏
举报

再不是的话，改成以下就可以了：
#include <iostream>
using namespace std;
template<typename T1,typename T2>
int mysort(T1* tarr,int(*pfunc)(const T2 &a,const T2 &b))
{
//.. 使用f来比较T[]内部元素大小
return 0;
}

int main(int argc, char* argv[])
{
//int[] t=new int[100];
//...
//mysort(...)
getchar();
return 0;
}
在我的电脑上通过。

lyclowlevel 2005-09-02

打赏
举报

to lyclowlevel:在(*)处就编译不过了，是定义模板形式的函数指针类型的问题。
==========================================================================
应该是你的编译器的问题，我在vc6.0时，按我的改法可以的。

bugebear3 2005-09-02

打赏
举报

有点复杂

我以前在C下写过用函数指针来实现通用的哈希算法,对模板不熟悉,关注...

junguo 2005-09-02

打赏
举报

#include <iostream>
using namespace std;
template<typename T>
T print(T i)
{
cout << i << endl;
}

void printchar(char c)
{
cout << c << endl;
}
template<typename T,int size,typename Opteration>
int mysort(T (&tarr)[size],Opteration f)
{
//.. 使用f来比较T[]内部元素大小
for ( int i = 0;i<size;i++)
f(tarr[i]);
return 0;
}

int main(int argc, char* argv[])
{
int t[5]={1,2,3,4,5};;//=new int[100];
//...
//mysort(...)
char d[5] ={'a','b','c','d','e'};
mysort(t,print<int>);
mysort(d,print<char>);
getchar();
return 0;
}
你的意思是不是这个？

ilovett 2005-09-02

打赏
举报

to lyclowlevel:在(*)处就编译不过了，是定义模板形式的函数指针类型的问题。
to junguo:
感谢您的回答，您的代码中的确也传入了不同的函数，达到了相应的效果。
int print(int i){ cout << i << endl;}
void printchar(char c){ cout << c << endl;}
但是我想问的就是怎么用模板的形式表达您的int,char，定义一个模板
比如
template<typename T>
typedef int _print(const T& t);
然后再利用这个模板来定义各个具体的类型的函数
e.g.
_print<char> printchar;
_print<int> printint;
但这样编译不过，我不知道模板形式的函数指针类型怎么写出来，继续请教！

lyclowlevel 2005-09-02

打赏
举报

int mysort(T[] tarr,fcmptype f)
//其中的 T[] tarr是什么意思?应该是T*tarr吧？

如果将它改成：
int mysort(T* tarr,fcmptype f)
就可以了。

junguo 2005-09-02

打赏
举报

简单写了一下，是根据stl上的源码的解决方法改的！应该符合你所需的功能！

junguo 2005-09-02

打赏
举报

#include <iostream>
using namespace std;

int print(int i)
{
cout << i << endl;
}

void printchar(char c)
{
cout << c << endl;
}
template<typename T,int size,typename Opteration>
int mysort(T (&tarr)[size],Opteration f)
{
//.. 使用f来比较T[]内部元素大小
for ( int i = 0;i<size;i++)
f(tarr[i]);
return 0;
}

int main(int argc, char* argv[])
{
int t[5]={1,2,3,4,5};;//=new int[100];
//...
//mysort(...)
char d[5] ={'a','b','c','d','e'};
mysort(t,print);
mysort(d,printchar);
getchar();
return 0;
}

关于定义一个模板形式的函数指针类型的相关问题

相关推荐