C++ 模板只是变相的宏吗?
我用 C++ 编程已经有几年了，我用过很多 STL，并且创建了几次自己的模板类来看看它是如何完成的.
I've been programming in C++ for a few years, and I've used STL quite a bit and have created my own template classes a few times to see how it's done.
现在我正在尝试将模板更深入地集成到我的 OO 设计中，一个烦人的想法不断地回到我的脑海:它们只是一个宏，真的……你可以使用 #defines 实现(相当丑陋的)auto_ptrs，如果你真的想的话.
Now I'm trying to integrate templates deeper into my OO design, and a nagging thought keeps coming back to me: They're just a macros, really... You could implement (rather UGLY) auto_ptrs using #defines, if you really wanted to.
这种对模板的思考方式有助于我理解我的代码实际上是如何工作的，但我觉得我一定是错过了重点.宏意味着邪恶的化身，但模板元编程"风靡一时.
This way of thinking about templates helps me understand how my code will actually work, but I feel that I must be missing the point somehow. Macros are meant evil incarnate, yet "template metaprogramming" is all the rage.
那么，真正的区别是什么?以及模板如何避免#define 导致您陷入的危险，例如
So, what ARE the real distinctions? and how can templates avoid the dangers that #define leads you into, like
- 难以理解的编译器错误出乎意料的地方?
- 代码臃肿?
- 难以追踪代码?
- 设置调试器断点?
推荐答案
宏是一种文本替换机制.
Macros are a text substitution mechanism.
模板是一种功能性图灵完备语言，在编译时执行并集成到 C++ 类型系统中.您可以将它们视为该语言的插件机制.
Templates are a functional turing-complete language that is executed at compile time and is integrated into the C++ type system. You can think of them as a plugin mechanism for the language.
相关文章