草庐IT

c++ - 链接器是否对静态符号或动态符号有任何偏好?

coder 2023-11-17 原文

我有两个头文件和两个 cpp 文件:

//f1.h
int f1();

//f1.cpp
include "f1.h"
int f1() {return 1;}

//f2.h
int f2();

//f2.cpp
#include "f2.h"
#include "f1.h"
int f2() {return f1() + 1;}

//main.cpp
#include "f2.h"
int main() {return f2();}

首先,我从 f1f2 编译一个共享对象,并根据该共享对象从 main.cpp 创建一个二进制文件:

g++ -c -fPIC -shared f1.cpp f2.cpp
g++ -shared -fPIC -o libf.so f2.o f1.o
g++ -o dynamic main.cpp libf.so

现在我对 f1.cpp 进行一些更改(比如 f1 现在返回 2):

//f1.cpp#
include "f1.h"
int f1() {return 2;}

然后编译一个二进制文件如下:

g++ -o semistatic main.cpp f1.cpp libf.so

问题是“半静态”二进制文件是否会使用 libf 中的 f1() 定义(其中 f1 返回 1 ) 或者它将使用静态链接符号(其中 f1 返回 2)?这在各个系统中是否不同,我可以相信它在单个系统中是一致的吗?

最佳答案

如前所述,您违反了单一定义规则。这不是世界末日,但在这种情况下,C++ 标准无法保证会发生什么,行为取决于链接器和加载器的实现细节。

工具链和操作系统完全不同,因此以上内容甚至不会在 Windows 上链接。但是,如果您谈论的是具有通常的链接器/加载器对的 Linux,那么行为将是使用更改后的版本——并且它将是每个 Linux 安装的版本。

这就是链接器/加载器在 Linux 上的工作方式(这种行为被广泛用于例如 LD_PRELOAD-trick ):

  • *.so 中的符号很弱,因此如果链接器在其他地方找到另一个定义(在您的情况下,在更新的f1.o 版本)。
  • 在运行时,如果符号已经绑定(bind),加载器将忽略来自共享对象的定义,即另一个定义是已知的。在您的情况下,符号 f1 (好的,由于名称修改,它将具有不同的名称,但为了简单起见,让我们忽略它)已经绑定(bind)到 main 中的定义-program 因此将在 *.so 中调用 f1 时使用。

但是,这种做事方式非常脆弱,一些微小的变化可能会导致不同的结果。

A:将可见性更改为隐藏。

建议隐藏不属于公共(public)界面的符号,即

__attribute__ ((visibility ("hidden")))
int f1() {return 1;}

在这种情况下,不会使用覆盖的版本,而是使用旧版本。不同的是,当链接器看到一个隐藏的符号被使用时,它不再委托(delegate)给加载器来解析符号的地址,而是直接使用手边的地址。稍后,我们无法更改调用的定义。

B:使 f1 成为内联函数。

这会导致非常有趣的事情,因为在某些部分,将使用旧版本的共享对象,而在某些部分,将使用新版本。

-fPIC 阻止未标记为 inline 的函数的内联,因此以上仅适用于显式标记为内联的函数。


简而言之:这个技巧可以在 Linux 上使用。然而,在更大的项目中,您不希望有额外的复杂性并尝试坚持更可持续和简单的单一定义规则框架。

关于c++ - 链接器是否对静态符号或动态符号有任何偏好?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51076325/

有关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 - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

    我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

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

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

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

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

  5. ruby-on-rails - link_to 不显示任何 rails - 2

    我试图在索引页中创建一个超链接,但它没有显示,也没有给出任何错误。这是我的index.html.erb代码。ListingarticlesTitleTextssss我检查了我的路线,我认为它们也没有问题。PrefixVerbURIPatternController#Actionwelcome_indexGET/welcome/index(.:format)welcome#indexarticlesGET/articles(.:format)articles#indexPOST/articles(.:format)articles#createnew_articleGET/article

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

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

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

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

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

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

  9. 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返回它复制的字节数,但是当我还没有下

  10. ruby-on-rails - RSpec:避免使用允许接收的任何实例 - 2

    我正在处理旧代码的一部分。beforedoallow_any_instance_of(SportRateManager).toreceive(:create).and_return(true)endRubocop错误如下:Avoidstubbingusing'allow_any_instance_of'我读到了RuboCop::RSpec:AnyInstance我试着像下面那样改变它。由此beforedoallow_any_instance_of(SportRateManager).toreceive(:create).and_return(true)end对此:let(:sport_

随机推荐