讲师中心 微信公众号
AI工具推荐 视频效率加速

LLVM IR里的linkage和visibility有什么区别

夜涛姑娘_5412

夜涛姑娘_5412

发布时间:2026-10-05 07:25:20

|

757人浏览过

|

来源于php中文网

原创

linkage 决定符号能否被其他模块看到并参与链接,visibility 控制该符号是否出现在动态符号表里、能否被外部动态引用;两者作用域不同,且在 ELF 和 Darwin 平台行为不一致。

llvm ir里的linkage和visibility有什么区别

linkage 决定符号能否被其他模块看到并参与链接,visibility 控制该符号是否出现在动态符号表里、能否被外部动态引用——两者作用域不同,且在 ELF 和 Darwin 平台行为不一致。

linkage 类型决定符号能否被链接器合并或外部引用

linkage 是 IR 层级的链接语义,直接影响链接器是否允许跨 module 合并定义、是否允许外部 module 通过符号名引用它。比如 external 表示该符号必须由其他 module 提供;internal 表示只在当前 module 内可见,链接器会直接丢弃其符号名;linkonce_odr 常用于 C++ inline 函数,允许多个定义但必须一致,链接器任选其一。

  • private:连本 module 的其他函数都不能引用(比如 @.str),不会进入符号表
  • available_externally:本 module 不生成代码,仅提供定义供其他 module 内联,自身不保留实体
  • 错误现象:把本该是 external 的全局变量写成 internal,会导致链接时报 undefined reference to 'xxx'

visibility 控制符号是否暴露给动态链接器

visibility 是 ELF/Darwin 链接产物层面的属性,只影响 .so/.dylib 的符号导出行为,对静态链接无实质影响。它不改变 linkage,但叠加后限制更严。例如 default visibility + external linkage 表示该符号既可被静态链接,也可被 dlopen 动态加载时解析;而 hidden visibility 即使是 external linkage,也会从动态符号表中剔除。

  • hidden:符号不进 .dynsym,其他 shared object 无法 dlsym 或直接调用
  • protected:进 .dynsym,但本 shared object 内部调用不走 PLT,且禁止其他模块覆盖
  • 常见误用:在 Linux 上为避免符号冲突加了 hidden,结果 Python extension 用 cffi 加载时找不到函数 —— 因为 cffi 依赖动态符号解析

linkage 和 visibility 组合的实际效果容易被平台混淆

同一组 linkage + visibility 在不同平台表现不同。比如 default visibility 在 ELF 下允许符号被动态覆盖,在 Darwin 下只是“可被外部看到”,但 Darwin 没有符号覆盖机制;hidden 在两者下都禁用动态引用,但 Darwin 的 Mach-O 中对应的是 private_extern,语义略有差异。

  • Clang 编译时加 -fvisibility=hidden 会默认给所有 external 符号设 hidden visibility,但不会动 linkage
  • IR 中显式写 hidden visibility 时,必须确保 linkage 至少是 external 或 weak,否则 visibility 无意义(internal 符号本来就不会导出)
  • 调试技巧:用 readelf -Ws xxx.so | grep your_symbol 看 symbol 的 BIND(LOCAL/ GLOBAL)和 TYPE(NOTYPE / FUNC / OBJECT),再结合 objdump -T 看是否在动态符号表出现

真正容易被忽略的是:linkage 影响编译期和链接期行为,visibility 影响运行期动态链接行为;两者不在同一抽象层,不能互相替代,也不能靠猜 —— 必须根据你最终要生成的是静态库、可执行文件还是 shared library,分别查目标平台的 ABI 文档确认组合语义。

热门AI工具

更多
DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

相关专题

更多
LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

80

2026.09.30

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

80

2026.09.30

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

40

2026.09.30

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

40

2026.09.30

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

60

2026.09.29

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

280

2026.09.23

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

160

2026.09.23

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

120

2026.09.23

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

80

2026.09.22

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn