草庐IT

c++ - C++ 代码的符号表是否包含函数名和类名?

coder 2024-02-09 原文

我一直在搜索有关 C++ 代码的符号表是否包含函数名称和类名称的各种帖子。我可以在帖子上找到的东西是它取决于编译器的类型,

如果它一次性编译代码,则不需要在符号表中存储类名和子例程名

但是如果它是一个多 channel 编译器,它可以添加有关它遇到的类及其子例程的信息,以便它可以进行参数类型检查并发出有意义的错误消息。

我不明白它是否真的依赖于编译器?我假设编译器(对于 C++ 代码)会将函数名和类名放在表中,无论是单程还是多程编译器。它如何依赖于通行证?我没有如此丰富/深入的知识。
此外,任何人都可以显示一个简单的 C++ 类的示例符号表,它会是什么样子(带有类名的函数名)?

最佳答案

大多数编译器教科书会告诉您有关符号表的信息,并且通常会向您展示有关中等复杂性语言(例如 Pascal)的详细信息。您不会在教科书中找到有关 C++ 符号表的信息;这太神秘了。

我们为 DMS 软件再造工具包提供完整的 C++14 前端。它解析 C++,构建 detailed ASTs ,并执行名称和类型解析,其中包括构建精确的符号表。

以下是我们关于如何使用 DMS 的教程的幻灯片,重点介绍 C++ 符号表结构。

OP 专门询问了类会发生什么。下图显示了左上角的微型 C++ 程序。图表的其余部分显示了框,它们代表我们所谓的“符号空间”(或“范围”),它们本质上是将符号名称(每个框列出其拥有的符号)映射到 DMS 知道的关于该符号的信息的哈希表(定义的源文件位置,引用定义的 AST 节点列表,以及表示类型的复杂 union ,并且可能又指向其他类型)。箭头显示符号空间是如何连接的;从空间 A 到空间 B 的箭头表示“范围 A 包含在范围 B 内”。通常,符号空间查找过程,在作用域 A 中搜索符号 x,如果在 A 中找不到 x,将继续在作用域 B 中搜索。您会注意到箭头用整数编号;这告诉搜索机制首先查看编号最少的父范围,然后尝试使用具有较大数字的箭头搜索范围。这就是作用域的排序方式(注意 C 类继承自 A 和 B;对 C 类中的任何字段(例如“b”)的任何查找都将被迫首先在 A 的作用域中查找,然后在 B 的作用域中查找。这样就实现了C++的查找规则。

请注意,类名记录在(唯一的)全局命名空间中,因为它们是在顶层声明的。如果它们是在某个显式命名空间中定义的,那么命名空间将有自己的相应符号空间来记录声明的类,而命名空间本身将被记录在全局符号空间中。



OP 没有询问函数体的符号表是什么样的,但我碰巧在下面也有一张说明性幻灯片。
符号空间的工作方式相同。此幻灯片中显示的是符号空间与其代表的作用域区域之间的联系。该链接实际上是由与符号空间关联的指针实现的,指向相应的 AST(命名空间定义可以分散在多个地方)。

请注意,在这种情况下,函数名称记录在全局命名空间中,因为它是在顶层声明的。如果它是在类的范围内定义的,则函数名称将被记录在类主体的符号空间中(在上图中)。



作为一般规则,符号表如何组织的细节完全取决于编译器和设计者所做的选择。在我们的例子中,我们设计了一个非常通用的符号表管理包,因为我们计划(并且已经)使用同一个包以统一的方式处理多种语言(C、C++、Java、COBOL、几种遗留语言)。
但是,符号空间和继承的抽象结构必须在 C++ 编译器中以本质上等效的方式实现;毕竟,他们必须对相同的信息进行建模。我希望 GCC 和 Clang 编译器中有类似的结构(好吧,整数编号的继承弧,也许不是:)

实际上,编译器有多少“通过”并不重要。它几乎必须构建这些结构来记住它对符号的了解,在一次传递中和跨传递。

虽然 building a C++ parser is very hard by itself ,构建这样的符号表要困难得多。这种努力使构建 C++ 解析器的努力相形见绌。我们的 C++ 名称解析器是由 DMS 编译和执行的大约 250K SLOC 的属性语法代码。获得细节权利是一件非常头疼的事情; C++ 引用手册是巨大的、令人困惑的,事实散布在整个文档的各个地方,并且在很多地方都是矛盾的(我们尝试向委员会发送有关此问题的投诉)和/或编译器之间的不一致(我们有 GCC 的版本)和 Visual Studio 201x)。

2017 年 3 月更新:现在有 C++2014 的符号表。
2018 年 6 月更新:现在有 C++2017 的符号表。

关于c++ - C++ 代码的符号表是否包含函数名和类名?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/32011751/

有关c++ - C++ 代码的符号表是否包含函数名和类名?的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息? 最佳答案 在Rails3中,update_all不返回任何有意义的信息,除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. ruby - 如何在 buildr 项目中使用 Ruby 代码? - 2

    如何在buildr项目中使用Ruby?我在很多不同的项目中使用过Ruby、JRuby、Java和Clojure。我目前正在使用我的标准Ruby开发一个模拟应用程序,我想尝试使用Clojure后端(我确实喜欢功能代码)以及JRubygui和测试套件。我还可以看到在未来的不同项目中使用Scala作为后端。我想我要为我的项目尝试一下buildr(http://buildr.apache.org/),但我注意到buildr似乎没有设置为在项目中使用JRuby代码本身!这看起来有点傻,因为该工具旨在统一通用的JVM语言并且是在ruby中构建的。除了将输出的jar包含在一个独特的、仅限ruby​​

  3. ruby-on-rails - Rails 源代码 : initialize hash in a weird way? - 2

    在rails源中:https://github.com/rails/rails/blob/master/activesupport/lib/active_support/lazy_load_hooks.rb可以看到以下内容@load_hooks=Hash.new{|h,k|h[k]=[]}在IRB中,它只是初始化一个空哈希。和做有什么区别@load_hooks=Hash.new 最佳答案 查看rubydocumentationforHashnew→new_hashclicktotogglesourcenew(obj)→new_has

  4. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本,我按照提供的说明安装了arubagem。它在我的Gemfile中,我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作,我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了,但失败的原因是错误的:@announceScenario:Testingcucumber/ar

  5. ruby-on-rails - 如何优雅地重启 thin + nginx? - 2

    我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server

  6. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加?这是我的解决方案,但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

  7. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串,该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么,如果包含,则返回它包含的键的值?例如,对于上面的h和s的例子,输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  8. ruby-on-rails - Ruby 检查日期时间是否为 iso8601 并保存 - 2

    我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby​​是否有特定方法,但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗?编辑解释我的环境,并改变问题的范围。因此,我的项目将使用jsapiFullCalendar,这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么,以正确的格式将日期保存在数据库中,或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查

  9. ruby - 检查日期是否在过去 7 天内 - 2

    我的日期格式如下:"%d-%m-%Y"(例如,今天的日期为07-09-2015),我想看看是不是在过去的七天内。谁能推荐一种方法? 最佳答案 你可以这样做:require"date"Date.today-7 关于ruby-检查日期是否在过去7天内,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/32438063/

  10. ruby - 如何验证 IO.copy_stream 是否成功 - 2

    这里有一个很好的答案解释了如何在Ruby中下载文件而不将其加载到内存中:https://stackoverflow.com/a/29743394/4852737require'open-uri'download=open('http://example.com/image.png')IO.copy_stream(download,'~/image.png')我如何验证下载文件的IO.copy_stream调用是否真的成功——这意味着下载的文件与我打算下载的文件完全相同,而不是下载一半的损坏文件?documentation说IO.copy_stream返回它复制的字节数,但是当我还没有下

随机推荐