搜索

[26344] 2021-01-06_只有170字节，最小的64位HelloWorld程序这样写成

文档创建者：s7ckTeam
浏览次数：33
最后更新：2025-01-19
2021-01-06_只有170字节，最小的64位HelloWorld程序这样写成 只 有 1 7 0 字 节 ， 最 小 的 6 4 位 H e l l o   W o r l d 程 序 这 样 写 成 C J   T i n g   L i n u x 学 习   2 0 2 1 - 0 1 - 0 6 作 者 ： 作 者 ： C J   T i n g 链 接 ： 链 接 ： h t t p s : / / c j t i n g . m e / 2 0 2 0 / 1 2 / 1 0 / t i n y - x 6 4 - h e l l o w o r l d / 最 简 单 的   C   语 言   H e l l o   W o r l d   程 序 ， 底 层 到 底 发 生 了 什 么 ？ 如 何 编 写 出 最 小 的   6 4   位   H e l l o   W o r l d   程 序 ？ H e l l o   W o r l d   应 该 是 每 一 位 程 序 员 的 启 蒙 程 序 ， 出 自 于   B r i a n   K e r n i g h a n   和   D e n n i s   R i t c h i e   的 一 代 经 典 著 作   T h e   C   P r o g r a m m i n g L a n g u a g e 。 这 段 代 码 我 想 大 家 应 该 都 太 熟 悉 了 ， 熟 悉 到 可 以 默 写 出 来 。 虽 然 是 非 常 简 单 的 代 码 ， 但 是 如 果 细 究 起 来 ， 里 面 却 隐 含 着 很 多 细 节 ： # i n c l u d e   < s t d i o . h >   和   # i n c l u d e   " s t d i o . h "   有 什 么 区 别 ？ s t d i o . h   文 件 在 哪 里 ？ 里 面 是 什 么 内 容 ？ 为 什 么 入 口 是   m a i n   函 数 ？ 可 以 写 一 个 程 序 入 口 不 是   m a i n   吗 ？ m a i n   的   i n t   返 回 值 有 什 么 用 ？ 是 谁 在 处 理   m a i n   的 返 回 值 ？ p r i n t f   是 谁 实 现 的 ？ 如 果 不 用   p r i n t f   可 以 做 到 在 终 端 中 打 印 字 符 吗 ？ 上 面 这 些 问 题 其 实 涉 及 到 程 序 的 编 译 、 链 接 和 装 载 ， 日 常 工 作 中 也 许 大 家 并 不 会 在 意 。 现 代   I D E   在 方 便 我 们 开 发 的 同 时 ， 也 将 很 多 底 层 的 细 节 隐 藏 了 起 来 。 往 往 写 完 代 码 以 后 ， 点 击 「 构 建 」 就 行 了 ， 至 于 构 建 在 发 生 什 么 ， 具 体 是 怎 么 构 建 的 ， 很 多 人 并 不 关 心 ， 甚 至 根 本 不 知 道 从 源 代 码 到 可 执 行 程 序 这 中 间 经 历 了 什 么 。 编 译 、 链 接 和 装 载 是 一 个 巨 大 的 话 题 ， 不 是 一 篇 博 客 可 以 覆 盖 的 。 在 这 篇 博 客 中 ， 我 想 使 用 「 文 件 尺 寸 」 作 为 线 索 ， 来 介 绍 从   C 源 代 码 到 可 执 行 程 序 这 个 过 程 中 ， 所 经 历 的 一 系 列 过 程 。 T i p :   关 于 编 译 、 链 接 和 装 载 ， 这 里 想 推 荐 一 本 书 《 程 序 员 的 自 我 修 养 》 。 不 得 不 说 ， 这 个 名 字 起 得 非 常 不 好 ， 很 有 哗 众 取 宠 的 味 道 ， 但 是 书 的 内 容 是 不 错 的 ， 值 得 一 看 。 我 们 先 来 编 译 上 面 的 程 序 ： / /   h e l l o . c # i n c l u d e   < s t d i o . h > i n t   m a i n ( )   {     p r i n t f ( " h e l l o ,   w o r l d n " ) ;     r e t u r n   0 ; } $   g c c   h e l l o . c   - o   h e l l o $   . / h e l l o h e l l o ,   w o r l d
T i p :   后 续 所 有 的 讨 论 都 是 基 于   6 4   位   C e n t O S 7   操 作 系 统 。 我 们 会 发 现 这 个 简 单 的   h e l l o   程 序 大 小 为   1 6 K 。 在 今 天 看 来 ， 1 6 K   真 的 没 什 么 ， 但 是 考 虑 到 这 个 程 序 所 做 的 事 情 ， 它 真 的 需 要   1 6 K 吗 ？ 在   C   诞 生 的 上 个 世 纪   7 0   年 代 ， P D P - 1 1   的 内 存 为   1 4 4 K ， 如 果 一 个   h e l l o   w o r l d   就 要 占   1 6 K ， 那 显 然 是 不 合 理 的 ， 一 定 有 办 法 可 以 缩 减 体 积 。 T i p : 说 起   C   语 言 ， 我 想 顺 带 提 一 下   U N I X 。 没 有   C   就 没 有   U N I X   的 成 功 ， 没 有   U N I X   的 成 功 也 就 没 有   C   的 今 天 。 诞 生 于 上 个 世 纪   7 0 年 代 的   U N I X   不 得 不 说 是 一 项 了 不 起 的 创 造 。 这 里 推 荐 两 份 关 于   U N I X   的 资 料 ： T h e   U N I X   T i m e - S h a r i n g   S y s t e m   是 1 9 7 4   年 由   D e n n i s   R i t c h i e   和   K e n   T h o m p s o n   联 合 发 表 的 介 绍   U N I X   的 论 文 。 不 要 被 「 论 文 」 二 字 所 吓 到 ， 实 际 上 ， 这 篇 文 章 写 得 非 常 通 俗 易 懂 ， 由   U N I X   的 作 者 们 向 你 娓 娓 道 来   U N I X   的 核 心 设 计 理 念 。 T h e   U N I X   O p e r a t i n g   S y s t e m   是 一 段 视 频 ， 看 身 着 蓝 色 时 尚 毛 衣 的   K e r n i g h a n   演 示   U N I X   的 特 性 ， 不 得 不 说 ， K e r n i g h a n   简 直 太 帅 了 。 接 下 来 我 们 来 玩 一 个 游 戏 ， 目 标 是 ： 在   C e n t O S 7   6 4   位 操 作 系 统 上 ， 编 写 一 个 体 积 最 小 的 打 印   h e l l o   w o r l d   的 可 执 行 程 序 。 E x e c u t a b l e 我 们 先 来 看 「 可 执 行 程 序 」 这 个 概 念 。 什 么 是 可 执 行 程 序 ？ 按 照 字 面 意 思 来 理 解 ， 那 就 是 ： 可 以 执 行 的 程 序 。 E L F 上 面 用   C   编 写 的   h e l l o   当 然 是 可 执 行 程 序 ， 毫 无 疑 问 。 实 际 上 ， 我 们 可 以 说 它 是 真 正 的 「 可 执 行 」 程 序 （ 区 别 于 后 文 的 脚 本 ） ， 或 者 说 「 原 生 」 程 序 。 因 为 它 里 面 包 含 了 可 以 直 接 用 于   C P U   执 行 的 机 器 代 码 ， 它 的 执 行 无 需 借 助 外 部 。 h e l l o   的 存 储 格 式 叫 做   E L F ， 全 称 为   E x e c u t a b l e   a n d   L i n k a b l e   F o r m a t ， 看 名 称 可 以 知 道 ， 它 既 可 以 用 于 存 储 目 标 文 件 ， 又 可 以 用 于 存 储 h e l l o ,   w o r l d $   l l   h e l l o - r w x r - x r - x   1   r o o t   r o o t   1 6 7 1 2   N o v   2 4   1 0 : 4 5   h e l l o
可 执 行 文 件 。 E L F   本 身 并 不 难 理 解 ， / u s r / i n c l u d e / e l f . h   中 含 有   E L F   结 构 的 详 细 信 息 。 难 理 解 的 是 由   E L F   所 掀 开 的 底 层 世 界 ， 目 标 文 件 是 什 么 ？ 和 执 行 文 件 有 什 么 区 别 ？ 链 接 在 干 什 么 ？ 目 标 文 件 怎 样 变 成 可 执 行 文 件 等 等 等 等 。 S h e b a n g 接 下 来 我 们 来 看 另 外 一 种 形 式 的 可 执 行 程 序 — — 脚 本 。 按 照 定 义 ， 因 为 这 个 脚 本 可 以 直 接 从 命 令 行 执 行 ， 所 以 它 是 可 执 行 程 序 。 那 么   h e l l o   和   h e l l o . s h   的 区 别 在 哪 里 ？ 可 以 发 现   h e l l o . s h   的 第 一 行 比 较 奇 怪 ， 这 是 一 个 叫 做   S h e b a n g   的 东 西   # ! / b i n / b a s h ， 这 个 东 西 表 明 当 前 文 件 需 要   / b i n / b a s h   程 序 来 执 行 。 所 以 ， h e l l o   和   h e l l o . s h   的 区 别 就 在 于 ： 一 个 可 以 直 接 执 行 不 依 赖 于 外 部 程 序 ， 而 另 一 个 需 要 依 赖 外 部 程 序 。 我 曾 经 有 一 个 误 解 ， 认 为   S h e b a n g   是   S h e l l   在 处 理 ， 当   S h e l l   执 行 脚 本 时 ， 发 现 第 一 行 是   S h e b a n g ， 然 后 调 用 相 应 的 程 序 来 执 行 该 脚 本 。 实 际 上 并 不 是 这 样 ， 对   S h e b a n g   的 处 理 是 内 核 在 进 行 。 当 内 核 加 载 一 个 文 件 时 ， 会 首 先 读 取 文 件 的 前   1 2 8   个 字 节 ， 根 据 这   1 2 8   个 字 节 判 断 文 件 的 类 型 ， 然 后 调 用 相 应 的 加 载 器 来 加 载 。 比 如 说 ， 内 核 发 现 当 前 是 一 个   E L F   文 件 （ E L F   文 件 前 四 个 字 节 为 固 定 值 ， 称 为 魔 数 ） ， 那 么 就 调 用   E L F   加 载 器 。 而 内 核 发 现 当 前 文 件 含 有   S h e b a n g ， 那 么 就 会 启 动   S h e b a n g   指 定 的 程 序 ， 将 当 前 路 径 作 为 第 一 个 参 数 传 入 。 所 以 当 我 们 执 行 . / h e l l o . s h   时 ， 在 内 核 中 会 被 变 为   / b i n / b a s h   . / h e l l o . s h 。 这 里 其 实 有 一 个 小 问 题 ， 如 果 要 脚 本 可 以 从 命 令 行 直 接 执 行 ， 那 么 第 一 行 必 须 是   S h e b a n g 。 S h e b a n g   的 形 式 固 定 为   # !   开 头 ， 对 于 使 用   #   字 符 作 为 注 释 的 语 言 比 如   P y t h o n ,   R u b y ,   E l i x i r   来 说 ， 这 自 然 不 是 问 题 。 但 是 对 于   #   字 符 不 是 注 释 字 符 的 语 言 来 说 ， 这 一 行 就 是 一 个 非 法 语 句 ， 必 然 带 来 解 释 错 误 。 比 如   J a v a S c r i p t ， 它 就 不 使 用   #   作 为 注 释 ， 我 们 来 写 一 个 带   S h e b a n g   的   J S   脚 本 看 看 会 怎 么 样 。 $   c a t   >   h e l l o . s h   < < E O F # ! / b i n / b a s h e c h o   " h e l l o ,   w o r l d " E O F $   c h m o d   + x   h e l l o . s h $   . / h e l o . s h h e l l o ,   w o r l d
并 没 有 出 错 ， 所 以 这 里 是 怎 么 回 事 ？ 按 道 理 来 说 第 一 行 是 非 法 的   J S   语 句 ， 解 释 器 应 该 要 报 错 才 对 。 如 果 把 第 一 行 的   S h e b a n g   拷 贝 一 份 到 第 二 行 ， 会 发 现 报 了   S y n t a x E r r o r ， 这 才 是 符 合 预 期 的 。 所 以 必 然 是   N o d e   什 么 地 方 对 第 一 行 的 S h e b a n g   做 了 特 别 处 理 ， 否 则 不 可 能 不 报 错 。 大 家 可 以 在   N o d e   的 代 码 里 面 找 一 找 ， 看 看 在 什 么 地 方   答 案 是 什 么 地 方 都 没 有 ， 或 者 说 在 最 新 的   N o d e   中 ， 已 经 没 有 地 方 在 处 理   S h e b a n g   了 。 在   N o d e   v 1 1   中 ， 我 们 可 以 看 到 相 应 的 代 码 （ h t t p s : / / g i t h u b . c o m / n o d e j s / n o d e / b l o b / v 1 1 . 1 5 . 0 / l i b / i n t e r n a l / m a i n / c h e c k _ s y n t a x . j s # L 5 0 ） 。 s t r i p S h e b a n g   函 数 很 明 显 ， 它 的 作 用 在 于 启 动   J S   解 释 器 的 时 候 ， 将 第 一 行 的   S h e b a n g   移 除 掉 。 但 是 在   N o d e   v 1 2   以 后 ， N o d e   更 新 了   J S   引 擎   V 8   到   7 . 4 ， V 8   在 这 个 版 本 中 实 现 一 个 叫 做   H a s h b a n g   g r a m m a r   的 功 能 ， 也 就 是 说 ， 从 此 以 后 ， V 8   可 以 处 理   S h e b a n g   了 ， 因 此   N o d e   删 除 了 相 关 代 码 。 因 为   S h e b a n g   是   V 8   在 处 理 了 ， 所 以 我 们 在 浏 览 器 中 也 可 以 加 载 带 有   S h e b a n g   的   J S   文 件 ， 不 会 有 任 何 问 题 ~ 我 们 可 以 得 出 结 论 ， 支 持 作 为 脚 本 使 用 的 语 言 ， 如 果 不 使 用   #   作 为 注 释 字 符 ， 那 么 必 然 要 特 别 处 理   S h e b a n g ， 否 则 使 用 起 来 就 太 不 方 便 了 。 / u s r / b i n / e n v 上 面 的   t e s t . j s   文 件 中 ， 不 知 道 大 家 是 否 注 意 到 ， 解 释 器 路 径 写 的 是   / u s r / b i n / e n v   n o d e 。 这 样 的 写 法 如 果 经 常 写 脚 本 ， 应 该 不 陌 生 ， 我 之 前 一 直 这 样 用 ， 但 是 没 有 仔 细 去 想 过 为 什 么 。 首 先 我 们 来 看   / u s r / b i n / e n v   这 个 程 序 是 什 么 。 根 据   m a n   e n v   返 回 的 信 息 ： e n v   -   r u n   a   p r o g r a m   i n   a   m o d i f i e d   e n v i r o n m e n t . e n v   的 主 要 作 用 是 修 改 程 序 运 行 的 环 境 变 量 ， 比 如 说 $   c a t   < < E O F   >   t e s t . j s # ! / u s r / b i n / e n v   n o d e c o n s o l e . l o g ( " h e l l o   w o r l d " ) E O F $   c h m o d   + x   t e s t . j s $   . / t e s t . j s h e l l o   w o r l d
通 过   e n v   我 们 修 改 了   n o d e   运 行 时 的 环 境 变 量 。 但 是 这 个 功 能 和 我 们 为 什 么 要 在   S h e b a n g   中 使 用   e n v   有 什 么 关 系 ？ 在   S h e b a n g   中 使 用   e n v   其 实 是 因 为 另 外 一 个 原 因 ， 那 就 是   e n v   会 在   P A T H   中 搜 索 程 序 并 执 行 。 当 我 们 执 行   e n v   a b c   时 ， e n v   会 在   P A T H   中 搜 索   a b c   然 后 执 行 ， 就 和   S h e l l   一 样 。 这 就 解 释 了 为 什 么 我 们 要 在 脚 本 中 使 用   / u s r / b i n / e n v   n o d e 。 对 于 想 要 给 他 人 复 用 的 脚 本 ， 我 们 并 不 清 楚 他 人 系 统 上   n o d e   的 路 径 在 哪 里 ， 但 是 我 们 清 楚 的 是 ， 它 一 定 在   P A T H   中 。 而 同 时 ， 绝 大 部 分 系 统 上 ， e n v   程 序 的 位 置 是 固 定 的 ， 那 就 是   / u s r / b i n / e n v 。 所 以 ， 通 过 使 用   / u s r / b i n / e n v   n o d e ， 我 们 可 以 保 证 不 管 其 他 用 户 将   n o d e   安 装 在 何 处 ， 这 个 脚 本 都 可 以 被 执 行 。 b i n f m t _ m i s c 前 面 我 们 提 到 过 ， 内 核 对 于 文 件 的 加 载 其 实 是 有 一 套 「 多 态 」 机 制 的 ， 即 根 据 不 同 的 类 型 来 选 择 不 同 的 加 载 器 。 那 么 这 个 过 程 我 们 可 以 自 己 定 制 吗 ？ 当 然 可 以 ， 内 核 中 有 一 个 加 载 器 叫 做   b i n f m t _ m i s c ， 看 名 字 可 以 知 道 ， 这 个 加 载 器 用 于 处 理 各 种 各 样 非 标 准 的 其 他 类 型 。 通 过 一 套 语 法 ， 我 们 可 以 告 知   b i n f m t _ m i s c   加 载 规 则 ， 实 现 自 定 义 加 载 。 比 如 我 们 可 以 通 过   b i n f m t _ m i s c   实 现 直 接 运 行   G o   文 件 。 $   e x p o r t   n a m e = s h e l l $   n o d e >   p r o c e s s . e n v . n a m e ' s h e l l ' $   e n v   n a m e = e n v   n o d e >   p r o c e s s . e n v . n a m e ' e n v ' #   运 行   G o   文 件 的 指 令 是   ` g o   r u n ` ， 不 是 一 个 独 立 的 程 序 #   所 以 ， 我 们 先 要 写 一 个 脚 本 包 装 一 下 $   c a t   < < E O F   >   / u s r / l o c a l / b i n / r u n g o # ! / b i n / b a s h g o   r u n   $ 1 E O F #   接 下 来 写 入 规 则 告 诉   b i n f m t _ m i s c   使 用 上 面 的 程 序 来 加 载 所 有 #   以   . g o   结 尾 的 文 件 $   e c h o   ' : g o l a n g : E : : g o : : / u s r / l o c a l / b i n / r u n g o : '   >   / p r o c / s y s / f s / b i n f m t _ m i s c / r e g i s t e r #   现 在 我 们 就 可 以 直 接 运 行   G o   文 件 了
T i n y   S c r i p t 根 据 上 面 的 知 识 ， 如 果 我 们 想 要 编 写 一 个 体 积 最 小 的 打 印   h e l l o   w o r l d   的 脚 本 ， 我 们 要 在 这 两 方 面 着 手 ： 解 释 器 路 径 要 尽 量 短 ； 脚 本 本 身 用 于 打 印 的 代 码 要 尽 量 短 。 解 释 器 的 路 径 很 好 处 理 ， 我 们 可 以 使 用 链 接 。 脚 本 本 身 的 代 码 要 短 ， 这 就 很 考 验 知 识 了 ， 我 一 开 始 想 到 的 是   R u b y ， p u t s   " h e l l o ,   w o r l d "   算 是 非 常 短 的 代 码 了 ， 没 有 一 句 废 话 。 但 是 后 来   G o o g l e   才 发 现 ， 还 有 更 短 的 ， 那 就 是   P H P   P H P   中   打 印   h e l l o   w o r l d   的 代 码 就 是   h e l l o ,   w o r l d ， 对 的 ， 你 没 看 错 ， 连 引 号 都 不 用 。 所 以 ， 最 终 我 们 的 结 果 如 下 ： 在 脚 本 模 式 下 ， 我 们 的 成 绩 是   1 8   个 字 节 ， 使 用 的 解 释 器 是   P H P 。 其 实 在 脚 本 模 式 下 编 写 最 小 的   h e l l o   w o r l d   没 有 太 大 意 义 ， 因 为 我 们 完 全 可 以 自 己 写 一 个 输 出   h e l l o   w o r l d   的 程 序 作 为 解 释 器 ， 然 后 脚 本 里 面 只 要   # ! / x   就 行 了 。 $   c a t   < <   E O F   >   t e s t . g o p a c k a g e   m a i n i m p o r t   " f m t " f u n c   m a i n ( )   {     f m t . P r i n t l n ( " h e l l o ,   w o r l d " ) } E O F $   c h m o d   + x   t e s t . g o $   . / t e s t . g o h e l l o ,   w o r l d #   假 设   p h p   在   / u s r / l o c a l / b i n / p h p $   c d   / $   l n   - s   / u s r / l o c a l / b i n / p h p   p $   c a t   < < E O F   >   f i n a l . p h p # ! / p h e l l o ,   w o r l d E O F $   c h m o d   + x   f i n a l . p h p $   . / f i n a l . p h p h e l l o ,   w o r l d $   l l   f i n a l . p h p - r w x r - x r - x   1   r o o t   r o o t   1 8   D e c     2   2 2 : 3 2   f i n a l . p h p
T i n y   N a t i v e 上 面 的 脚 本 只 是 抛 砖 引 玉 ， 接 下 来 我 们 进 入 正 题 ， 怎 样 编 写 一 个 体 积 最 小 的 打 印   h e l l o   w o r l d   的 原 生 可 执 行 程 序 ？ 网 上 有 很 多 关 于 这 个 话 题 的 讨 论 ， 但 基 本 都 是 针 对   x 8 6   的 。 现 如 今   6 4   位 机 器 早 就 普 及 了 ， 所 以 我 们 这 里 针 对 的 是   6 4   位 的   x 6 4 。 T i p :   6 4   位 机 器 可 以 执 行   3 2   位 的 程 序 ， 比 如 我 们 可 以 使 用   g c c   - m 3 2   来 编 译   3 2   位 程 序 。 但 这 只 是 一 个 后 向 兼 容 ， 并 没 有 充 分 利 用 6 4   位 机 器 的 能 力 。 S t e p 0 首 先 ， 我 们 使 用 上 文 提 到 的   h e l l o . c   作 为 基 准 程 序 。 g c c   h e l l o . c   - o   h e l l o . o u t   编 译 以 后 ， 它 的 大 小 是   1 6 7 1 2   个 字 节 。 S t e p 1 :   S t r i p   S y m b o l s 第 一 步 ， 也 是 最 容 易 想 到 的 一 步 ， 剔 除 符 号 表 。 符 号 是 链 接 器 工 作 的 的 基 本 元 素 ， 源 代 码 中 的 函 数 、 变 量 等 被 编 译 以 后 ， 都 变 成 了 符 号 。 如 果 经 常 从 事   C   开 发 ， 一 定 遇 到 过   l d :   s y m b o l   n o t   f o u n d   的 错 误 ， 往 往 是 忘 记 链 接 了 某 个 库 导 致 的 。 使 用   n m   我 们 可 以 查 看 一 个 二 进 制 程 序 中 含 有 哪 些 符 号 。 T i p : n m   是 「 窥 探 」 二 进 制 的 一 个 有 力 工 具 。 记 得 之 前 有 一 次 苹 果 调 整 了   i O S   的 审 核 策 略 ， 不 再 允 许 使 用 了   U I W e b V i e w   的   A p p   提 交 。 我 们 的   I P A   里 面 不 知 道 哪 个 依 赖 使 用 了   U I W e b V i e w ， 导 致 苹 果 一 直 审 核 不 过 ， 每 次 都 要 二 分 注 释 、 打 包 、 提 交 审 核 ， 然 后 等 待 苹 果 的 自 动 检 查 邮 件 告 知 结 果 ， 非 常 痛 苦 。 后 来 我 想 到 了 一 个 办 法 ， 就 是 使 用   n m   查 看 编 译 出 来 的 可 执 行 程 序 ， 看 看 里 面 是 否 有   U I W e b V i e w   相 关 的   s y m b o l ， 这 大 大 简 化 了 / /   h e l l o . c # i n c l u d e   < s t d i o . h > i n t   m a i n ( )   {     p r i n t f ( " h e l l o ,   w o r l d n " ) ;     r e t u r n   0 ; }
调 试 流 程 ， 很 快 就 定 位 到 问 题 了 。 对   s t e p 0   中 的   h e l l o . o u t   程 序 使 用   n m ， 输 出 如 下 ： 可 以 看 到 有 一 个 符 号 叫 做   m a i n ， 这 个 对 应 的 就 是 我 们 的   m a i n   函 数 。 但 是 很 奇 怪 没 有 看 到   p r i n t f ， 而 是 出 现 了 一 个 叫 做 p u t s @ @ G L I B C _ 2 . 2 . 5   的 符 号 。 这 里 其 实 是   G C C   做 的 一 个 优 化 ， 如 果 没 有 使 用 格 式 字 符 串 调 用   p r i n t f ， G C C   会 将 它 换 成   p u t s 。 这 些 符 号 都 存 储 在 了   E L F   中 ， 主 要 用 于 链 接 ， 对 于 可 执 行 文 件 来 说 ， 符 号 并 没 有 什 么 太 大 作 用 ， 所 以 我 们 首 先 可 以 通 过 剔 除 符 号 表 来 节 省 空 间 。
有 两 个 方 法 ， 第 一 是 通 过   s t r i p ， 第 二 是 通 过   G C C   参 数 。 这 里 我 们 使 用 第 二 个 方 法 ， g c c   - s   h e l l o . c   - o   h e l l o . o u t   得 到 新 的 不 含 符 号 表 的 可 执 行 程 序 ， 它 的 大 小 是   1 4 5 1 2   字 节 。 虽 然 结 果 还 是 很 大 ， 但 是 我 们 省 了   2 K   左 右 ， 不 错 ， 再 接 再 厉 。 S t e p 2 :   O p t i m i z a t i o n 第 二 个 比 较 容 易 想 到 的 办 法 就 是 优 化 ， 开 启 优 化 以 后 编 译 器 会 生 成 更 加 高 效 的 指 令 ， 从 而 减 小 文 件 体 积 。 使 用   g c c   - O 3   编 译 我 们 的 程 序 ， 然 后 会 发 现 ， 结 果 没 有 任 何 变 化 。 其 实 也 非 常 合 理 ， 因 为 这 个 程 序 太 简 单 了 ， 没 什 么 好 优 化 的 。 看 来 要 再 想 想 别 的 办 法 。 S t e p 3 :   R e m o v e   S t a r t u p   F i l e s 之 前 我 们 提 到 过 一 个 问 题 ， 是 谁 在 调 用   m a i n   函 数 ？ 实 际 上 我 们 编 写 的 程 序 都 会 被 默 认 链 接 到   G C C   提 供 的   C   运 行 时 库 ， 叫 做   c r t 。 通 过   g c c   - - v e r b o s e   我 们 可 以 查 看 编 译 链 接 的 详 细 日 志 。
可 以 发 现 我 们 的 程 序 链 接 了   c r t 1 . o ,   c r t i . o ,   c r t b e g i n . o ,   c r t e n d . o   以 及   c r t n . o 。 其 中   c r t 1 . o   里 面 提 供 的   _ s t a r t   函 数 是 程 序 事 实 上 的 入 口 ， 这 个 函 数 负 责 准 备   m a i n   函 数 需 要 的 参 数 ， 调 用   m a i n   函 数 以 及 处 理   m a i n   函 数 的 返 回 值 。 上 面 这 些   c r t   文 件 统 称 为   S t a r t   F i l e s 。 所 以 ， 现 在 我 们 的 思 路 是 ， 可 不 可 以 不 用 这 些 启 动 文 件 ？ _ s t a r t   函 数 主 要 功 能 有 两 个 ， 第 一 是 准 备 参 数 ， 我 们 的   m a i n   不 使 用 任 何 参 数 ， 所 以 这 一 部 分 可 以 忽 略 。 第 二 是 处 理 返 回 值 ， 具 体 的 处 理 方 式 是 使 用   m a i n   函 数 的 返 回 值 调 用   e x i t   系 统 调 用 进 行 退 出 。 所 以 如 果 我 们 不 使 用 启 动 文 件 的 话 ， 只 需 要 自 己 使 用 系 统 调 用 退 出 即 可 。 因 为 我 们 现 在 不 使 用   _ s t a r t   了 ， 自 然 我 们 的 主 函 数 也 没 必 要 一 定 要 叫 做   m a i n ， 这 里 我 们 改 个 名 字 突 出 一 下 这 个 事 实 。 # i n c l u d e   < s t d i o . h > # i n c l u d e   < u n i s t d . h > i n t n o m a i n ( ) {     p r i n t f ( " h e l l o ,   w o r l d n " ) ;     _ e x i t ( 0 ) ; }
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理