繁体 English 中英

使用反射代码gen？

[英]Using reflection for code gen?

原文 2009-07-23 12:49:27 3 5 c#/ reflection/ code-generation

我正在编写一个控制台工具来为类库中的对象生成一些C＃代码。 我可以实际生成代码的最好/最简单的方法是在构建库之后使用反射。 它运作得很好，但这似乎是一个随意的approch充其量。 由于生成的代码将使用库进行编译，因此在进行更改后，我需要构建解决方案两次以获得最终结果等。其中一些问题可以通过构建脚本来缓解，但它仍然感觉像是对我来说太过分了。

我的问题是，对于这类事情，是否有任何高级别的最佳做法？

5 个解决方案

您是否考虑过使用T4模板来执行代码生成？ 看起来它现在得到了更多的宣传和关注，并且在VS2010中获得了更多的支持。

本教程似乎以数据库为中心，但它可能会给你一些指示： http ：//www.olegsych.com/2008/09/t4-tutorial-creatating-your-first-code-generator/此外最近有一个关于T4的Hanselminutes这里： http ： //www.hanselminutes.com/default.aspx？showID = 170 。

编辑：另一个很棒的地方是StackOverflow上的T4标签： https ：//stackoverflow.com/questions/tagged/t4

编辑:(提问者，新发展）

从VS2012开始，T4现在只需一步即可支持对活动项目的反射。 这意味着您可以对代码进行更改，T4模板的编译输出将反映最新版本，而无需执行第二个反射/构建步骤。 有了这个功能，我将此标记为已接受的答案。

它还很不清楚你在做什么，但看起来很明显你有一些基线代码，并且基于它的一些属性，你想要生成更多的代码。

因此，根据基线代码，这里的关键问题是如何提取有趣的属性，以及如何从这些属性生成代码？

反射是一种将运行（好，至少加载）的代码属性提取到与反射用户代码相同的执行环境中的方法。 反射的问题是它只提供了一组非常有限的属性，通常是类，方法或参数名称的列表。 如果您想要做的所有代码生成都可以完成，那么反射似乎很好。 但是如果你想要更详细的代码属性，反射就不会削减它。

实际上，唯一可以从中提取真正任意代码属性的工件是源代码作为字符串（你怎么回答，add变量名和变量名中间的T之间的字符数是a素数？）。 实际上，从字符串中获取的属性通常不是很有用（参见我刚给出的示例:)。

在过去的60年里，编译人员已经花了很多时间来弄清楚如何提取有趣的程序属性，而你却完全不知道他们在半个世纪里学到了什么。

他们已经确定了许多相对标准的“编译器数据结构”：抽象语法树（AST），符号表（ST），控制流图（CFG），数据流事实（DFF），程序三元组，思维分析等。如果您想分析或生成代码，最好的办法是先将它处理成这样的标准编译器数据结构，然后再完成工作。 如果您有AST，您可以回答有关使用哪些运算符和操作数的各种问题。 如果您有ST，您可以回答有关where-defined，where-visible和what-type的问题。 如果你有CFG，你可以回答有关“之前的事情”，“陈述X依赖的条件”的问题。 如果您有DFF，则可以确定哪些分配会影响代码中某个点的操作。 反射将永远不会提供这个恕我直言，因为它将始终限于运行时系统开发人员在运行程序时愿意保留的内容。 （也许有一天他们会保留所有的编译器数据结构，但它不会是反射;它最终将成为编译器支持）。

现在，在确定了感兴趣的属性后，您如何处理代码？ 在这里，编译人员如此专注于生成机器代码，他们不提供标准答案。 这些人是程序转换社区（ http://en.wikipedia.org/wiki/Program_transformation ）。 这里的想法是将程序的至少一个表示保存为AST，并为匹配源代码语法提供特殊支持（通过从感兴趣的代码片段构造模式匹配AST），并提供“重写”规则。效果，“当你看到这种模式，然后在这种情况下用该模式替换它”。 通过将条件连接到编译器人员的各种属性提取机制，您可以相对简单地说出您希望通过50年的经验支持的内容。 这样的程序转换系统具有读取源代码，执行分析和转换的能力，并且通常在转换后重新生成代码。