c - 如何在ANSI C中实现类似于Objective-C @encode()编译器指令的内容？

Question

@encode指令返回一个const char*，它是传入的数据类型的各种元素的编码类型描述符。示例如下：

struct test
{ int ti ;
  char tc ;
} ;

printf( "%s", @encode(struct test) ) ;
// returns "{test=ic}"

我可以看到使用sizeof（）来确定基元类型——如果它是一个完整的对象，我可以使用类方法来进行内省。
但是，它如何确定不透明结构的每个元素？

Answer 1

Lothars的回答可能是“愤世嫉俗”，但很不幸。为了实现类似于@encode()的东西，您需要一个成熟的解析器来提取类型信息。好吧，至少除了“琐碎的”语句（即，@encode()）之外。现代编译器通常有两个或三个主要组件：
前端。
中间端（对于某些编译器）。
后端。
前端必须解析所有源代码，并基本上将源代码文本转换为内部的“机器可用”形式。
后端将内部的“机器可用”表单转换为可执行代码。
具有“中间端”的编译器通常这样做是因为某些需要：它们支持多个“前端”，可能由完全不同的语言组成。另一个原因是简化优化：所有的优化传递工作在相同的中间表示。编译器套件是“三阶段”编译器的一个例子。@encode(char *)可被称为“中间和后端”阶段编译器：“低级虚拟机”是中间表示，所有的优化都是以这种形式进行的。gcc还可以将它保持在中间表示，直到最后一秒-这允许“链接时间优化”。llvm编译器实际上是一个“有效地”输出llvm中间表示的“前端”。
所以，如果你想将clang功能添加到一个“现有”编译器中，你可能需要做一个“源到源”的编译器/预处理器。这就是如何编写原始ObjuleC和C++编译器——他们解析输入的源文本，并将其转换成“普通C”，然后将其输入标准C编译器。有几种方法可以做到这一点：
自己滚吧
使用llvm和@encode()组合ANSI-C解析器。你需要语法——ANSI C grammar (Yacc)是个好的开始。事实上，要清楚的是，当我说yacc时，我的意思是< > >和< > >。另外，松散地说，其他各种lex和yacc类似于基于c的工具：bison，lemon，等等……
将flex与dparser或Yapp一起使用，这是yacc中的伪克隆。与C基lex和perl相比，它更适合于快速原型化。毕竟，它是yacc：正则表达式、关联数组、无内存管理等。
使用EYapp构建解析器。我对这个工具链没有任何经验，但它是另一个“编译器编译器”工具，它似乎更适合Java开发人员。似乎有可用的C和Objul-C文法可用。
砍掉另一个工具
注意：我没有使用这些工具做任何添加perl之类的事情的个人经验，但我怀疑它们会有很大帮助。
Antlr-没有使用这个工具的个人经验，但它是为解析c源代码，然后使用它“做事情”而设计的。根据我从文档中收集到的信息，这个工具应该允许您提取所需的类型信息。
CIL-值得一看，但不确定。
Sparse-还没有用于此目的，但据称其中一个目标是让它“容易破解”仅用于这类东西。尤其是在做所有语法分析的“繁重工作”时（而且，没有个人经验），让您专注于“有趣的”部分，在本例中，这部分将提取上下文和语法敏感的类型信息，然后将其转换为纯C字符串。
clang-插件是gcc 4.5（编译器的当前alpha/beta版本）特性，“可能”允许您轻松地连接到编译器以提取所需的类型信息。不知道插件架构是否允许这种情况。
其他
gcc Plugins -最近书签把这个标记为“以后看”。这个“可能”可以做你想做的事，而且“可能”可以不费多大力气就做到。
这本书最近也签了字。不知道这有多有用。
“可能”做你想做的。这是一个有趣的想法，但它并不直接适用于你想要的。从web页面：“mygcc允许程序员添加他们自己的检查，考虑语法、控制流和数据流信息。”
链接。
Coccinelle-值得一看。与词汇和语法有一些联系。
编辑1，奖金链接。
@洛萨的评论很有道理。我本来打算包括yacc，但看起来它一路上就迷路了。
MetaC-c编译器。这是一个特别小的C编译器，至少在源代码大小方面是如此。它也mygcc，我强烈推荐。
CocoaDev Objective-C Parsing-c编译器。不像lex那样有教育意义，但绝对值得一看。
lcc-objective-c编译器。这是一个“源到源”的objective-c编译器。它解析objective-c源代码并发出c源代码，然后传递给perl（通常是@encode()）。有许多在lcc中不可用的objective-c扩展/功能。绝对值得一看。