有没有人在实际编码中使用模版元编程？

2011-07-22 09:28:50 536 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

luciferisnotsatan 墨衍会员 · AI 创作全网分发关注 + 加入社区

GXHT40温湿度传感器：I2C通信与CRC校验实战解析本文详细解析GXHT40温湿度传感器的I2C通信协议与CRC校验机制，涵盖硬件连接、时序控制、数据读取及加热功能应用。通过实战案例分享优化技巧与异常处理，帮助开发者提升嵌入式系统中传感器数据的准确性与可靠性。阅读详情

以下是个简单的阶乘列子

template <typename int n>

struct Factorial

{

	enum {val = Factorial<n-1>::val * n};

};





template <>

struct Factorial<0>

{

	enum {val = 1};

};

int x = Factorial<10>::val;

在编译时就把值算出来了。

00411E0E  mov         dword ptr [x],375F00h

相当于把编译器看成函数式语言的解释器，但和函数式语言不同，元编程实在编译时计算的，用不到运行时上

int y=0;

cin>>y;

Factorial<y>::val;

有没有人在平时的工作（数学计算，编写STL模版库这类工作除外）中用到这个技术，编写这类代码？

看了C++模板元编程前两章，现在不清楚这东西能不能和直到运行时才能知道具体数据的程序结合使用？比如，由用户输入阶乘数，然后计算。

...全文

量子密钥分发系统的工程实践(四)：FPGA在后处理中的核心实现与优化本文深入探讨了FPGA在量子密钥分发（QKD）系统后处理中的核心实现与优化策略。文章详细拆解了FPGA如何高效完成原始密钥提取、误码协商和私密放大等关键任务，并分享了流水线设计、资源复用及存储器架构优化等工程实践“心法”，旨在解决高速、实时QKD系统中的性能瓶颈，提升密钥生成率。阅读详情

luciferisnotsatan

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

+ 关注 + 加入社区

切换为时间正序

Xcoder 2011-08-19

打赏
举报

从我帖子的连接跳过来看到这个问题，举个例子，比如要对M*N矩阵求第K条对角线上元素的积，
如果写死, 其实就是
a11*a22*a33; a12*a23*a31 ... 这样的东西，

如果写个函数，大概是这样：
int product_k_line(int** a, int N, int M, int K) {
s=1;
for(i=0; i<N; ++i){
s*=a[i][(i+K)%M];
}
return s;
}
这个函数且不说循环变量，s初值，单是(i+K)%M 这个下标操作，就够费时的。

如果写模版，可以这样：
template<class T, int N, int M, int K>
class product_k_line{ public:
T operator()(T** a) {
return a[N-1][(N-1+K)%M] * product_k_line<T, N-1, M, K>()(a);
}
};
template<class T, int M, int K>
class product_k_line<T, 1, M, K> { public:
T operator()(T** a) {
return a[0][(0+K)%M];
}
};
这个模版经优化后生成的代码完全和写死是一样的！
而可以支持任意大小的矩阵，任意某条对角线！

unituniverse2 2011-07-23

打赏
举报

[Quote=引用 39 楼 pamtry 的回复:]
虽然严格的讲说泛型编程是宏编程的发展不一定完全正确，不过在特性上我觉得还是很像的

至于模板元编程，毕竟不是模板的设计初衷，所以普及性肯定还是不够啊
[/Quote]
这类东西谈不上普及不普及，只是在“常规”方法无计可施的时候还有这类后备方案可选，而且有潜力能实现的非常好。

we_sky2008 2011-07-22

打赏
举报

模板元编程，我觉得最大的缺点就是参数必须是编译期的常量
对于变量就无计可施了

decoupling 2011-07-22

打赏
举报

如果楼主对template感兴趣..
推荐您看一下c++设计新思维: http://download.csdn.net/user/decoupling

不过如果和别人一起合作写程序.. 除非他们也和你一样对这东西感兴趣..否则还是不建议使用..

threeleafzerg007 2011-07-22

打赏
举报

以前看过一段元编程代码，给任意一个数组名，计算出其维数，感觉很牛叉。

但是实际应用编程中，难寻元编程踪迹。

珍惜生命远离CPP 2011-07-22

打赏
举报

type_traits 常用，其他的不敢用啊。

lwanttowin 2011-07-22

打赏
举报

封装类型的时候倒是经常会用到模板编程，比如单件模型之类的。但用来把类型代入数来计算就没用过了。不过编译的时候就能把值给算出来，这个倒是蛮提高运行效率的，好方法。

downmooner 2011-07-22

打赏
举报

//获取数组元素个数

	template<typename T,int n>

	int sizeofx(T (&arr)[n])

	{

		return n;

	}

	

	//简单2进制

	template<int n>

	struct binaryx_

	{

		enum{value = n % 10 + binaryx_<n / 10>::value * 2};

	};

	template<>

	struct binaryx_<0>

	{

		enum{value = 0};

	};