元编程

我刚刚开始作为C ++开发人员的旅程，并且最近我正在研究一个称为元编程的主题。到目前为止，我已经阅读了很多有关该主题的信息，并且没有几个问题。

1. 反射在c ++中的用法：可能吗？根据我的理解，反射是一种元编程技术，它具有操纵程序状态的能力，其操纵可以是内省的或内省的。

2. 反射架构和元级别架构有什么区别？元编程体系结构属于哪一类？

3. 元编程分为两个级别：元级别和基础级别。在我的理解中，被调查的目标程序或系统是基础级别，而将在被调查的系统上运行的元程序是元级别。我对么？

还通过提供一些有关在C ++中进行模板元编程的准则来帮助我。
您可以为我推荐一些可行的示例，让我亲自尝试一下这种编程技术吗？

元编程仅意味着您有能力编写可编写其他代码的代码（广义上）。C ++通过模板机制（基本上是一种类型安全的宏语言）来完成此任务。完全有可能仅应用模板扩展步骤，结果将是有效的无模板C ++代码。

反射是编程语言和/或运行时环境在运行时检查（并经常修改）自己的语言元素的能力。通常，反射语言提供表示语言元素（如类，方法，变量，参数等）的数据结构，以及用于检查，修改和创建它们的例程或类。修改功能使反射成为元编程的一种，因为它允许您编写生成其他代码的代码。

元编程的其他示例包括代码生成器，自我修改的二进制文件（尽管它们不像二十年前那样流行）。有人可能会说，currying和类似的功能编程技术也是一种元编程。

1. 不，不是。C ++程序被编译为机器代码，并且有关类等的所有信息都丢失了（除非在.NET环境中使用C ++ / CLI，但这不是纯C ++）。

2-3。我不知道-等待另一个答案可以帮助您:-)

使用C ++模板进行元编程非常强大，但也很复杂。模板扩展需要函数的编程风格，而不是C ++使用的命令式编程。如果您以前没有使用函数式编程的经验，我建议您绕道学习基本的Lisp，Haskell或方案。