c++ - 什么样的C++模板编程可以调用 "meta programming"？

Question

<分区>

Answer 1

Q1.使用什么样的模板技术，才能称为“元编程”？

模板元编程是指使用模板和编译器来执行编程的一些关键元素:循环、if-else 分支、C/C++ 切换(如分支、递归等)。

第一个这样的元程序用于生成前几个素数作为编译器错误消息。参见 http://www.erwin-unruh.de/primorig.html

Q2.是否有关于什么是元编程和什么不是元编程的明确定义？

可以在 Wikipedia 找到一个很好的定义。 .

Template metaprogramming (TMP) is a metaprogramming technique in which templates are used by a compiler to generate temporary source code, which is merged by the compiler with the rest of the source code and then compiled. The output of these templates include compile-time constants, data structures, and complete functions. The use of templates can be thought of as compile-time execution. The technique is used by a number of languages, the best-known being C++, but also Curl, D, and XL.

Q3.我们的 C++11 STL 是否包含大量元编程？

很有可能，但这是一个猜测。我没有深入研究标准库的任何实现。

Q4.“type_traits”是“元编程”吗？

再说一次，我没有深入研究它，但我想“type_traits”的大部分功能都是使用元编程技术实现的。