Compare commits

...

4 Commits

Author SHA1 Message Date
codex-bot 0dcd178394 docs: explore Endor as a coding agent traffic platform 2026-10-30 15:16:35 +08:00
Zayden-Jung 25c5e83d08 Merge pull request '新增 Smalltalk-80 现代化研究导读与源码研究入口' (#13) from codex/smalltalk-guide into main
Verify and deploy Tabularium / verify-and-deploy (push) Successful in 6m56s
Reviewed-on: #13
2026-10-30 06:19:43 +00:00
codex-bot 798c6d17d0 docs: add modern Smalltalk-80 study guide 2026-10-30 14:17:39 +08:00
Zayden-Jung c2ea0900e6 Merge pull request '补充AI公司收入、合同与业务规模口径核查' (#12) from codex/ai-research-revenue-scope into main
Verify and deploy Tabularium / verify-and-deploy (push) Successful in 6m30s
Reviewed-on: #12
2026-10-30 06:04:36 +00:00
14 changed files with 908 additions and 0 deletions
+84
View File
@@ -1,5 +1,10 @@
{
"collections": [
{
"path": "smalltalk",
"title": "Smalltalk-80 研究导读",
"description": "从消息、类与集合到图形、开发工具和经典 MVC。"
},
{
"path": "pretext",
"title": "Pretext 源码教程",
@@ -59,6 +64,13 @@
"slug": "endor/endor-purpose-draft",
"category": "Endor"
},
"08-coding-agent-traffic-platform-draft": {
"group": "奇思妙想",
"description": "从 AI 供给、注意力与获客成本,探索伪装成 coding agent 的需求与能力分发平台。",
"draft": true,
"slug": "endor/coding-agent-traffic-platform-draft",
"category": "Endor"
},
"05-object-graphs-gc": {
"collection": "对象关系与垃圾回收",
"group": "运行时基础",
@@ -233,6 +245,78 @@
"description": "核对候选池、来源偏差、分类与验证完成度,区分全量读取和定向补充。",
"slug": "other-research/ai-company-research/coverage",
"category": "其他研究"
},
"smalltalk/00-overview": {
"slug": "source-studies/smalltalk/overview",
"category": "源码研究",
"group": "阅读地图",
"description": "Smalltalk-80:从消息到交互系统;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/01-messages": {
"slug": "source-studies/smalltalk/messages",
"category": "源码研究",
"group": "语言核心",
"description": "消息与对象:理解执行模型;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/02-syntax-and-blocks": {
"slug": "source-studies/smalltalk/syntax-and-blocks",
"category": "源码研究",
"group": "语言核心",
"description": "语法与块:读懂一段 Smalltalk;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/03-classes-and-methods": {
"slug": "source-studies/smalltalk/classes-and-methods",
"category": "源码研究",
"group": "语言核心",
"description": "类、方法与元类:行为放在哪里;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/04-object-protocol": {
"slug": "source-studies/smalltalk/object-protocol",
"category": "源码研究",
"group": "对象模型",
"description": "对象协议:身份、复制与依赖;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/05-reflection": {
"slug": "source-studies/smalltalk/reflection",
"category": "源码研究",
"group": "对象模型",
"description": "类的架构与反射:系统怎样描述自己;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/06-collections-and-streams": {
"slug": "source-studies/smalltalk/collections-and-streams",
"category": "源码研究",
"group": "类库与执行",
"description": "基础类库:数值、集合与流;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/07-processes": {
"slug": "source-studies/smalltalk/processes",
"category": "源码研究",
"group": "类库与执行",
"description": "进程与同步:协作执行的对象;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/08-graphics": {
"slug": "source-studies/smalltalk/graphics",
"category": "源码研究",
"group": "交互系统",
"description": "图形系统:坐标、位图与绘制;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/09-live-environment": {
"slug": "source-studies/smalltalk/live-environment",
"category": "源码研究",
"group": "交互系统",
"description": "开发环境:浏览、检查与调试;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/10-mvc": {
"slug": "source-studies/smalltalk/mvc",
"category": "源码研究",
"group": "交互系统",
"description": "MVC 与曲线案例:连接数据和界面;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/11-reference": {
"slug": "source-studies/smalltalk/reference",
"category": "源码研究",
"group": "阅读地图",
"description": "术语、练习与原书对照;依据原书章节整理,区分历史机制与补充说明。"
}
}
}
@@ -0,0 +1,150 @@
# 一个伪装成 coding agent 的流量平台
> **奇思妙想 · 探索草案,2026-10-30**:记录一次关于 AI、注意力和 Endor 定位的推演。这不是已确认的产品战略、商业模式或架构规范,也不表示下面描述的发现、推荐、交易与结算能力已经实现。本提案保留在 `codex/wild-ideas` 分支,暂不合并主线。
## 核心命题
**我们是一个伪装成 coding agent 的流量平台。**
这句话试图描述 Endor 的一种潜在发展方向:用户因为需要 AI 帮忙写代码、修改程序、完成工作而进入;Endor 在推进任务的过程中,连接用户的真实需求与能够满足需求的对象、程序、服务和开发者。写代码是切入口,需求与能力之间的分发可能成为平台价值的重要来源。
这里的“伪装”是一种内部讨论的修辞:表面产品形态是 coding agent,底层战略假设是流量与需求分发平台。它不意味着向用户隐瞒推荐依据、商业关系或数据用途。Agent 必须真的把工作做好;商业分发不能成为牺牲用户任务结果的理由。
这里的“流量”也不只指页面浏览量。我们关心的是一项真实需求最终被交给哪个能力、哪项服务或哪个开发者,以及它有没有被完成。一次没有外部点击、但经用户授权调用了合适能力的任务,也可能构成需求分发。
## 起点:当生产越来越便宜,什么会变得稀缺
最初的直觉是:AI 越来越强,互联网的内容、软件和服务产出就会越来越多;人的时间不能同步增长,于是每个产出平均分到的注意力减少,流量越来越贵。
这条链条有方向上的解释力,但不能把最后一步直接当成定律。需要分开三个问题:
1. **生产成本**:AI 是否降低了完成某类产出的成本?
2. **注意力竞争**:争夺同一人群和同一种需求的有效供给,是否增长得比消费更快?
3. **获客成本**:获得一个真正成交、留存的客户,需要花多少成本?
大量从未被展示的机器文章增加了互联网总产量,却不一定增加某个产品面对的实际竞争。企业也可能用 AI 提高质量或减少投入,而不是无限扩张产量。因而,应观察真正进入候选范围的替代品,而不只统计生成内容总量。
即使注意力竞争加剧,广告单价也未必上涨。更多内容可能增加广告库存;AI 可能提高匹配与转化效率;经济环境和广告主预算也会改变竞价需求。普通曝光可能更便宜,而高购买意图、可信且能带来结果的触达更贵。
更适合支撑本提案的假设是:**当更多人能够生产可用的东西,让合适的人发现、信任并选择它,可能成为更大的瓶颈。**
## 已有证据与推演边界
以下资料是提出假设的依据,不是 Endor 已经拥有商业价值或市场地位的证明。
| 观察 | 原始来源 | 能说明什么与不能说明什么 |
| --- | --- | --- |
| 2023 年针对 453 名专业人士的随机写作实验中,使用 ChatGPT 的参与者平均用时减少 40%,产出质量评分提高 18% | [Noy 与 Zhang,Science](https://doi.org/10.1126/science.adh2586) | 支持部分写作任务的生产成本下降,不能外推所有行业的产量和质量 |
| Meta 2022 年广告展示量增长 18%,平均广告价格下降 16% | [Meta 2022 年报](https://www.sec.gov/Archives/edgar/data/1326801/000132680123000013/meta-20221231.htm) | 证明量增不必然价增;这是历史反例,不是生成式 AI 的效果实验 |
| Meta 2025 年广告展示量增长 12%,平均广告价格上涨 9% | [Meta 2025 年报](https://www.sec.gov/Archives/edgar/data/1326801/000162828026003942/meta-20251231.htm) | 说明该平台当年的综合单价上涨,不能单独识别 AI 的因果贡献,也不代表每个广告主 |
| Pew 对 900 名美国成年人 2025 年 3 月浏览记录的分析中,有 AI 摘要的搜索访问点击传统结果的比例为 8%,没有摘要时为 15%;点击摘要内链接的比例约为 1% | [Pew 原始研究](https://www.pewresearch.org/short-reads/2025/07/22/google-users-are-less-likely-to-click-on-links-when-an-ai-summary-appears-in-the-results/) | 提示需求可能在入口处被满足;查询类型不同,这不是随机因果实验,也不能直接套用中国市场 |
对经营者而言,一个简化关系是:广告获客成本 = 每次点击价格 ÷ 点击后的新客转化率。完整获客成本还包括内容、销售、人员与工具等投入。单价上涨而转化改善时,获客成本可以下降;单价下降而转化恶化时,获客成本可以上涨。
因此,我们暂不押注“整个互联网的流量价格持续上涨”。我们要研究的是:**用户越来越依赖谁来表达需求、筛选候选、执行任务和判断结果。** 如果这些环节集中在少数入口,入口可能拥有更强的分发与议价能力;如果 AI 让用户更容易比较和切换,入口溢价也可能被削弱。
## 为什么从 coding agent 进入
传统内容入口通常先争夺注意力,再等待用户表达需求。Coding agent 有机会直接从任务开始:用户说要做什么,Agent 读取获准访问的工作上下文,选择能力,执行并获得结果反馈。
在这个假设下,它可能同时接触到四类信号:
- **需求**:用户究竟想完成什么,而不仅是搜索过什么关键词。
- **上下文**:现有项目、对象、约束和已经作出的选择;以用户授权的访问范围为限。
- **执行**:某个候选能力能否被接入,适不适合当前环境,失败时如何继续。
- **结果**:用户是否接受、是否继续使用,以及任务有没有达到目标。
这些信号可能比一次泛曝光更接近真实需求,但是否更准确、更有价值,需要用实际任务验证。用户也完全可能只需要一个本地代码工具,并不愿意让它承担服务发现或购买入口。
Coding agent 的切入口不等于永远只服务程序员。如果 Endor 的对象与能力能够支持更多工作流,入口可以逐步从“帮我写一个程序”扩展为“帮我把这件事完成”。这种扩展是候选方向,不是已完成的用户覆盖。
## 与 Endor 对象世界的连接
[Endor 的意义](/docs/endor/endor-purpose-draft)提出以对象池组织工作对象、由 Agent 推进任务,并把操作权交还给用户与 AI。本提案从需求分发角度重新观察同一条路径,暂不替换原有定位。
假设用户说:“帮我做一个报名系统。”Coding agent 可以从头生成代码,也可以发现已有的报名、身份、通知或导出能力,在检查适配性和授权后复用。关键不只是找到一个链接,而是让能力能够在当前工作里实际使用。
| Endor 的既有讨论方向 | 在本提案中的潜在作用 | 尚需验证的部分 |
| --- | --- | --- |
| 对象、类型与可执行行为 | 让能力具备可识别的输入、输出和使用边界 | 类型可表达不等于自动理解全部业务,也不保证可安全组合 |
| 对象池与来源关系 | 让产出、依赖和后续工作能够继续关联 | 身份、版本、迁移和失败状态的实际成本 |
| Agent 承载任务 | 在需求出现时选择与组织能力 | 能否比从头生成或手工搜索更好地完成任务 |
| Tessera 等呈现入口 | 让用户查看候选、检查效果并继续操作 | 用户能否理解选择依据、商业关系与操作影响 |
| 挂载与运行位置 | 探索使用本地、自部署或平台侧的能力 | 可达性、兼容、权限和运行成本,不能假定跨端调用总能成功 |
这一连接的核心设想是:**别人做出的能力,能够成为 Agent 完成下一项真实任务时的候选;用户自己的产出,也可能在愿意共享时成为他人可用的能力。**
## 一个候选闭环:从生产工具到需求分发
1. 用户带着具体任务进入,Agent 先帮助完成工作,形成独立的工具价值。
2. 在重复需求出现时,识别哪些已有能力值得复用,而不是每次重新生成。
3. 能力提供者以某种待设计的方式描述用途、输入输出、版本、成本与使用条件。
4. Agent 根据任务适配性提出候选,用户按任务需要检查、选择和授权。
5. 执行产生结果,平台在允许的范围内记录成功、失败和用户反馈,改善后续匹配。
6. 供应者因为获得合适需求而继续提供能力,用户因为更容易完成任务而回来。
这个闭环能否形成网络效应,取决于新增供给是否改善匹配,以及新增需求是否吸引有价值的供给。如果新增的只是大量重复、低质量能力,反而可能增加筛选成本。
我们因此不能把“有很多用户和很多程序”直接等同于平台已经成立。必须证明任务分发创造了新增价值。
## 流量平台究竟分发什么
这里至少存在三种候选对象,不能混为一谈:
| 分发对象 | 例子 | 可以观察的有效结果 |
| --- | --- | --- |
| 注意力 | 用户查看一个能力的说明或演示 | 是否进入适合的评估,而非只增加曝光 |
| 任务与调用机会 | Agent 选择一个库、对象或外部服务 | 是否适配、成功执行并被用户接受 |
| 商业需求 | 用户决定购买服务、订阅能力或联系供应者 | 是否形成可归因的新增成交与持续使用 |
一个开源组件被复用,可能有用户价值而没有收入;一次付费服务调用,也不必然形成可持续的平台利润。曝光、调用、成交与留存需要分别衡量。
## 可能的商业模式,以及它们与用户利益的关系
以下只是待比较的选项,尚未确定定价、抽成比例、排序规则或结算机制。
- **Agent 订阅或执行收费**:用户为工具本身付费。先检验不依赖广告或交易抽成时,Endor 是否值得使用。
- **能力市场的交易服务费**:在确实帮助发现、执行或保障交易时收费,需要验证是否带来新增成交,以及双方是否愿意持续使用平台。
- **面向供应者的经营工具**:能力托管、版本维护、运行观测与支持等服务,收入来自提供的服务质量。
- **明确标识的商业推荐**:可能产生分发收入,但也最容易与任务适配产生冲突。应单独讨论,不能默认把付费排名混入 Agent 的技术判断。
一个必须正面处理的矛盾是:用户希望 Agent 帮自己找到最合适的方案,供应者可能希望付费换取更多推荐。如果商业利益损害用户判断,入口赖以成立的信任也会受损。
所以“伪装成 coding agent”不能演变成“用工具承诺获取信任,再偷偷出售决策”。用户应该理解谁提供能力、为何推荐、要付什么成本,以及是否存在商业关系。具体的展示和治理机制仍需设计。
## 这条路线最可能失败在哪里
首先,Coding agent 自身可能没有形成持续使用价值。一个不好用的工具不能靠市场叙事变成入口。
其次,能力复用未必比即时生成划算。对于简单、一次性的程序,AI 直接生成可能比发现、理解、适配和维护依赖更便宜。更值得验证的是有长期维护、真实数据、专业经验或外部执行资源的能力。
第三,用户可能多入口并用,供应者也可以直接服务用户。除非 Endor 持续提供匹配、执行、可靠性或关系维护价值,否则不应假定可以长期抽取渠道费用。
第四,能力分发会带来版本、兼容、质量、供应者退出与外部副作用等成本。对象可连接不代表这些问题消失,也不能把它们隐藏在一次看似顺滑的调用后面。
最后,平台入口本身也面临竞争。上游模型、现有开发工具、开源生态和其他任务入口都可能承担相同角色。我们不能先假定拥有垄断入口,再倒推出商业模式成立。
## 怎样把奇思妙想变成可以被否定的实验
先选择一个明确、重复出现的任务场景,例如前面的报名系统。保持材料、任务目标和辅助条件相近,比较三条正常可用的路径:用户手工寻找和组合、Agent 从头生成、Agent 发现并复用已有能力。不要刻意削弱对照方案。
| 假设 | 需要收集的证据 | 什么结果会削弱假设 |
| --- | --- | --- |
| 用户愿意把需求交给入口 | 完成真实任务后的再次使用与主动委托 | 只试用一次,后续仍回到原工具 |
| 能力复用优于重新生成 | 完成时间、总成本、成功率与维护负担 | 适配和依赖处理抵消全部节省 |
| 匹配带来有效需求 | 候选接受、成功调用、持续使用与新增成交 | 只有曝光或点击,没有任务结果 |
| 供给增长改善体验 | 新能力加入前后的任务覆盖和筛选成本 | 重复供给增加,选择更困难 |
| 分发不损害信任 | 用户对推荐原因和商业关系的理解、拒绝与切换行为 | 为变现偏离需求,用户难以判断或退出 |
| 商业模式能保留收益 | 收入扣除推理、运行、支持与获客后的贡献 | 调用量增长,但服务成本与获客投入更快增长 |
数值门槛应在具体实验开始前根据场景确定,不能看完结果后再改成功定义。任务完成、用户接受和商业转化也不能互相替代。
## 暂时保留的定位
对内部讨论,可以保留这句有冲击力的表达:**我们是一个伪装成 coding agent 的流量平台。**
展开来说:Endor 先通过 Agent 帮用户完成工作,再探索把真实需求与可执行能力连接起来,使生产、发现、选择、使用和持续维护形成连续过程。生产力工具是起点,需求分发平台是需要证明的可能性。
这条方向不依赖“所有流量一定涨价”,而依赖三个更具体的假设:用户愿意在这里交付真实任务;平台能比其他方式更好地匹配和执行能力;用户、供应者和平台都能保留足够价值。
本分支用于继续记录这类奇思妙想及其引出的修改。未经后续评估与明确合并决定,本提案保持探索状态,不据此改变主线产品承诺、推荐策略或部署行为。
+51
View File
@@ -0,0 +1,51 @@
# Smalltalk-80:从消息到交互系统
Smalltalk 把语言、类库和开发工具放进同一个可探索的对象世界。本教程以“消息怎样找到行为”为起点,逐步走到集合、进程、图形与 MVC,帮助你阅读经典系统中的类与方法。
**资料范围**:A. Mével、T. Guéguen 著《Smalltalk-80》,Macmillan Education,1987;英文版编辑 Mario Wolczko,翻译 M. J. Stewart。书中说明以 Xerox Version 2 Virtual Image 为基础。用户提供的扫描 PDF 共 190 页,正文印刷页 1–174 对应 PDF 页 12–185;印刷页 p 的 PDF 页为 p + 11。
这里是按学习任务重组的中文研究导读,覆盖原书 21 章的主要主题,保留章节与页码定位,不是逐页译本或完整 API 手册。补充示例为本文编写,预期值来自语义推演,未在 Smalltalk 镜像运行。本文没有对某个 Smalltalk 实现仓库做逐文件源码核验;“源码研究”是站点分类,阅读原书后仍需进入对应镜像浏览实际方法。
## 选择阅读路线
| 目标 | 路线 | 读完能做什么 |
| --- | --- | --- |
| 初次接触 | 消息 → 语法 → 类与方法 → 集合 | 读懂表达式,分清返回值与接收者 |
| 研究语言机制 | 类与方法 → 对象协议 → 反射 | 追踪查找起点、对象身份和类侧行为 |
| 研究交互系统 | 开发环境 → 图形 → MVC | 追踪一次选择如何改变模型并刷新视图 |
| 对照原书 | 下方映射表 → 各篇来源说明 | 找到对应章、印刷页和扫描页 |
## 教程目录
1. [消息与对象:理解执行模型](/docs/source-studies/smalltalk/messages)
2. [语法与块:读懂一段 Smalltalk](/docs/source-studies/smalltalk/syntax-and-blocks)
3. [类、方法与元类:行为放在哪里](/docs/source-studies/smalltalk/classes-and-methods)
4. [对象协议:身份、复制与依赖](/docs/source-studies/smalltalk/object-protocol)
5. [类的架构与反射:系统怎样描述自己](/docs/source-studies/smalltalk/reflection)
6. [基础类库:数值、集合与流](/docs/source-studies/smalltalk/collections-and-streams)
7. [进程与同步:协作执行的对象](/docs/source-studies/smalltalk/processes)
8. [图形系统:坐标、位图与绘制](/docs/source-studies/smalltalk/graphics)
9. [开发环境:浏览、检查与调试](/docs/source-studies/smalltalk/live-environment)
10. [MVC 与曲线案例:连接数据和界面](/docs/source-studies/smalltalk/mvc)
11. [术语、练习与原书对照](/docs/source-studies/smalltalk/reference)
## 原书与新结构
| 原章 | 印刷页 | PDF 页 | 本教程 |
| --- | --- | --- | --- |
| 1 Introduction;2 Principles | 1–8 | 12–19 | 消息与对象 |
| 3 Classes;5 Methods | 9–12;21–25 | 20–23;32–36 | 类、方法与元类 |
| 4 Syntax | 13–20 | 24–31 | 语法与块 |
| 7 Object | 31–39 | 42–50 | 对象协议 |
| 8 Architecture of Classes | 40–52 | 51–63 | 类的架构与反射 |
| 9 Magnitude;10 Numeric;11 Collection;12 Stream | 53–90 | 64–101 | 基础类库 |
| 13 Processes | 91–95 | 102–106 | 进程与同步 |
| 14 Point/Rectangle;15 Graphics | 96–117 | 107–128 | 图形系统 |
| 6 Interface;16–19 Windows/Browsers | 26–30;118–149 | 37–41;129–160 | 开发环境 |
| 20 User Events;21 MVC | 150–174 | 161–185 | MVC 与曲线案例 |
## 阅读约定
代码使用 `:=` 表示赋值、`^` 表示方法返回,替代扫描版的箭头符号;字符串用单引号,注释用双引号。`smalltalk` 代码块可复制,但页面不执行它们。历史类名与选择子保留原样,所有平台相关操作均以原书镜像为范围。
“现代化”体现在清晰的阅读路线、可搜索文本、代码块、对照表、语义链接与练习。本文不把 1987 年的鼠标操作、字符集、进程调度或 MVC API 当作所有今天实现的共同规范。
+53
View File
@@ -0,0 +1,53 @@
# 消息与对象:理解执行模型
> 原书依据:第 1–2 章,印刷页 1–8,PDF 页 12–19。
Smalltalk 的基本动作是:向一个接收者发送消息,由接收者的类决定执行哪个方法。数字、字符串、集合、类和块都能成为接收者。程序由相互发送消息的对象组成。
## 把表达式拆成三个部分
```smalltalk
8 + 5
'hello' size
#(10 20 30) at: 2
```
| 表达式 | 接收者 | 选择子 | 参数 | 推演结果 |
| --- | --- | --- | --- | --- |
| `8 + 5` | 整数 8 | `+` | 5 | 13 |
| `'hello' size` | 字符串 | `size` | 无 | 5 |
| `#(10 20 30) at: 2` | 数组 | `at:` | 2 | 20 |
消息是请求;方法是为响应请求而执行的实现。选择子标识这次请求的名称。不同类可以实现同一个选择子,因此同一条消息能够触发不同的行为。
## 变量保存引用
```smalltalk
| first second |
first := OrderedCollection new.
second := first.
first add: 8.
second size
```
预期最后得到 1:两个变量指向同一个集合。赋值没有自动复制集合。理解引用关系,是之后理解浅复制、模型共享和对象检查器的基础。
对象的状态与它支持的消息要分开看。调用方通过协议与对象协作;读取某个内部槽位的调试能力,不等于应用程序应依赖那个槽位。
## 表达式可以继续发送消息
```smalltalk
(8 + 5) printString
```
先得到 13,再向结果发送 `printString`。与之不同,`collection add: item` 的结果不一定是集合;链式发送前必须确认方法返回值。[语法篇](/docs/source-studies/smalltalk/syntax-and-blocks)解释如何用级联表达“始终向原接收者发送”。
## 镜像为什么重要
原书描述的 virtual image 是包含对象和类的系统世界。开发时可以浏览类、编译方法、检查运行对象并继续执行。语言工具和应用共享对象体系,使重用既有类库成为日常开发方式。
这是历史系统的组织方式;不能据此推断任意镜像的持久化、发布或隔离策略。研究时要同时记录类的定义和当前镜像状态,避免把一次手工修改当成可复现的工程成果。
## 自检
为何两个对象都能接收 `size`,却不需要有相同的数据布局?因为调用方依赖消息协议,各自的类提供方法。下一篇从词法和优先级说明如何读出真正发送的消息。
@@ -0,0 +1,81 @@
# 语法与块:读懂一段 Smalltalk
> 原书依据:第 4 章,印刷页 13–20,PDF 页 24–31。赋值和返回符号按导读约定规范化。
## 先识别字面量
| 写法 | 含义 |
| --- | --- |
| `42`、`16rFF`、`2.5` | 整数、十六进制整数、浮点数 |
| `$A` | 字符 |
| `'Ada'` | 字符串 |
| `'it''s'` | 包含单引号的字符串 |
| `#size`、`#at:put:` | 符号,常用于表示选择子 |
| `#(2 4 6)` | 字面量数组 |
| `[ :x | x + 1 ]` | 接受参数的块 |
`nil`、`true`、`false`、`self`、`super` 是具有特殊语义的伪变量,不能按普通局部变量赋值。不要把字符串 `'size'` 与符号 `#size` 混用。
## 三种消息与优先级
一元消息没有参数;二元消息接受一个参数;关键词消息通过带冒号的片段标出参数位置。`at:put:` 是一个选择子。
优先级为:**括号内表达式 → 一元消息 → 二元消息 → 关键词消息**。同级按从左到右处理,二元选择子没有传统乘除优先的规则。
```smalltalk
2 + 3 * 4 "推演为 20"
2 + (3 * 4) "推演为 14"
10 raisedTo: 2 + 3 "等价于 10 raisedTo: (2 + 3)"
```
`a at: 1 put: 9` 是一条消息。两个关键词调用连续出现时,用括号明确哪一个结果作为另一个的参数。
## 句点与分号
句点分隔表达式;分号让消息继续发给同一个接收者。
```smalltalk
| values |
values := OrderedCollection new.
values add: 4; add: 9; add: 16.
values size
```
这里三次 `add:` 的接收者都是 `values`。若要在一段级联表达式末尾取得集合本身,可发送 `yourself`:
```smalltalk
OrderedCollection new
add: 4;
add: 9;
yourself
```
## 块把计算推迟
```smalltalk
| square |
square := [ :n | n * n ].
square value: 6
```
创建块不执行块体;`value:` 传入参数并求值,预期结果是 36。无参数块接收 `value`,两个参数可用 `value:value:`。
控制流也可以用消息与块组织:
```smalltalk
| count total |
count := 1.
total := 0.
[count <= 4] whileTrue: [
total := total + count.
count := count + 1].
total
```
推演结果为 10。条件块每轮重新求值;把条件提前算成单个布尔对象,会失去更新后的判断。`ifTrue:ifFalse:` 则把两段待执行的分支交给布尔对象选择。
## 返回的边界
块通常返回最后一个表达式的值。方法若没有 `^` 显式返回,则默认返回接收者。块中的 `^` 涉及从其所属方法返回,不能简单理解成普通函数局部 return。本文示例避免把含非局部返回的块保存到方法退出之后;需要这样的用法时,应核对目标镜像的块实现。
练习:`3 + 4 factorial` 先执行哪条消息?先向 4 发送 `factorial`,再向 3 发送 `+`;按数学结果推演为 27。
@@ -0,0 +1,76 @@
# 类、方法与元类:行为放在哪里
> 原书依据:第 3 章和第 5 章,印刷页 9–12、21–25,PDF 页 20–23、32–36。
## 状态的可见范围
| 名称 | 用途 | 阅读时应问 |
| --- | --- | --- |
| 实例变量 | 每个实例自己的状态槽位 | 是否继承自父类? |
| 类变量 | 由类及相关子类共享的绑定 | 是否存在跨实例影响? |
| 全局变量 | 经系统字典访问的绑定 | 是否形成隐含依赖? |
| 池变量 | 多个类共享的变量集合 | 类定义引用了哪个池? |
| 参数、临时变量 | 一次方法或块计算的局部名称 | 生命周期与可赋值规则是什么? |
原书第 5 章明确限制对方法参数再赋值。本教程沿用不修改参数的写法,不把其他实现的语法扩展套回原书。
## 用一个小类串起语法
以下为本文编写的历史风格定义。类定义在 Browser 或相应定义工具中提交;后续方法分别安装在实例侧,不是把整段当作 Workspace 表达式执行。
```smalltalk
Object subclass: #StudyCounter
instanceVariableNames: 'count'
classVariableNames: ''
poolDictionaries: ''
category: 'Study-Examples'
```
实例侧方法:
```smalltalk
initialize
count := 0
```
```smalltalk
increment
count := count + 1
```
```smalltalk
value
^count
```
工作区中的使用示意:
```smalltalk
| counter |
counter := StudyCounter new.
counter initialize.
counter increment.
counter value
```
这里显式初始化,不依赖 `new` 是否自动发送 `initialize`。这些安装步骤和类定义消息需要在目标镜像核对。`increment` 没有显式返回,所以返回 `counter`;`value` 返回槽位保存的数值。
## 方法查找
普通消息从接收者的类开始找选择子,找不到就沿父类向上查找。原书的根类为 `Object`。整个链中没有对应方法时,进入 `doesNotUnderstand:` 协议。
重写方法只改变行为的选择,不把接收者换成父类对象。`self` 始终指向当前接收者。
## super 改变查找起点
假设 B 继承 A,C 继承 B;方法 `describe` 定义在 B 中。如果该方法发送 `super name`,查找从 A 开始,即便当前接收者是 C 的实例。若发送 `self name`,查找从接收者实际的类 C 开始。
因此 `super` 不是“父对象”。它保留同一接收者,按方法定义位置确定查找起点。
## 实例侧与类侧
`StudyCounter new` 的接收者是类对象;`counter increment` 的接收者是它的实例。类自身也是对象,类侧方法由元类组织。
读类侧构造方法时,要检查它究竟分配实例、初始化状态还是返回缓存对象。`new` 只是发给类对象的消息,不能把它视为所有类都必须遵循的固定语法。
原书的 primitive 方法把部分操作交给虚拟机。追踪执行路径时,需区分 Smalltalk 方法体与 VM 提供的原语;本教程没有验证任何 VM 的原语源码。
@@ -0,0 +1,51 @@
# 对象协议:身份、复制与依赖
> 原书依据:第 7 章,印刷页 31–39,PDF 页 42–50。
`Object` 提供许多基础协议。阅读子类时,既要看它新增了什么,也要看它重写了什么。
## 身份与相等
`==` 判断是否为同一对象;`=` 表达由类定义的相等关系。两个内容相同的集合可以是两个不同对象。修改其中一个是否影响另一个,还取决于它们内部引用是否共享。
`class` 返回所属类。`isMemberOf:` 针对确切的类;`isKindOf:` 包含继承关系。检查 `nil` 通常使用 `isNil` 或 `notNil`。面向协议设计时,不必为了发送每条消息都先做具体类判断。
## 浅复制复制的是哪一层
```text
原容器 ──→ 可变子对象
副本 ──→ 同一个可变子对象
```
浅复制产生新的外层对象,内部引用仍可指向相同子对象。给副本的某个槽位重新赋值,与修改该槽位所指子对象,是两种不同操作:前者改变副本自己的引用,后者可能被原对象观察到。
原书还讨论 `deepCopy` 和可被子类重写的 `copy`。深复制不应简单等同于“任意对象图都可以安全递归复制”:循环、共享关系和外部资源需要实现策略。本文没有对这些情况做运行验证。
## 表示与动态发送
| 消息 | 主要意图 |
| --- | --- |
| `printString` | 得到便于人阅读的表示 |
| `storeString` | 得到用于重建对象的源文本表示 |
| `perform:` | 用符号指定要发送的消息 |
| `perform:with:` | 动态发送带一个参数的消息 |
可读表示不等于持久化格式。动态发送也不是解析任意源代码:`perform:` 选择一个消息,而编译器求值会解释完整表达式。
## 用依赖通知连接对象
原书的依赖协议包含 `addDependent:`、`removeDependent:`、`changed:` 和 `update:`。模型改变后通知依赖者,让视图自行读取需要显示的状态。
```text
视图注册到模型
↓
模型状态修改 → changed: 某方面
↓
依赖者收到 update: → 重新读取模型 → 更新显示
```
通知描述“需要更新”,并不天然携带完整的新状态。实现时要明确通知粒度、订阅解除和是否可能形成递归更新。原书的键盘互斥示例说明对象之间可以靠依赖关系协调状态;最后的 MVC 案例继续使用这套机制。
## 阅读检查点
对一个复制操作,画出复制前后的引用箭头;对一次通知,列出谁订阅、谁修改、谁通知、谁重绘。这两张简图往往比逐个记忆方法名更能暴露误解。
+44
View File
@@ -0,0 +1,44 @@
# 类的架构与反射:系统怎样描述自己
> 原书依据:第 8 章,印刷页 40–52,PDF 页 51–63;结合第 3 章元类介绍。
类既组织实例行为,又作为对象接受消息。把“谁是谁的实例”与“谁继承谁”分成两条关系,才能读懂元类。
## 三个层次的责任
| 类 | 原书讨论的主要责任 |
| --- | --- |
| `Behavior` | 方法字典、实例创建和类层级操作 |
| `ClassDescription` | 变量名、分类、源码组织与编译相关描述 |
| `Class` | 表示通常使用的类对象 |
| `Metaclass` | 表示类对象所对应的元类 |
`Class` 和 `Metaclass` 都属于 `ClassDescription` 的子类体系。对于具体类对象,可以用 `class` 访问其元类;实例侧与类侧的方法分别组织在相应行为对象中。
原书元类部分文字较简略。不能据此把所有具体元类都画成直接继承 `Class` 的平面结构;具体元类的父类关系应在目标镜像中检查。
## 研究一次消息查找
```smalltalk
Integer superclass
Number subclasses
Number allSubclasses
```
这是向类对象发消息,查询系统结构。阅读结果时区分“直接子类”和“全部后代”;枚举顺序不应成为应用逻辑依赖。
方法字典把选择子映射到方法。查找协议从当前类的字典开始,再沿 superclass 关系继续。Browser 的实现者查询、类层级浏览和方法安装,都建立在这类可访问的描述结构上。
## 编译是系统服务
原书把方法编译、分类管理、变量名访问和类的文件导出放进类描述协议。由此可以理解:Browser 中接受一段方法文本,是向运行中的系统安装行为。
应分别记录:源文本、编译后方法、当前类结构,以及镜像中的对象状态。只导出源文本,并不一定包含恢复某个实验状态所需的全部数据。
## 多重继承的边界
第 8 章最后讨论多重继承。阅读时将“讨论的组织方案”与前面实际使用的单一父类查找链分开,不能因为书中出现这一节就宣称标准 Smalltalk-80 类定义普遍支持多重继承。
## 可复现的探索记录
在镜像中选择一个类,记录其父类、实例变量、实例侧选择子与类侧选择子;再选择一个继承而来的方法,注明实际定义类。这个小表可以验证你是否把类对象、实例和元类混在了一起。本文只给出检查路线,尚未在镜像执行。
@@ -0,0 +1,58 @@
# 基础类库:数值、集合与流
> 原书依据:第 9–12 章,印刷页 53–90,PDF 页 64–101。
这些章节适合按“要保存什么、如何比较、如何遍历”阅读。具体消息是否存在仍以书中 Version 2 镜像为范围。
## 有序值与数值
`Magnitude` 抽象可比较对象;原书讨论其下的 `Date`、`Time`、`Character` 与数值体系。日期和时间章节的构造协议具有历史性,不能直接当作时区或国际化指南。字符章节基于当时的有限字符集合,不能扩展成 Unicode 结论。
`Number` 的主要子类包含 `Integer`、`Fraction` 和 `Float`。整数层级还区分小整数与大整数。算术消息的结果可以由不同数值类表示,不能仅根据左操作数认定返回类型。
```smalltalk
1 / 3
7 // 2
7 \\ 2
```
在原书数值模型中,第一条可以表示精确分数,后两条分别体现整除和余数协议。这里的余数选择子写作两个反斜杠;使用其他方言时务必核对拼写和负数规则。浮点计算则要区分显示值和实际精度。
## 选择集合
| 集合 | 关注点 | 典型选择理由 |
| --- | --- | --- |
| `Array` | 固定长度、按位置访问 | 已知元素数量 |
| `OrderedCollection` | 保留顺序、可增删 | 动态列表 |
| `SortedCollection` | 根据排序关系组织 | 持续维护顺序 |
| `Set` | 去重 | 关心是否出现 |
| `Bag` | 保留重复次数 | 计数、频次 |
| `Dictionary` | 键到值的映射 | 命名索引 |
| `IdentityDictionary` | 以身份区分键 | 相等值仍需视为不同键 |
| `Interval` | 规则数列 | 数字范围遍历 |
| `LinkedList` | 链式组织 | 研究链节点协议 |
有索引不代表所有集合都使用相同索引语义;数组和序列类的常见索引从 1 开始。
## 四种遍历意图
```smalltalk
#(2 3 4) do: [ :n | n squared ].
#(2 3 4) collect: [ :n | n squared ].
#(2 3 4) select: [ :n | n > 2 ].
#(2 3 4) inject: 0 into: [ :sum :n | sum + n ]
```
`do:` 强调逐个执行,不收集块结果;`collect:` 映射结果;`select:` 保留满足条件的元素;`inject:into:` 累积一个值。依次推演,后三条分别表达平方序列、筛出 3 和 4、求和 9。结果容器类型取决于接收者协议,不能一概写为 Array。
`add:` 的返回值可能是加入的元素;对 Dictionary,`at:put:` 表示设置键值;对固定数组则是替换槽位。共享选择子并不抹平各类的约束。
## 流把位置与内容分开
`ReadStream`、`WriteStream` 和 `ReadWriteStream` 在底层集合之上维护读取或写入位置。`next`、`nextPut:`、`atEnd` 表达逐项读、逐项写和结束判断。`contents` 用于取得流的内容,`position` 与 `reset` 处理位置。
文件流把同一思路扩展到外部文件;原书还介绍 `FileDirectory`。不要把内存流的生命周期直接套给文件:外部资源需关闭,并明确失败与部分写入的处理方式。本文没有运行文件写入示例。
## 练习
对“保留输入顺序并允许重复”“按名称找对象”“统计同一值出现几次”,依次考虑 OrderedCollection、Dictionary、Bag。再问一层:键相等采用什么语义,修改键会不会破坏查找?带着这些问题去浏览实际类的方法,能比背类名得到更多信息。
+35
View File
@@ -0,0 +1,35 @@
# 进程与同步:协作执行的对象
> 原书依据:第 13 章,印刷页 91–95,PDF 页 102–106。
原书的 `Process` 是 Smalltalk 镜像中的执行活动。不能把这个名字直接解释为操作系统进程,也不能据此推断多核并行。
## 四类对象的分工
| 类 | 作用 |
| --- | --- |
| `Process` | 表示可恢复、可挂起的执行活动 |
| `ProcessorScheduler` | 按调度策略管理执行活动 |
| `Delay` | 表示一定时间的等待 |
| `Semaphore` | 协调活动之间的等待与信号 |
块可以作为执行活动的计算内容。是否立即运行、以什么优先级运行,要看创建和启动协议;不要把“创建 Process”和“已经执行完成”混为一谈。
## 等待不是空转
Delay 表达经过一段时间后再继续。Semaphore 的 `wait` 与 `signal` 表达同步关系。等待活动暂停后,其他可运行活动可以继续推进;反复检查共享变量的循环则可能消耗执行时间。
```text
消费者:等待信号 → 检查共享状态 → 取出结果
生产者:准备结果 → 更新共享状态 → 发出信号
```
这是一张概念顺序图,不是可直接运行的队列实现。仅有信号量不代表共享集合访问自动安全,还要定义互斥、空队列、重复信号和退出条件。
## 阅读调度代码的顺序
先找创建与启动位置,再找可能挂起的位置,最后沿恢复路径检查共享状态。重点记录“此处继续执行时,其他活动可能改过什么”。原书的优先级说明属于该系统调度模型,不是跨实现的性能保证。
## 思考题
如果发送信号后才写入结果,消费者恢复时能否看见完整状态?这取决于调度与同步保证;设计时应先完成状态转换,再通过约定的同步协议通知。研究时也要核对目标 VM 的具体行为。本教程未运行并发或调度测试。
+49
View File
@@ -0,0 +1,49 @@
# 图形系统:坐标、位图与绘制
> 原书依据:第 14–15 章,印刷页 96–117,PDF 页 107–128。
图形对象不是外接的独立语言。坐标、矩形、位图、光标和绘图动作都通过消息协议组织。
## Point 与 Rectangle
```smalltalk
12 @ 18
(12 @ 18) x
(12 @ 18) y
```
`@` 是向数字发送的二元消息,产生一个 Point。后两条分别取 x 与 y。因为 `@` 和 `+` 同为二元消息,混用时最好加括号。
Rectangle 表示矩形区域。阅读构造调用时要分清传入的是角点还是尺寸;阅读几何操作时要区分包含、相交、平移和缩放。边界点是否包含应核对具体方法,不能只凭图形直觉。
## 坐标系必须写在图旁
原书图形环境的屏幕坐标通常从左上向右下增加;数学曲线常要求 y 轴向上。因此绘制之前要说明对象坐标与显示坐标之间的转换。
```text
模型坐标 → 视图变换 → 显示坐标 → 裁剪 → 像素绘制
```
相同点在不同视图中可以对应不同屏幕位置。移动视口时只改变显示映射,不应顺便改变领域模型中的坐标。
## 从存储到绘制
| 对象 | 阅读重点 |
| --- | --- |
| `Bitmap` | 像素位信息的底层存储 |
| `DisplayObject` | 可显示对象的公共概念 |
| `DisplayText` | 文本的图形表示 |
| `Form` | 位图图像、尺寸与显示属性 |
| `Cursor` | 光标图形 |
| `DisplayScreen` | 屏幕显示对象 |
| `Path` | 图形路径 |
| `BitBlt` | 源区域到目标区域的位图传输与组合 |
| `Pen` | 以位置和移动描述绘图 |
研究 BitBlt 时记录源、目标、传输区域、裁剪范围和组合规则。它涉及像素组合,不只是语言层面的对象复制。Form 的副本若共享底层位图,修改像素仍可能影响原图;这与对象协议篇的浅复制问题相连。
## 曲线绘制的最小思路
把函数保存为块,对一系列 x 求 y,转换成显示点,再用线段连接。采样步长越大,细节越容易丢失。固定采样不是精度保证;异常值、坐标越界和不连续曲线都需要额外策略。
这是对原书曲线案例的阅读提示,不是新增的绘图运行时。下一篇先介绍如何借助系统工具观察这些对象,再进入 MVC 的连接过程。
@@ -0,0 +1,47 @@
# 开发环境:浏览、检查与调试
> 原书依据:第 6 章、第 16–19 章,印刷页 26–30、118–149,PDF 页 37–41、129–160。
原书使用三键鼠标与特定窗口菜单。现代阅读时,保留动作的目的:求值、查找行为、检查对象、定位调用现场。具体菜单位置和快捷键以使用的镜像为准。
## 从工作区开始
Workspace 是编辑和求值表达式的空间。原书区分执行选中文本的 `do it` 与执行后显示返回值的 `print it`。检查器则让你观察得到的对象。
```smalltalk
OrderedCollection new inspect
```
这段表达式会请求打开对象检查器;它不是网页中的交互按钮。运行前应准备具有相应 GUI 工具的镜像。
## Browser 看行为,Inspector 看状态
| 工具 | 主要问题 | 需要记录 |
| --- | --- | --- |
| Browser | 方法定义在哪里? | 类侧或实例侧、协议分类、定义类 |
| Inspector | 这个对象现在引用了什么? | 对象身份、槽位、子对象 |
| Debugger | 执行为什么到这里? | 调用链、接收者、参数、临时变量 |
| 文件浏览工具 | 源码怎样导入导出? | 文件内容、导入动作与当前镜像变化 |
| Form/Bit Editor | 图形数据怎样变化? | 图像对象与像素编辑结果 |
Browser 常按类分类、类、协议、方法逐层选择。协议分类是组织方法的标签,不应与消息选择子或语言类型系统混同。
## 沿选择子阅读源码
1. 在 Browser 中找到一个方法,确认实例侧还是类侧。
2. 查看 implementors,比较相同选择子在不同类中的实现。
3. 查看 senders,找出哪些方法发送这条消息。
4. 查实例变量引用,理解状态由谁读写。
5. 对具体对象求值并 inspect,核对静态阅读与实际状态是否一致。
senders 反映可被工具识别的引用;使用 `perform:` 的动态调用可能需要另外追踪。只看到一个实现者,也不能直接推断所有调用都落到它。
## 调试的四个视角
原书 Debugger 把调用链、代码、接收者检查器和局部变量检查器放在一起。某个对象不理解消息时,先检查接收者实际是什么,再检查参数,最后追踪调用者为何给它发送这个选择子。
修改运行系统中的方法可能影响其他窗口。为了复现,单独记录实验类、方法文本、镜像版本和预期结果,不把手工修复后的镜像当作原始系统状态。
## 一个建议实验
创建本教程的 StudyCounter,求值并 inspect;调用 increment 后再看 count;随后在 Browser 中查 value 的实现。实验将“表达式结果、对象状态、方法定义”连成一条路线。此实验尚未在本次任务执行。
+61
View File
@@ -0,0 +1,61 @@
# MVC 与曲线案例:连接数据和界面
> 原书依据:第 20–21 章,印刷页 150–174,PDF 页 161–185。曲线应用位于印刷页 167–174。
Smalltalk-80 的 MVC 是桌面交互对象之间的协作。不要直接把 View、Controller 与 Web 请求处理器或某个现代框架组件一一等同。
## 输入与职责
原书先介绍 `InputState` 与 `InputSensor`,再讨论 View、Controller 和 ControlManager。输入状态、输入读取和交互控制是相邻但不同的责任。
| 角色 | 保存或处理什么 | 对曲线应用的意义 |
| --- | --- | --- |
| Model | 应用数据与状态转换 | 曲线文本列表及当前选择 |
| View | 读取模型并显示,管理视图几何 | 列表显示、曲线图形 |
| Controller | 输入处理与操作协调 | 选择、菜单、编辑动作 |
| ControlManager | 活动控制器的管理 | 协调窗口交互 |
一个模型可以有多个视图。视图和控制器组成显示与交互的配对关系;模型不需要直接包含像素绘制代码。
## window 与 viewport
原书的 View 既有自身坐标范围,也有放到上层视图中的区域。曲线区域将数学坐标映射到窗口子区域,以便 y 轴向上,而屏幕坐标保持其约定。
调试错误显示时,先核对数据,再核对 window、viewport 和显示变换。模型数值正确不等于变换正确。
## 曲线案例的对象结构
原书以 `CurveList` 继承 `OrderedCollection`,增加当前曲线选择;以 `CurveListView` 继承 `View`,重定义绘制行为。列表视图复用 SelectionInListView,并用选择子告诉它如何访问列表、读取选择、改变选择和取得菜单。
```text
窗口 StandardSystemView
├─ 列表子视图 ──读写──→ CurveList
└─ 曲线子视图 ──读取──→ 同一个 CurveList
│
状态变化通知
↓
更新依赖视图
```
类名在扫描 OCR 中存在大小写混淆,本文按语义统一写作 CurveList 和 CurveListView;安装原版代码前应以页面图像与镜像类名复核。
## 追踪一次选择
1. 用户在列表中选择一条曲线。
2. 交互对象通过配置的选择子更新模型的当前选择。
3. 模型发送改变通知。
4. 依赖视图接收更新并重新读取模型。
5. 曲线视图清理绘制区域,将选择的文本求值为块。
6. 对采样点执行块,通过显示变换绘出折线。
这里“文本 → 块”是编译求值,不是普通数据解析。原书在可信镜像中演示原型编程;把这一机制用于接收外部输入的服务,需要另行设计输入语言与隔离策略。本文页面不执行用户代码。
## 增删改也是模型转换
添加曲线会收集文本、追加列表、重置选择并通知;删除会移除当前项、清空选择并通知;修改会替换列表中的相应文本,再使显示更新。无选择时的菜单与有选择时不同。
这说明通知应该位于状态转换之后,让所有视图看到一致状态。曲线文本、当前选择与显示结果应作为三个不同层次检查。
## 迁移设计思想
可以借鉴的组织方式是:将领域状态集中在模型,让输入动作调用明确的状态转换,由订阅者负责刷新显示。原书具体的窗口类、编译器调用和采样算法仍属于历史实现。本教程没有复原完整 GUI 程序或声称它已在当代实现中运行。
+68
View File
@@ -0,0 +1,68 @@
# 术语、练习与原书对照
> 来源范围:全书主要章节;各主题的精确印刷页与 PDF 页见[总览](/docs/source-studies/smalltalk/overview)。本篇练习和术语释义为整理者编写。
## 术语速查
| 原词 | 本文译法 | 区分要点 |
| --- | --- | --- |
| object | 对象 | 有身份、状态和行为的实体 |
| receiver | 接收者 | 本次消息发给谁 |
| message | 消息 | 对接收者的行为请求 |
| selector | 选择子 | 消息的名称,如 at:put: |
| method | 方法 | 某类提供的响应实现 |
| class / instance | 类 / 实例 | 行为组织与由其描述的对象 |
| metaclass | 元类 | 类对象所属的类 |
| protocol | 协议 | 一组协作消息;Browser 中也用于分类 |
| block | 块 | 延迟求值的计算对象 |
| cascade | 级联 | 以分号向同一接收者继续发送 |
| primitive | 原语 | 由虚拟机支持的底层操作 |
| identity / equality | 身份 / 相等 | 同一对象与值意义上的相等 |
| shallow copy | 浅复制 | 复制外层但可能共享内部对象 |
| dependent | 依赖者 | 注册后接收模型变化通知的对象 |
| image | 镜像 | 保存并运行对象系统的状态载体 |
| workspace | 工作区 | 编辑与求值表达式的工具 |
| browser | 类浏览器 | 查看、编辑类与方法的工具 |
| inspector | 对象检查器 | 查看具体对象状态的工具 |
| window / viewport | 坐标窗口 / 视口 | 自身坐标范围与显示映射区域 |
## 预测结果
以下是语义练习,答案为推演,未运行。
| 问题 | 答案与原因 |
| --- | --- |
| `2 + 3 * 4` | 20,二元消息从左到右 |
| `2 + (3 * 4)` | 14,括号改变次序 |
| `[ :x | x + 2 ] value: 5` | 7,value: 触发块求值 |
| 方法只有 `count := 9` 时返回什么? | 接收者,方法无显式返回 |
| B 中的方法对 C 实例发送 super 消息,从哪查找? | 从 B 的父类开始,接收者仍是 C 实例 |
| 浅复制后替换副本某个槽位,是否替换原件槽位? | 不会;修改共享子对象才可能双方可见 |
| do: 能否代替 collect: 收集块结果? | 不能直接代替,两者协议目的不同 |
| 给模型发送 changed: 是否自动修改模型数据? | 不应这样理解;先完成修改,再通知依赖者 |
## 三次源码阅读练习
**消息路线**:选择一个集合的 `size`,找实际定义类,再查看一个发送者;记录“接收者类 → 继承链 → 方法”。
**状态路线**:创建两个指向同一集合的变量,画引用图;再复制外层容器,比较替换槽位与修改子对象的差别。
**界面路线**:对原书曲线案例画出选择、修改模型、通知、重绘与显示变换,注明每一步所在对象。
完成实验时另记镜像名称、版本、源代码、实际输出和差异。本次任务只完成文档整理,没有运行这些实验。
## 扫描校勘与适用边界
| 扫描问题 | 本文处理 |
| --- | --- |
| 箭头被识别成 `<-`、字母或感叹号 | 赋值统一为 :=,返回统一为 ^ |
| Smalltalk-80 被识别成 Smalltalk-SO | 依据书名与语境规范化 |
| 选择子被拆开、类名大小写混淆 | 行文合并;具体 API 安装前再核对原页 |
| 第 4 章个别科学计数法示例数位不一致 | 不沿用异常数值作为例题 |
| 后部 GUI 源码嵌在截图中 | 解释调用结构,不将 OCR 文本冒充可运行源码 |
原书是学习 Smalltalk-80 系统的资料,不是本文对所有 Smalltalk 方言兼容性的承诺。全文以语义重述和新增短例组织;没有把原始扫描件、OCR 全文或本机下载路径发布到网站。
## 后续核验清单
准备目标镜像后,可分别验证类定义消息、初始化约定、块返回边界、数值除法、集合返回类型、信号量时序,以及 MVC 选择子与坐标变换。核验结果应与本文的语义推演分别记录,避免把“读过”写成“运行通过”。