(Translated by https://www.hiragana.jp/)
Smalltalk - 维基百科，自由的百科全书 跳とべ转到内容ないよう

Smalltalk

本页使用了标题或全文手工转换
维基百科ひゃっか，自由じゆう的てき百科ひゃっか全ぜん书
Smalltalk
编程范型面めん向こう对象，反射はんしゃ式しき
設計せっけい者しゃAlan Kay、Dan Ingalls（英えい语：Dan Ingalls）、Adele Goldberg（英えい语：Adele Goldberg (computer scientist)）
實じつ作者さくしゃAlan Kay、Dan Ingalls（英えい语：Dan Ingalls）、Adele Goldberg（英えい语：Adele Goldberg (computer scientist)）、Ted Kaehler（英えい语：Ted Kaehler）、Diana Merry（英えい语：Diana Merry）、Scott Wallace、Peter Deutsch、Xerox PARC其他人たにん
发行时间1972年ねん，​52年ねん前まえ​（1972）（開發かいはつ始はじめ於1969年ねん）
当とう前ぜん版本はんぽん
  • ANSI Smalltalk (1998年ねん5月がつ19日にち)[1]
編輯維基數據鏈接
型かた態たい系統けいとう強つよ、動態どうたい
作用さよう域いき词法（静せい态）
系けい统平台だいXerox Alto[2][3]
操作そうさ系けい统跨またが平台ひらだい
主要しゅよう實み作さく產品さんぴん
Amber（英えい语：Amber Smalltalk）, Dolphin（英えい语：Dolphin Smalltalk）, GemStone/S（英えい语：Gemstone (database)）, GNU Smalltalk, Pharo, Smalltalk/X, Squeak, VisualAge（英えい语：VisualAge）, VisualWorks（英えい语：VisualWorks）
衍生副ふく語かたり言げん
Self, GNU Smalltalk
啟發けいはつ語ご言げん
Lisp,[4] Simula,[4] Euler（英えい语：Euler (programming language)）,[4] IMP（英えい语：IMP (programming language)）,[4] Planner（英えい语：Planner (programming language)）,[4] Logo[5],Sketchpad,[4] ARPAnet,[4] Burroughs B5000（英えい语：Burroughs large systems）[4]
影響えいきょう語ご言げん
AppleScript, CLOS, Dart, Dylan, Erlang, Etoys（英えい语：Etoys (programming language)）, Falcon, Go, Groovy, Io, Ioke, Java, Lasso（英えい语：Lasso (programming language)）, Logtalk（英えい语：Logtalk）, Newspeak（英えい语：Newspeak (programming language)）, NewtonScript, Object REXX（英えい语：Object REXX）, Objective-C, PHP 5, Perl 6, Python, Ruby, Scala, Scratch, Self

Smalltalk是ぜ一いち种动态类型、反射はんしゃ式しき的てき面めん向こう对象编程语言。Smalltalk由ゆかり艾もぐさ伦·凯、Dan Ingalls、Ted Kaehler、Adele Goldberg等とう于1970年代ねんだい在ざい施ほどこせ乐帕羅奧おく多た研究けんきゅう中心ちゅうしん开始开发。

Smalltalk对其它众多た的てき程ほど序じょ设计语言的てき产生起せいき到いた了りょう极大的てき推动作用さよう，特別とくべつ是ぜObjective-C、CLOS、Python和わRuby等ひとし。1990年代ねんだい涌现的てき许多软件开发思想しそう都と得とく益えき于Smalltalk，例れい如设计模も式しき、敏捷びんしょう编程和わ代だい码重构[6]等ひとし。

概がい述じゅつ

[编辑]

Smalltalk和わ许多程ほど序じょ设计语言不同ふどう，它不仅仅是ぜ一いち门语言ごと。下面かめん从几个不同ふどう的てき角度かくど来らい解かい释Smalltalk。

  • 一种面向对象的程序设计语言：它是一种面向对象的语言，包含ほうがん语言的てき语法和わ语义。一些编译器可以透过Smalltalk源げん程ほど序じょ产生可か执行文こうぶん件けん。这些编译器き通常つうじょう产生一いち种能在ざい虚きょ拟机上うえ运行的てき二に进制代だい码。Smalltalk语言本身ほんみ非常ひじょう精せい炼。
  • 一种程序设计环境：这里指ゆび的てき是ぜ一いち种提供ていきょう许多对象的まと系けい统，而不是ぜ某ぼう种特殊こと的てき开发环境。和わ许多语言不同ふどう（包括ほうかつC++），Smalltalk附ふ带有一いち个巨大だい的てき、相当そうとう标准的てき类库。这些类使つかい得とく开发Smalltalk程ほど序じょ的てき效率こうりつ非常ひじょう高だか。在ざい其它语言（例れい如Ada、C和わPascal）中ちゅう，通常つうじょう被ひ作さく为语言げん的てき一いち部分ぶぶん的てき功こう能のう（例れい如条件じょうけん判断はんだん，循环等とう），在ざいSmalltalk由よし特定とくてい的てき类提供ていきょう。
  • 一个应用开发环境（ADE）：由よし于Smalltalk的てき历史原因げんいん，它具有ぐゆう一个非常优秀的高度集成、开放的てき应用开发环境。由よし于开发环境さかい中ちゅう的てき浏览器き、监视器き以及调试器き，都みやこ由ゆかり同どう样的源げん程ほど序じょ衍生出来でき的てき，不同ふどう的てき版本はんぽん之の间也具有ぐゆう相当そうとう好このみ的てき兼けん容よう性せい。此外，这些工具こうぐ的てき源みなもと程ほど序じょ都と可か以在ADE直接ちょくせつ存そん取と。

历史

[编辑]
Smalltalk-76
VisualWorks（英えい语：VisualWorks），派生はせい于Smalltalk-80 v2的てき商しょう业实现
Pharo，从Squeak v3.9分ふん叉また出で的てき派生はせい于Smalltalk-80 v1的てき开源实现

最早もはや的てきSmalltalk原型げんけい由ゆかり艾もぐさ伦·凯于1970年代ねんだい初はつ提出ていしゅつ。类（来らい自じSimula 67）、海うみ龟绘图（来らい自じLOGO）以及图形用よう户界面めん（来らい自じSketchpad等とう先さき驱系统）等ひとし概念的がいねんてき有ゆう机つくえ组合，构成了りょうSmalltalk的てき最初さいしょ的てき蓝图[5]。

在ざい1971年ねん到いた1975年ねん之の间，艾もぐさ伦·凯在Xerox PARC的てき小しょう组，在ざいXerox Alto计算机上きじょう，设计并实现了第だい一いち个真正しんせい的てきSmalltalk语言系けい统，編へん譯やく器き由よしDan Ingalls負ふ責せめ主要しゅよう實み作さく。这个系けい统被称しょう为Smalltalk-71與あずかSmalltalk-72，具有ぐゆう以下いか几个技わざ术创新しん：

  • 语言完全かんぜん基もと于消息しょうそく交换和わSimula 67的てき类的概念がいねん。
  • 语言没ぼつ有ゆう固定こてい的てき语法，语法分析ぶんせき由よし类本身ほんみ完成かんせい。

开发环境的てき革新かくしん相当そうとう迅速じんそく。虽然当とう时的位くらい图显示しめせ器き十じゅう分ふん昂のぼる贵，但ただし是ぜ艾もぐさ伦·凯却说服了りょうPARC，让他使用しよう这些位い图显示しめせ器き，这使得とく艾もぐさ伦·凯和他た的てき小しょう组，能のう够实现不同大どうだい小和おわ字体じたい的てき文字もじ，使用しよう多た窗まど口こう环境，以及一些对图像处理的高端支持。Smalltalk-72影かげ响了演えんじ员模型がた的てき发展[7]，它的语法和わ执行模型もけい，与あずか现代的てきSmalltalk变体有ゆう着ぎ显著的てき差さ异。

在ざい1975到いた1976年ねん间，艾もぐさ伦·凯小组认识到应当对执行ぎょう效率こうりつ和わ规模进行优化。于是他た们在许多重要じゅうよう方面ほうめん重おも新しん设计了りょうSmalltalk系けい统，被ひ称しょう为Smalltalk-76，它在语言上ごんじょう：

  • 引入了りょう继承和子わこ类的概念がいねん[8]。
  • 确定了りょう语言的てき语法，这使得とく编译器き能のう够产生せい高だか效こう、可か执行、精せい炼的二に进制代だい码。
  • 拉ひしげ里さと·泰たい斯勒设计了りょう类浏览器，这极大地だいち提ひさげ高だか了りょうSmalltalk程ほど序じょ员的编程效率こうりつ。

前述ぜんじゅつ的てき所有しょゆうSmalltalk系けい统，都みやこ是ただし在ざい特殊とくしゅ的てき硬かた件けん上じょう实现的てき，直ちょく到いた1977年ねん至いたり1978年ねん，Bruce Horn和わTed Kaehler把わSmalltalk-76移植いしょく到いたXerox NoteTaker（英えい语：Xerox NoteTaker）上うえ，它是由よしIntel 8086处理器き和わ自じ定てい显示器き所しょ组成的てき硬かた件けん环境。虽然这种硬かた件けん环境只ただ生せい产了10台だい，但ただし是ぜ它证明あきら了りょう在ざい通常つうじょう的てき处理器き上じょう实现Smalltalk的てき可能かのう性せい。

在ざい1979至いたり1980年ねん，部分ぶぶん受NoteTaker项目的もくてき影かげ响，Smalltalk小しょう组的注意ちゅうい力りょく转移到いたSmalltalk的てき销售可か行ぎょう性せい上じょう。小しょう组设计并实现了りょう新しん一代いちだい的てきSmalltalk系けい统，这次修おさむ改あらため的てき目め标着重じゅう于在标准硬かた件けん上じょう的てき移植いしょく性せい等とう方面ほうめん，被ひ称しょう为Smalltalk-80，它包括ほうかつ：

  • 采さい取とASCII码字符ふ集しゅう，摒弃了りょう原はら先さき在ざいSmalltalk-72和わSmalltalk-76中ちゅう使用しよう的てき特殊とくしゅ字じ符ふ。
  • 取消とりけし了りょう原始げんし方法ほうほう直接ちょくせつ存そん取と内うち存そん的てき能力のうりょく。取と而代之これ的てき是ぜ引入一系列的原始方法提供相应的功能。
  • 引入了りょう元もと类的てき概念がいねん[9]。
  • 引入MVC（模型もけい-视图-控ひかえ制せい器き）系けい统以方便ほうべん交互こうご式しき应用软件的てき开发。

Smalltalk-80是ぜ在ざいPARC之の外そと能のう获得到いた的てき第だい一个语言变体，最初さいしょ作さく为Smalltalk-80版本はんぽん1，给与了りょう少数しょうすう公司こうし（惠めぐみ普ひろし、苹果りんご公司こうし、泰やすし克かつ和わDEC）和かず大学だいがく（UC Berkeley），用よう于同行どうこう评审和かず在ざい它们自己じこ的てき平台ひらだい上じょう实现。后きさき来き在ざい1983年ねん普遍ふへん可か获得的てき实现，叫さけべ做Smalltalk-80版本はんぽん2，发行为虚きょ拟机规定和わ映像えいぞう（具有ぐゆう对象定てい义的独立どくりつ于平台だい的てき文ぶん件けん）[10]。

1988年ねんXerox PARC为了将はたSmalltalk推向市し场而成立せいりつ了りょう分ぶん拆公司こうしParcPlace Systems。ANSI Smalltalk自じ从1998年来ねんらい是ぜ标准的てき语言参考さんこう[11]。

两个当とう前ぜん流行りゅうこう的てきSmalltalk实现变体，是ぜ这些最初さいしょSmalltalk-80映像えいぞう的てき后きさき代だい。Squeak是これ开源实现，它经由よしApple Smalltalk[12]，派生はせい自じSmalltalk-80版本はんぽん1.03[13]。VisualWorks（英えい语：VisualWorks）经由Smalltalk-80 2.5和わObjectWorks（二に者しゃ都と是ぜParcPlace Systems的てき产品），派生はせい自じSmalltalk-80版本はんぽん2[10]。

面めん向こう对象编程

[编辑]
主しゅ条目じょうもく：面めん向こう对象编程
Smalltalk-80例れい子こ代だい码在Squeak下した的てき类层级和与あずか之これ并行的てき元もと类层级的てき示しめせ意い图。其中的てきr是これProtoObject，c是これClass，mc是これMetaclass。蓝色连接表示ひょうじ实例联系，绿色连接表示ひょうじ继承联系。

如同其他面めん向こう对象语言，Smalltalk-80（而非Smalltalk-72）的てき中心ちゅうしん概念がいねん是ぜ“对象” 。一个对象总是一个“类”的てき一いち个“实例”。类是描述它们的てき实例的てき属性ぞくせい和行かずゆき为的“蓝图”。例れい如，一いち个GUI窗まど口こう类，可か以声明せいめい窗まど口こう拥有的てき属性ぞくせい，比ひ如标签、位置いち和わ窗まど口こう是ぜ否いや可か见。这个类还可か以声明せいめい其实例れい支持しじ的てき操作そうさ，比ひ如打开、关闭、移うつり动和隐藏。每まい个特定とくてい窗まど口こう对象，对这些属性せい都と有ゆう自己じこ的てき值，它们每ごと个都能のう进行它的类定义的操作そうさ。

Smalltalk对象确切的てき可か以做三さん件けん事ごと：

  1. 持もち有ゆう状じょう态（引用いんよう到いた其他对象）。
  2. 接收せっしゅう消息しょうそく自じ本身ほんみ或ある其他对象。
  3. 在ざい处理一个消息的过程中，发送消息しょうそく至いたり本身ほんみ或ある其他对象。

一个对象持有的状态总是私有于这个对象。其他对象只ただ能のう通どおり过发动请求もとめ（消息しょうそく）至いたり这个对象，来らい让它做出查询或ある变更这个状じょう态。任にん何なん消息しょうそく可か以发送给任何なん对象：当とう接收せっしゅう到いた一个消息的时候，接收せっしゅう者しゃ确定这个消息しょうそく是ぜ否ひ合あい适。Alan Kay评论说，尽つき管かん关注于对象ぞう，消息しょうそく才ざい是ぜSmalltalk中ちゅう最さい重要じゅうよう的てき概念がいねん：“最大さいだい的てき想そう法ほう是ぜ消息しょうそく传递，它是Smalltalk/Squeak核心かくしん的てき全部ぜんぶ意い义所在しょざい（它是我わが们在Xerox PARC阶段从未真正しんせい完成かんせい的てき某ぼう种东西にし）。”[14]

不同ふどう于多数すう其他语言，Smalltalk对象可か以在系けい统运行ぎょう的てき同どう时进行ぎょう修おさむ改あらため。现场编码和わ飞速应用补丁，是ぜSmalltalk的てき主しゅ导编程ほど方法ほうほう论，并且是ぜ它高效こう的てき主要しゅよう原因げんいん。

Smalltalk是ぜ“纯”面めん向こう对象编程语言，这意味いみ着ぎ，不ふ像ぞうC++和わJava，在ざい作さく为对象ぞう的てき值和作さく为原始げんし类型的てき值之间没有ゆう区く别。在ざいSmalltalk中ちゅう，原始げんし值比如整数すう、布ぬの尔值和字わじ符ふ，也是对象，这么说的意い义在于它们也是ぜ相しょう应类的てき实例，而且要よう发送消息しょうそく来らい调用在ざい它们上じょう的てき运算。编程者しゃ可か以通过子こ类，改あらため变或扩展实现原始げんし值的类，使つかい得とく可か以向它们的てき实例定てい义新行ぎょう为，例れい如实现一个新的控制结构，甚至使し得とく它们现有行ぎょう为得以改变。这个事ごと实被总结成なり常つね听到的てき一いち句く短たん语：“在ざいSmalltalk中ちゅう，所有しょゆう东西都と是ぜ对象”，它可以更精せい确的表ひょう达为：“所有しょゆう的てき值都是ぜ对象”，因いん为变量りょう不ふ是ぜ。

因いん为所有しょゆう的てき值都是ぜ对象，类也是对象。每まい个类都と是ぜ这个类的元もと类的てき一いち个实例れい。元もと类都是ぜMetaclass（元もと类类）的てき实例，它也是ぜ对象，并且是ぜMetaclass class（元もと类元类）的てき实例。代だい码块是ぜSmalltalk表ひょう达匿名とくめい函数かんすう的てき方式ほうしき，它也是ぜ对象[15]。

Hello, World!例れい子こ

[编辑]

Hello, World!程ほど序じょ，实质上じょう被ひ所有しょゆう计算机つくえ语言的てき课本用作ようさく要よう学がく习的第だい一いち个程序じょ，它展示てんじ了りょう这个语言的てき最さい基本きほん语法和わ环境。对于Smalltalk，这个程ほど序じょ可か极其简单的てき书写。下した列代れつだい码中，消息しょうそくshow:被ひ发送给对象ぞうTranscript，具有ぐゆう字じ符ふ串くし文字もじ'Hello, World!'作さく为它的てき实际参さん数すう。调用show:方法ほうほう，导致它的实际参さん数すう，即そく字じ符ふ串くし文字もじ'Hello, World!'，显示在ざい叫さけべ做“副本ふくほん”（Transcript）的てき终端窗まど口こう： 

Transcript show: 'Hello, World!'.

注意ちゅうい需要じゅよう打だ开Transcript窗まど口こう，来らい看み到いた这个例れい子こ的てき结果。

语法

[编辑]

Smalltalk-80语法是ぜ相当そうとう极简主ぬし义的てき，只ただ基もと于了一小把的声明和保留字。事こと实上，Smalltalk中ちゅう只ただ保留ほりゅう了りょう六ろく个“关键字じ”：true、false、nil、self、super和わthisContext。它们的てき准じゅん确术语是“伪变量りょう”，是ぜ服ふく从变量りょう标识符ふ规则的てき标识符ふ，但ただし指示しじ了りょう编程者しゃ所しょ不能ふのう变更的てき绑定。true、false和わnil伪变量りょう是ぜ单例实例。self和わsuper，在ざい响应一个消息而激活的方法中，指ゆび称しょう这个消息しょうそく的てき接收せっしゅう者しゃ；但ただし是ぜ发送给super的てき消息しょうそく，在ざい这个方法ほうほう的てき定てい义类的てき超ちょう类中查找方法ほうほう，而非这个接收せっしゅう者しゃ的てき类中，这允许子类中的てき方法ほうほう调用在ざい超ちょう类中的てき同名どうめい方法ほうほう。thisContext指ゆび称たたえ当とう前まえ的てき活かつ动记录。

内うち建けん的てき语言构造只ただ有ゆう消息しょうそく发送、赋值、方法ほうほう返かえし回かい和かず某ぼう些对象ぞう的てき文字もじ语法。从它最初さいしょ作さく为给所有しょゆう年ねん龄儿童わらわ的てき语言开始，标准的てきSmalltalk语法以更像ぞう英えい语，而非主流しゅりゅう编码语言的てき方式ほうしき使用しよう标点符号ふごう。语言余あまり下部かぶ份，包括ほうかつ用よう于条件じょうけん求もとめ值和迭代的てき控ひかえ制せい结构，都みやこ由ゆかり标准Smalltalk类库实现在ざい内ない建けん构造之の上うえ。出で于性能せいのう上じょう的てき原因げんいん，实现可か以识别并特殊とくしゅ处理某ぼう些这种消息いき，但ただし这只是ぜ优化而并未み硬性こうせい规定入にゅう语言语法。

谚语“Smalltalk语法适合一いち张明信あきのぶ片へん”，所しょ提ひさげ及的是ぜRalph Johnson（英えい语：Ralph Johnson (computer scientist)）的てき一个代码片段，展示てんじ了りょう一个方法的所有基本标准语法元素[16]： 

exampleWithNumber: x
  | y |
  true & false not & (nil isNil) ifFalse: [self halt].
  y := self size + super size.
  #($a #a 'a' 1 1.0)
    do: [ :each |
      Transcript 
        show: (each class name);
        show: (each printString);
        show: ' ' ].
  ^x < y

文字もじ

[编辑]

下しも列れつ例れい子こ诠释了りょう最さい常用じょうよう的てき对象，可か以在Smalltalk-80方法ほうほう中ちゅう被ひ写うつし为文字もじ（英えい语：Literal (computer programming)）值。

数かず和字わじ符ふ

[编辑]

下しも列れつ是ぜ数すう的てき某ぼう些可能かのう例れい子こ： 

42
-42
123.45
1.2345e2
2r10010010
16rA000

最さい后きさき两个项目分ぶん别是二进制和十六进制数。在ざいr前まえ的てき数すう是ぜ底そこ数すう或ある基数きすう。基数きすう不ふ必须是ぜ二に的てき幂；例れい如36rSMALLTALK是ぜ一个有效的数值，等とう价于十じゅう进制的てき80738163270632。

字じ符ふ书写时带有ゆう前ぜん导的美び元もと符ふ： 

$A

字じ符ふ串くし

[编辑]

字じ符ふ串くし是ぜ包つつみ围在单引号ごう内的ないてき字じ符ふ序列じょれつ： 

'Hello, world!'

要よう在ざい一个字符串中包括一个引号，使用しよう另一个引号ごう来らい转义： 

'I said, ''Hello, world!'' to them.'

双そう引号不ふ需要じゅよう转义，因いん为单引号界かい定てい字じ符ふ串くし： 

'I said, "Hello, world!" to them.'

两个相等そうとう的てき字じ符ふ串くし（字じ符ふ串くし相等そうとう，如果它们包含ほうがん完全かんぜん相しょう同どう的てき字じ符ふ）可か以是驻留在ざい内ない存そん不同ふどう位置いち中ちゅう的てき不同ふどう对象。

符号ふごう

[编辑]

除じょ了りょう字じ符ふ串くし，Smalltalk有ゆう一いち类叫做符号ふごう（英えい语：Symbol (programming)）（Symbol）的てき字じ符ふ序列じょれつ对象。符号ふごう保ほ证是唯一ゆいいつ的てき，没ぼつ有作ゆうさく为不同どう对象的てき两个相等そうとう的てき符号ふごう。因よし此，符号ふごう非常ひじょう易えき于比较，并经常用じょうよう于语言げん构造中ちゅう，比ひ如用作さく消息しょうそく选择子こ。

符号ふごう被ひ写うつし为#跟随着ぎ字じ符ふ串くし文字もじ（英えい语：string literal）。比ひ如： 

#'foo'

如果一个序列不包含空白或标点字符，还可以写为： 

#foo

数かず组

[编辑]

例れい如定义了四个整数的一个数组： 

#(1 2 3 4)

很多实现支持しじ下か列れつ字じ节数组（ByteArray）的てき文字もじ语法，例れい如定义了四个整数的字节数组： 

#[1 2 3 4]

其他

[编辑]

最さい后きさき却重要じゅうよう的てき是ぜ块（匿名とくめい函数かんすう文字もじ）: 

[... 一いち些smalltalk代だい码 ...]

很多Smalltalk方言ほうげん为其他た对象实现了りょう额外的てき语法，但ただし是ぜ上述じょうじゅつ的てき是ぜ所有しょゆう方言ほうげん都と本ほん质上支持しじ的てき。

变量声明せいめい

[编辑]

在ざい各かく种Smalltalk中ちゅう共同きょうどう使用しよう的てき有ゆう两种变量：实例变量和わ临时变量。其他变量和かず有ゆう关术语依赖于特定とくてい实现，例れい如VisualWorks（英えい语：VisualWorks）有ゆう类共享とおる变量和名わみょう字じ空そら间共享とおる变量，而Squeak和かず很多其他实现，有ゆう类变量りょう、池いけ变量和わ全局ぜんきょく变量。

在ざいSmalltalk中ちゅう临时变量声明せいめい是ぜ在ざい方法ほうほう（见后）内ない声明せいめい的てき变量。它们声明せいめい在ざい方法ほうほう的てき顶部，作さく为由竖杠包つつみ围的空そら格かく分ぶん隔へだた的てき名字みょうじ。例れい如： 

| index |

声明せいめい一个临时变量名叫index，可か以包含ほうがん初はつ始はじめ值nil。

多た个变量りょう可か以在一いち组竖杠ゆずりは内ない声明せいめい： 

| index vowels |

声明せいめい了りょう两个变量：index和わvowels。所有しょゆう变量都と要よう初はつ始はじめ化か。字じ符ふ串くし的てき索引さくいん变量，初はつ始はじめ化か为null字じ符ふ或ある初はつ始はじめ为0的てきByteArray，此外的てき所有しょゆう变量初はつ始はじめ化か为nil。

按命名めいめい约定，实例变量、临时变量、方法ほうほう或ある块的参さん数すう，应当以小写字しゃじ母はは开头，指示しじ它们具有ぐゆう私有しゆう作用さよう域いき，它们合あい称しょう为局部ぶ变量。而全局きょく变量、类变量りょう、池いけ字典じてん、类名字みょうじ，应当以大写字しゃじ母はは开头，它们合あい称しょう为共享とおる变量。

赋值

[编辑]

变量通どおり过:=语法来らい指定してい一いち个值。比ひ如： 

vowels := 'aeiou'

指定してい字じ符ふ串くし'aeiou'至いたり前面ぜんめん声明せいめい的てきvowels变量。这个字じ符ふ串くし是ぜ个对象ぞう（在ざい单引号ごう之の间的字じ符ふ序列じょれつ是ぜ文字もじ字じ符ふ串くし的てき语法），在ざい编译时间由よし编译器き创建。

在ざい最初さいしょ的てきParc Place映像えいぞう中ちゅう，现在下か划线（_）的てき字形じけい，在ざい那な时是左ひだり向こう箭や头（←）字形じけい（就像1963年ねん版本はんぽんASCII代だい码中那な样）。Smalltalk最初さいしょ接受せつじゅ左ひだり向こう箭や头，作さく为唯一いち的てき赋值算さん符ふ。一些现代代码仍然包含充当赋值的下划线，会かい让人想起そうき这种最初さいしょ的てき用法ようほう。多数たすう现代的てきSmalltalk实现接受せつじゅ要よう么下划线，要よう么冒号ごう等号とうごう语法。

消息しょうそく

[编辑]

消息しょうそく是ぜSmalltalk中ちゅう最さい基もと础的语言构造。所有しょゆう控ひかえ制せい结构都と实现为消息しょうそく发送。Smalltalk缺かけ省しょう的てき采さい用よう动态分派ぶんぱ和わ单一分派ぶんぱ策略さくりゃく，这是相しょう对于其他一些面向对象语言使用的多た分派ぶんぱ而言的てき。

一元いちげん消息しょうそく

[编辑]

下しも列れつ例れい子こ是ぜ发送消息しょうそくfactorial至いたり数すう值42： 

42 factorial

在ざい这种情じょう况下，42叫さけべ做这个消息いき的てき“接收せっしゅう者しゃ”，而factorial是ぜ消息しょうそく的てき选择子こ。接收せっしゅう者しゃ通どおり过返回かい一个值来相应这个消息（这个情じょう形がた中ちゅう是ぜ42的てき阶乘）。同どう其他事物じぶつ一いち样，消息しょうそく的てき结果可か以赋值给一いち个变量りょう： 

aRatherBigNumber := 42 factorial

上面うわつら的てきfactorial是ぜ“一元いちげん”消息しょうそく，因いん为只涉わたる及了一いち个对象ぞう，即そく接收せっしゅう者しゃ。

关键字じ消息しょうそく

[编辑]

消息しょうそく可か以承载额外的がいてき对象作さく为实际参数すう，比ひ如： 

2 raisedTo: 4

在ざい这个表ひょう达式中ちゅう，涉わたる及了两个变量：2作さく为接收せっしゅう者しゃ而4作さく为消息いき的てき实际参さん数すう。消息しょうそく结果，或ある用ようSmalltalk的てき说法，回答かいとう被ひ认定为16。这种消息しょうそく叫さけべ做“关键字じ”消息しょうそく。消息しょうそく可か以有多た个实际参数すう，使用しよう如下语法: 

'hello world' indexOf: $o startingAt: 6

它的回答かいとう是ぜ在ざい接收せっしゅう者しゃ字じ符ふ串くし中ちゅう字じ符ふo的てき索引さくいん，从索引さくいん6开始查找。这个消息しょうそく的てき选择子こ是ぜindexOf:startingAt:，构成自じ两个部ぶ份或关键字じ。

这种关键字じ和わ实际参さん数すう的てき交织意い图改进代码的可か读性，因いん为实际参数すう由ゆかり前ぜん导于它们的てき关键字じ来らい解かい释。例れい如，要よう建立こんりゅう一个矩形的表达式使用C++或あるJava类语法ほう可か以写为： 

new Rectangle(100, 200);

不ふ清楚せいそ这些实际参さん数すう分ふん别是什么。与あずか之これ相反あいはん，在ざいSmalltalk中ちゅう，这个代だい码可以写为： 

Rectangle width: 100 height: 200

这个情じょう况下接收せっしゅう者しゃ是ぜRectangle类，回答かいとう是ぜ这个类的具有ぐゆう指定してい宽度和わ高度こうど的てき一いち个实例れい。

二元にげん消息しょうそく

[编辑]

最さい后きさき，多数たすう特殊とくしゅ（非ひ字母じぼ）字じ符ふ可か以被用作ようさく所しょ谓的“二元にげん消息しょうそく”。这些允まこと许了数学すうがく和わ逻辑算さん符ふ以传统形式しき书写： 

3 + 4

它发送消息しょうそく+给接收せっしゅう者しゃ3，具有ぐゆう4作さく为实际参数すう传递（回答かいとう将はた是これ7）。类似的てき： 

3 > 4

将はた消息しょうそく>发送给3具有ぐゆう实际参さん数すう4（回答かいとう将はた是これfalse）。

注意ちゅうい，Smalltalk-80语言自身じしん，不ふ包含ほうがん着ぎ这些算さん符ふ的てき含义。上述じょうじゅつ的てき结果，都と只ただ是ぜ这些消息しょうそく的てき接收せっしゅう者しゃ（这里是ぜ数すう值实例れい），为了响应消息しょうそく+和わ>而定义并返かえし回かい的てき。这个机つくえ制せい的てき副作用ふくさよう是ぜ运算符ふ重じゅう载，消息しょうそく>可か以被其他对象所しょ理解りかい，允まこと许使用しよう形がた如a > b的まと表ひょう达式来らい比ひ较它们。

表おもて达式

[编辑]

一元消息可以一个接一个的写成方法ほうほう链式调用： 

3 factorial factorial log

它发送おくfactorial到いた3，接着せっちゃく发送factorial到いた前面ぜんめん的てき结果6，接着せっちゃく发送log到いた前面ぜんめん的てき结果720，产生最さい终的结果2.85733。

一个表达式可以包括多次消息发送。在ざい这个情じょう况下，表おもて达式依よ据すえ一个简单的优先级次序来分析。一元消息有最高的优先级，随ずい后きさき是ぜ二に元げん消息しょうそく，最さい后きさき是ぜ关键字じ消息しょうそく。例れい如： 

3 factorial + 4 factorial between: 10 and: 100

被ひ求もとめ值如下か：

  1. 3接收せっしゅう消息しょうそくfactorial并回答かいとう6
  2. 4接收せっしゅう消息しょうそくfactorial并回答かいとう24
  3. 6接收せっしゅう消息しょうそく+具有ぐゆう24作さく为实际参数すう并回答かいとう30
  4. 30接收せっしゅう消息しょうそくbetween:and:具有ぐゆう10和わ100作さく为实际参数すう并回答かいとうtrue

最さい后きさき的てき消息しょうそく发送的てき回答かいとう，是ぜ整せい个表达式的てき结果。

组合

[编辑]

在ざい需要じゅよう的てき时候使用しよう圆括号ごう可か以改变求值的次序じじょ。例れい如： 

(3 factorial + 4) factorial between: 10 and: 100

将はた改あらため变表达式含义，首しゅ先さき计算3 factorial + 4产生10。接着せっちゃく10接收せっしゅう第だい二に个factorial消息しょうそく，产生3628800。3628800接着せっちゃく接收せっしゅうbetween:and:，回答かいとうfalse。

注意ちゅうい由よし于二に元げん消息しょうそく的てき含义，不ふ是ぜ硬性こうせい规定入にゅうSmalltalk-80语法的てき，它们全部ぜんぶ都と被ひ认为有ゆう相等そうとう的てき优先级，并简单的从左至いたり右みぎ来らい求もとめ值。因よし此，使用しよう二に元げん消息しょうそく的てきSmalltalk表ひょう达式的てき含义，可能かのう不同ふどう于传统释义： 

3 + 4 * 5

被ひ求もとめ值为(3 + 4) * 5，产生35。要よう得え到いた预期回答かいとう23，必须使用しよう圆括号ごう来らい显式的てき定てい义运算さん次序じじょ： 

3 + (4 * 5)

复合

[编辑]

以点号ごう分ぶん隔へだた的てき表示ひょうじ式しき按顺序じょ执行。注意ちゅうい在ざい变量定りょうてい义和随ずい后きさき的てき表ひょう达式之の间没有ゆう点てん号ごう。一个表达式序列的值，是ぜ最さい后きさき的てき表ひょう达式的てき值。除じょ了りょう最さい后きさき的てき表ひょう达式之の外そと，所有しょゆう的てき表ひょう达式的てき值都被ひ忽ゆるがせ略りゃく。注意ちゅうい点てん号ごう是ぜ分ぶん隔へだた符ふ而并非ひ终结符ふ，因いん此最终的点てん号ごう是ぜ可か选的。

下しも列れつ（假想かそう）例れい子中こなか，书写了りょう一いち序列じょれつ的てき表ひょう达式，每まい个都用よう点てん号ごう分ぶん隔へだた。这个例れい子こ首くび先さき建立こんりゅう类Window的てき一いち个新实例，存そん储它在ざい一いち个变量りょう中ちゅう，接着せっちゃく向こう它发送两个消息しょうそく： 

| window |
window := Window new.
window label: 'Hello'.
window open

级联

[编辑]

如果像ぞう上述じょうじゅつ例れい子こ这样，将はた一序列消息都发送给相同的接收者，它们也可以写为方法ほうほう级联调用，具有ぐゆう用よう分ぶん号ごう分ぶん隔へだた的てき单独消息しょうそく： 

Window new
  label: 'Hello';
  open

这种将はた前面ぜんめん例れい子こ的てき重おも新しん为一个单一表达式，避免了りょう对将新しん窗まど口こう存そん储在临时变量的てき需要じゅよう。依よ据すえ平常へいじょう的てき优先级规则，首しゅ先さき向むこうWindow类发送一いち元げん消息しょうそくnew，接着せっちゃく向むかいnew回答かいとう的てき那な个对象ぞう，发送label:和わopen。

可か以使用しようyourself消息しょうそく来らい返かえし回かい一个级联消息的接收者。

代だい码块

[编辑]

块是これ头等对象。代だい码块即そく匿名とくめい函数かんすう，可か以被表ひょう达一个文字もじ值（它是一いち个对象ぞう，因いん为所有しょゆう值都是ぜ对象）。这是通どおり过方括くく号ごう达成的てき： 

[ :params | <消息しょうそく表ひょう达式> ]

这里的てき:params是ぜ代だい码可以接受せつじゅ的てき形式けいしき参さん数すう的てき列れつ表ひょう。结果的てき块对象ぞう可か以形成けいせい一いち个闭包：它可以在任ざいにん何なん时间访问它外围的词法作用さよう域内いきない的てき变量。这意味いみ着ぎ下か列れつSmalltalk代だい码： 

[:x | x + 1]

可か以理解りかい为：，或ある用ようλらむだ演算えんざん表おもて达为： : 。

块可以通过发送给它们value消息しょうそく来らい执行。块有一いち个参数すう用ようvalue:，有ゆう2个参数すう使用しようvalue:value:，以此类推直ちょく到いた4个参数すう，对多于4个参数すう使用しようvalueWithArguments:并将参さん数すう作さく为数组传递。例れい如下面めん的てき表ひょう达式： 

[:x | x + 1] value: 3

可か以被求もとめ值为：，或ある用ようλらむだ演算えんざん表ひょう达为：。

块返回かい（常つね称しょう为回答かいとう）其主体しゅたい的てき最さい后きさき一个表达式的值，除じょ非ひ有ゆう一いち个由显式的てき^指示しじ的てき返かえし回かい，这时返かえし回かい这个返かえし回かい表ひょう达式的てき值。在ざい块内部ないぶ的てき返かえし回かい，充当じゅうとう了りょう一いち种逃出で（escape）机つくえ制せい。在ざい一个嵌套的块表达中的返回表达式，将はた终止在ざい字面じめん上包うわづつみ围的方法ほうほう。

块的文字もじ表示ひょうじ是ぜ一いち种创新しん，它一方面允许特定代码有更重大的可读性；它允许涉及迭代だい的てき算法さんぽう一更清晰和简洁的方式编码。典型てんけい的てき在ざい某ぼう些语言ごと中ちゅう使用しよう循环写うつし成なり的てき代だい码，可か以在Smalltalk中ちゅう使用しよう块简洁的书写，有ゆう时在单一一いち行ぎょう之これ内ない。更さら加か重要じゅうよう的てき，块允许使用しよう消息しょうそく和わ多た态来らい表ひょう达控制せい结构，因いん为块推延了りょう计算，而多态可以用来らい选择交替こうたい者しゃ（alternative）。所以ゆえん在ざいSmalltalk 80中ちゅう，if…then…else被ひ书写和わ实现为： 

expr ifTrue: [ expr为真时求值的语句 ] ifFalse: [ expr为假时求值的语句 ]

再さい举一いち例れい，向こう一个搜集发送消息select:： 

positiveAmounts := allAmounts select: [:anAmount | anAmount isPositive]

注意ちゅうい这与函数かんすう式しき编程有ゆう关，这里的てき计算模も式しき被ひ抽象ちゅうしょう成なり了りょう高こう阶函数すう。select:等とう价于在ざい一いち个适当とう的てき函はこ子こ上うえ的てき高だか阶函数すうfilter[17]。

控ひかえ制せい结构

[编辑]

在ざいSmalltalk中ちゅう控ひかえ制せい结构没ぼつ有ゆう特殊とくしゅ的てき语法。它们转而实现为发送おく到いた对象上じょう的てき消息しょうそく。以条件じょうけん执行为例，布ぬの尔类Boolean定てい义了ifTrue:、ifFalse:、ifTrue:ifFalse:和わifFalse:ifTrue:方法ほうほう。比ひ如向一个布尔对象，发送ifTrue:消息しょうそく，并传递一个代码块作为实际参数，这个块被执行当とう且仅当とう布ぬの尔接收せっしゅう者しゃ为真。下面かめん用よう一いち个例子来こらい展示てんじ： 

result := a > b
  ifTrue: [ 'greater' ]
  ifFalse: [ 'less or equal' ]

块也被ひ用もちい来らい实现，用よう户定义控制せい结构、枚まい举器、访问者しゃ、异常处理、可か插拔的てき行ぎょう为和很多其他模も式しき。

迭代

[编辑]

下面かめん例れい子こ，从一个字符ふ串くし中ちゅう过滤出で其中所しょ含有がんゆう的てき元もと音おと字じ符ふ： 

| aString vowels |
aString := 'This is a string'.
vowels := aString select: [:aCharacter | aCharacter isVowel].

在ざい最さい后きさき一いち行ぎょう，向こう字じ符ふ串くし对象aString发送一いち个select:消息しょうそく，它具有ぐゆう一いち个代码块[:aCharacter | aCharacter isVowel]作さく为实际参数すう。这个代だい码块，表示ひょうじ一いち个测试，代だい码块文字もじ将はた被ひ用作ようさく一いち个谓词函数すう，它回答かいとうtrue，当とう且仅当とう这个字じ符ふ串くし的てき一いち个元素げんそaCharacter，应当被ひ包括ほうかつ在ざい满足这个测试的てき字じ符ふ搜さがせ集しゅう之の中なか。

字じ符ふ串くし类String响应select:消息しょうそく，要よう调用的てきselect:方法ほうほう，定てい义并实现在ざい搜さがせ集しゅう类Collection中なか[18]；它将给select:的てき实际参さん数すう选择块，传送给形式しき参さん数すうaBlock；然しか后きさき将はた绑定了りょう选择块的aBlock嵌入かんにゅう到いた迭代块的代だい码之中ちゅう，再さい把わ这个迭代块作为向字じ符ふ串くし自身じしん发送的てきdo:消息しょうそく的てき实际参さん数すう，从而将はた这个字じ符ふ串くし所しょ包含ほうがん的てき每まい个字符ふ，都と作さく为实际参数すう传送给这个迭代だい块，而各做一いち次じ求もとめ值。在ざい求もとめ值迭代だい块的时候，通つう过value:消息しょうそく，将はた迭代元素げんそ传送给aBlock所ところ绑定的てき选择块，它回答かいとう一いち个布尔值；接着せっちゃく向こう它发送おくifTrue:消息しょうそく，如果这个布ぬの尔值是ぜ对象true，则将这个字じ符ふ增加ぞうか到いた要よう返かえし回かい的てき字じ符ふ串くし中ちゅう。

字じ符ふ串くし类String响应do:消息しょうそく，要よう调用的てきdo:方法ほうほう，定てい义在可か迭代类Iterable中なか[19]，而实现在可か序列じょれつ化か搜さがせ集しゅう类SequenceableCollection中なか[20]，这个类是Iterable类的子こ类和String类的超ちょう类。

异常处理

[编辑]

Smalltalk的てき异常处理机つくえ制せい，Exception类及其子类比如Error类，类似于CLOS的てき异常处理样式，使用しよう块作为处理り器き： 

[ 一いち些运算さん. 
  Error signal: 'an error occurred'.
  另一些运算さん
] on: Error do: [ :ex | 
  处理器き代だい码. 
  ex return ]

异常处理器き的てきex实际参さん数すう，提供ていきょう对挂起おこり运算的てき状じょう态的访问，比ひ如它的てき栈帧、行くだり号ごう、接收せっしゅう者しゃ和わ实际参さん数等すうとう，并且通どおり过发送おくex proceed、ex reject、ex restart或あるex return之これ一いち，还可用よう来らい控ひかえ制せい计算怎样继续。

类

[编辑]

类通过实例れい变量定りょうてい义它的てき实例的てき结构，通つう过方法定ほうてい义它的てき实例的てき行ぎょう为。每まい个方法ほうほう都と有ゆう叫さけべ做选择子的てき一いち个名字みょうじ，它在这个类之内ない是ぜ唯一ゆいいつ性的せいてき。

定てい义

[编辑]

下面かめん是ぜ个平凡へいぼん的てき类定义[21]： 

Object subclass: #MessagePublisher
  instanceVariableNames: ''
  classVariableNames: ''
  poolDictionaries: ''
  category: 'Smalltalk Examples'

多数たすう这种定てい义经常つね由よし编程环境来らい填はま充たかし。这里的てき类定义是给Object类的一いち个消息いき，用よう来らい建立こんりゅう它叫做MessagePublisher的てき一いち个子类。

在ざいSmalltalk中ちゅう类是头等对象，它可以就像ぞう任にん何なん其他对象一いち样接收せっしゅう消息しょうそく，并可以在执行时间动态的てき创建。Object类在收おさむ到いた这个subclass:instanceVariableNames:classVariableNames:poolDictionaries:category:消息しょうそく之の时，原はら则上首くび先さき在ざい其元もと类Object class中ちゅう查找对应方法ほうほう，未み果はて而上溯さかのぼ继承链在其超类Class类中找到对应方法ほうほう实现。

在ざいSmalltalk中ちゅう，实例变量（英えい语：Instance variable）是ぜ这个实例的てき私有しゆう变量，它可以在定てい义它们的类的任にん何なん实例方法ほうほう中ちゅう，还有在ざい它的子こ类中定てい义的方法ほうほう中ちゅう，通つう过名字みょうじ来らい访问。在ざい需要じゅよう于一个类的てき所有しょゆう实例、这个类本身ほんみ和わ它的子こ类之间，共きょう享とおる某ぼう个数据すえ的てき时候，要よう使用しよう类变量りょう（英えい语：Class variable），它是由よし这个类和它的所有しょゆう实例共ども享とおる的てき私有しゆう变量。池いけ变量是ぜ在ざい可か以没有ゆう继承关联的てき多た个类之の间共享とおる的てき变量。池いけ变量最初さいしょ存そん储在池ち字典じてん中ちゅう，现在它们应当被ひ定てい义为专门的てき类（SharedPool的てき子こ类）的てき类变量りょう。

category指示しじ有ゆう关的类的“群ぐん组”，在ざい现代Smalltalk版本はんぽん如Pharo中ちゅう被ひ替がえ代だい为package，包つつみ系けい统是利用りよう简单的てき命名めいめい约定，组织Squeak和わPharo源みなもと代だい码的简单而轻量りょう级的方式ほうしき。

在ざい一个类所对应的元もと类中ちゅう定てい义的实例变量叫さけべ做类实例变量，每まい个类都と有ゆう自己じこ私有しゆう的てき类实例れい变量，子し类将继承这些类实例れい变量，但ただし是ぜ子こ类会拥有这些变量的てき它们自己じこ的てき私有しゆう复本，类和它们的てき子こ类不分ぶん享とおる类实例れい变量。例れい如，可か以定义一个类实例变量叫做count来らい跟踪一个给定的类有多少实例。

类不能ふのう直接ちょくせつ访问它的实例的てき实例变量，而实例れい不能ふのう访问它们的てき类的类实例れい变量。如果需要じゅよう的てき话必须定义变异子こ与あずか访问子こ。

方法ほうほう

[编辑]

当とう一个对象接收到一个消息的时候，调用匹ひき配はい这个消息しょうそく名字みょうじ的てき一いち个方法ほう。所有しょゆう方法ほうほう都と是ぜ公こう开的和わ虚きょ拟的てき（也就是ぜ动态查找的まと）。方法ほうほう被ひ分ぶん组入指示しじ它们意い图的协议（protocol）之これ中ちゅう。

为一个类增加方法涉及到Behavior类，其中的てきcompile:方法ほうほう，编译一个方法源代码并返回一个CompiledMethod类的实例；addSelector:withMethod:方法ほうほう，将はた给定的てき一个编译过的方法增加到方法字典中。在ざいBehavior类的子こ类ClassDescription类中，compile:classified:方法ほうほう，编译一个方法的源代码，并为这个方法ほうほう指ゆび派は上じょう给定的てき归类（对于方法ほうほう称しょう为协议）。

对象负责在ざい运行时间动态的てき确定，执行哪个方法ほうほう来らい响应一いち个消息いき，尽つき管かん在ざい很多语言中ちゅう，这可能かのう是ぜ（有ゆう时或总是）在ざい编译时间静せい态确定じょう的てき。下した列代れつだい码定义一个方法ほうpublish，并且这个定てい义将在ざい这个对象收おさむ到いたpublish消息しょうそく的てき时候发生。 

publish
  Transcript show: 'Hello World!'

下しも列れつ名字みょうじ为#quadMultiply:and:的てき方法ほうほう，演えんじ示しめせ了りょう接收せっしゅう多た个实际参数すう并返回かい一いち个值： 

quadMultiply: i1 and: i2
  "这个方法ほうほう将はた给定的てき两个数すう相乘そうじょう并对结果乘じょう以4."
  | mul |
  mul := i1 * i2.
  ^mul * 4

执行任にん何なん前ぜん导了^（脱字だつじ符ふ或ある↑）的てき表ひょう达式，都と导致这个方法ほうほう于这一いち点てん退出たいしゅつ，并返回かい这个表ひょう达式的てき值。终止而没有ゆう显式返かえし回かい某ぼう个表达式的てき一いち个方法ほう，将はた隐含的てき返かえし回かい自身じしん。

实例化か

[编辑]

为一个类新建一个实例，要用ようよう到いたnew方法ほうほう，它定义在Behavior类中。下した列れつ例れい子こ代だい码： 

MessagePublisher new

建立こんりゅう并返回かいMessagePublisher类的一いち个新实例。它典型がた的てき会かい被ひ赋值到一いち个变量りょう： 

publisher := MessagePublisher new

但ただし是也これや可か以向一个临时的匿名对象发送一个消息： 

MessagePublisher new publish

类方法ほう

[编辑]

类方法ほう就是在ざい一いち个类的てき元もと类中ちゅう定てい义的方法ほうほう。

比ひ如搜集しゅう类Collection的てき类方法ほう中ちゅう，实例创建方法ほうほう有ゆうwith:、with:with:[22]、一いち直ちょく到いたwith:with:with:with:with:with:方法ほうほう。在ざい下面かめん的てき例れい子中こなか，将はたwith:with:用よう于有序じょ搜さがせ集しゅう类OrderedCollection，它是SequenceableCollection类的子こ类，故こ而能最さい终上溯さかのぼ至いたり超ちょう类搜集しゅう类： 

| rectangles aPoint collisions |
rectangles := OrderedCollection
  with: (Rectangle left: 0 right: 10 top: 100 bottom: 200)
  with: (Rectangle left: 10 right: 10 top: 110 bottom: 210).
aPoint := Point x: 20 y: 20.
collisions := rectangles select: [:aRect | aRect containsPoint: aPoint].

反射はんしゃ

[编辑]
主しゅ条目じょうもく：反射はんしゃ式しき编程

反射はんしゃ是ぜ一个计算机科学术语，适用于有能力のうりょく检查它们自己じこ的てき结构的てき软件程ほど序じょ，例れい如检查它们的分析ぶんせき树或ある输入和わ输出参さん数すう的てき数かず据すえ类型。反射はんしゃ是ぜ动态、交互こうご式しき语言比ひ如Smalltalk和わLisp的てき一いち个特征せい。具有ぐゆう反射はんしゃ的てき交互こうご式しき程ほど序じょ（要よう么解释的要よう么编译的）维护所有しょゆう内ない存そん内ない对象的てき状じょう态，包括ほうかつ代だい码对象ぞう自身じしん，这是在ざい解析かいせき/编译期き间生成せいせい的てき，并且是ぜ在ざい编程上じょう可か访问和かず修おさむ改あらため的てき。

反射はんしゃ也是Smalltalk这种有元ありもと模型もけい的てき语言的てき一いち个特征せい。元もと模型もけい是ぜ描述这个语言的てき模型もけい，开发者しゃ可か以使用しよう元もと模型もけい来らい做事，比ひ如游历、检查和かず修おさむ改あらため一个对象的分析树，或ある找到特定とくてい种类的てき结构的てき所有しょゆう实例（例れい如在元もと模型もけい中ちゅうMethod类的所有しょゆう实例）。

Smalltalk-80是ぜ完全かんぜん的てき反射はんしゃ式しき系けい统，用ようSmalltalk-80语言实现。Smalltalk-80提供ていきょう了りょう结构性せい和わ计算性せい反射はんしゃ二に者しゃ。Smalltalk是ぜ结构性せい反射はんしゃ式しき系けい统，其结构是由ゆかりSmalltalk-80对象定てい义的。定てい义这个系统的类和方法ほうほう也是对象，并且完全かんぜん是ぜ它们所有しょゆう助力じょりょく定てい义的系けい统的一部いちぶ份。Smalltalk编译器き将文まさふみ本源ほんげん代だい码编译成方法ほうほう对象，典型てんけい是ぜ的てきCompiledMethod的てき实例。通つう过把它们存そん储入一いち个类的てき方法ほうほう字典じてん，而增加ぞうか到いた这个类。类层级的定てい义类的てき那な部ぶ份，可か以向系けい统增加ぞうか新しん类。这个系けい统是通どおり过运行ぎょう建立こんりゅう或ある定てい义类和わ方法ほうほう的てきSmalltalk-80代だい码来扩展的てき。Smalltalk-80系けい统是个现场（living）系けい统，承うけたまわ载着在ざい运行时间扩展自身じしん的てき能力のうりょく。

因いん为类是ぜ对象，可か以向它们提ひさげ问比如：“你实现了哪些方法ほうほう？”或ある“你定义了什么字じ段だん/槽ふね/实例变量？”。所以ゆえん通どおり过能应用于系统中的てき任にん何なん对象的てき普通ふつう的てき代だい码，对象可か以轻易えき的てき检查、复制、（去さ）序列じょれつ化か，诸如此类[23]。

Smalltalk-80还提供ていきょう计算性せい反射はんしゃ，有能ゆうのう力りょく观察系けい统的计算状じょう态。在ざい派生はせい自じ最初さいしょSmalltalk-80的てき语言中ちゅう，一个方法的当前活动（activation），可か以作为通过伪变量命名めいめい的てき一个对象来访问，这个伪变量りょう是ぜ作さく为六个保留字之一的thisContext。通つう过发送消息しょうそく至いたりthisContext，一个方法活动可以提问比如：“谁给你发送了りょう这个消息しょうそく？”。这些设施使し得とく有ゆう可能かのう实现协程，或ある类似Prolog的てき回かい溯さかのぼ，而不需要じゅよう修おさむ改あらため虚きょ拟机。异常系けい统也是ぜ使用しよう这个设施实现的てき。这个设施更さら有ゆう趣おもむき的てき用法ようほう之の一いち，是ぜ在ざいSeaside（英えい语：Seaside (software)） web框かまち架か之の中なか，它通过为每ごと个编辑的页面存そん储续体，并在它们之の间切换来导航一いち个web站点，缓解了りょう编程者しゃ处理Web浏览器き的てき返かえし回かい按钮的てき复杂性せい。使用しようSeaside编程web服ふく务器，可か以使用よう更さら常つね规的编程风格来らい完成かんせい[24]。

Smalltalk如何いか使用しよう反射はんしゃ的てき一いち个例子こ，是ぜ处理错误的てき机つくえ制せい。当とう一个对象被发送了一个它没有实现的消息的时候，虚きょ拟机发送给这个对象ぞうdoesNotUnderstand:消息しょうそく，具有ぐゆう这个消息しょうそく的てき实化作さく为实际参数すう。这个消息しょうそく（它是另一个对象ぞう，是ぜMessage的てき实例），包含ほうがん这个消息しょうそく的てき选择子こ和わ它的实际参さん数すう的てき一いち个Array。在ざい交互こうご式しきSmalltalk系けい统中，doesNotUnderstand:的てき缺かけ省しょう实现，是ぜ打だ开一个错误窗口こう（一いち个Notifier）向むかい用よう户报告つげ错误。通つう过它和わ反射はんしゃ设施，用よう户可以检查错误在其中发生的てき上下じょうげ文ぶん，重じゅう新定しんじょう义犯错的代だい码，并继续，这一切都在这个系统之中，使用しようSmalltalk-80的てき反射はんしゃ设施[25][26]。

通つう过建立こんりゅう只ただ理解りかい（实现）doesNotUnderstand:的てき一いち个类，可か以建立こんりゅう一いち个实例れい，经由它的doesNotUnderstand:方法ほうほう能のう拦截发送给它的てき任にん何なん消息しょうそく。这种实例可か以叫做透明とうめい代理だいり（proxy）[27]。可か以使用しよう这种代理だいり来らい实现很多设施，比ひ如分布ぶんぷ式しきSmalltalk，这里的てき消息しょうそく在ざい多た个Smalltalk系けい统之间交换，和わ数すう据すえ库接口こう，这里的てき对象透明とうめい的てき从数据すえ库中排除はいじょ错误，还有promise等ひとし。分布ぶんぷ式しきSmalltalk的てき设计影かげ响了如CORBA这样的てき系けい统。

基もと于映像ぞう的てき持久じきゅう存そん储

[编辑]

多数たすう流行りゅうこう的てき编程系けい统，将はた静しずか态的程ほど序じょ代だい码（以类定てい义、函数かんすう或ある过程的てき形式けいしき），分ふん离于动态的てき或ある运行时间的てき程ほど序じょ状じょう态（比ひ如对象かたど或ある其他形式けいしき的てき程ほど序じょ数すう据すえ）。它们在ざい程ほど序じょ启动的てき时候装そう载程序じょ代だい码，而任何なん先さき前まえ的てき程ほど序じょ状じょう态必须从配置はいち文ぶん件けん或ある其他数すう据すえ源げん显式的てき重おも新しん建立こんりゅう。程ほど序じょ（和わ编程者しゃ）未み显式保存ほぞん的てき设置，在ざい每次まいじ重じゅう启时都と必须再さい次つぎ设立。传统的てき程ほど序じょ在ざい每次まいじ程ほど序じょ保存ほぞん一いち个文件けん、退出たいしゅつ和重かずえ载的时候，还失去さ很多有用ゆうよう的てき文ぶん档信息いき。这会失しつ去さ细节比ひ如回退すさ历史或ある光ひかり标位置いち。基もと于映像ぞう的てき系けい统不会かい因いん为计算さん机つくえ关闭或あるOS更新こうしん，而强制きょうせい失しつ去さ所有しょゆう这些东西。

但ただし是ぜ很多Smalltalk系けい统，不ふ区分くぶん程ほど序じょ数すう据すえ（对象）和代かずよ码（类）。事こと实上，类也是ぜ对象。因よし此，多数たすうSmalltalk系けい统，存そん储整个程序じょ状じょう态（包括ほうかつ类和非ひ类对象二しょうじ者しゃ）在ざい一いち个映像えいぞう（英えい语：system image）文ぶん件けん之の中なか。这个映像えいぞう可か以接着せっちゃく由よしSmalltalk虚きょ拟机装そう载，将はた类Smalltalk系けい统恢复成先さき前まえ的てき状じょう态[28]。这是受到了りょうFLEX的てき启发，它是Alan Kay创建的てき语言并描述じゅつ于他的てき科学かがく硕士毕业论文中ちゅう[29]。

Smalltalk映像えいぞう类似于（可か重じゅう启的）核心かくしん转储，并可以提供与きょうよ核心かくしん转储相しょう同どう的てき功こう能のう，比ひ如延迟或远程调试，具有ぐゆう对出错时刻こく的てき程ほど序じょ状じょう态的完全かんぜん访问。将はた应用代だい码建模も为某种形式しき的てき数すう据すえ的てき其他语言比ひ如Lisp，也经常つね使用しよう基もと于映像ぞう的てき持久じきゅう存そん储。这种持久じきゅう存そん储的方法ほうほう，对于快速かいそく开发是ぜ强力きょうりょく的てき，因いん为所有しょゆう开发信しん息いき（比ひ如程序じょ的てき解析かいせき树），都と保存ほぞん而利用りよう于调试。但ただし是ぜ它作为一个真实的持久存储机制，也有やゆう一いち个严重じゅう的てき缺点けってん。首くび先さき，开发者しゃ可能かのう经常想おもえ要よう隐藏实现细节，并使它们在ざい运行时间不可ふか获得。出で于法律ほうりつ和わ维护的てき原因げんいん，允まこと许任何人なんにん在ざい运行时间修おさむ改あらため程ほど序じょ，对于在ざい运行时间环境不ふ暴露ばくろ源げん代だい码的编译后きさき的てき系けい统，不可避ふかひ免めん的てき介入かいにゅう复杂性せい和わ潜在せんざい的てき错误。其次，尽つき管かん持久じきゅう存そん储机制せい易えき于使用しよう，它缺乏けつぼう多数たすう多用たよう户系统需要じゅよう的てき真正しんせい持久じきゅう存そん储能力りょく。最さい明あかり显的是ぜ进行同どう多た个用户并行ぎょう访问相しょう同どう的まと数すう据すえ库的事ごと务[30]。

实现列れつ表ひょう

[编辑]

OpenSmaltalk

[编辑]

OpenSmaltalk VM（OS VM）是ぜSmalltalk运行时环境さかい的てき著名ちょめい实现，很多现代Smalltalk VM基もと于或派生はせい自じ它[31]。OS VM自身じしん是ぜ从一组Smalltalk源げん代だい码文件けん（它们叫さけべ做VMMaker），转译成なり原生げんせいC语言源げん代だい码（通つう过使用しよう叫さけべ做Slang的てき转译器き[32][33]），它依次じ再さい针对特定とくてい平台ひらだい和かず硬かた件けん架か构来编译，实际上じょう确使Smalltalk映像えいぞう的てき跨またが平台ひらだい执行。源みなもと代だい码可以在GitHub上じょう获得并在MIT许可证下しも发布。OS VM的てき知名ちめい派生はせい者しゃ有ゆう：

  • Squeak，一いち个开源げんSmalltalk。
  • Pharo Smalltalk，一いち个开源げん跨またが平台ひらだい语言。
  • Croquet VM，Croquet OS的てき一いち个与Squeak有ゆう关的Smalltalk VM。
  • Cuis-Smalltalkf[34]，一いち个开源げん的てき小型こがた、简洁和わ适用的てきSmalltalk。
  • Haver-Smalltalk[35]，Cuis的てき具有ぐゆう完かん整せい模も块系统的扩展。

JavaScript VM

[编辑]
  • PharoJS[36]，一个开源的从Smalltalk到いたJavascript的てき转译器き，扩展了りょうPharo环境。
  • SqueakJS[37]，用よう于web的てき一いち个OpenSmalltalk兼けん容よう的てきVM，还能运行老ろう旧きゅう的てきSqueak应用如Etoys（英えい语：Etoys (programming language)）或あるScratch。

其他

[编辑]

参まいり见

[编辑]

引用いんよう

[编辑]
  1. ^ https://wiki.squeak.org/squeak/172.
  2. ^ Alto I Schematics (PDF). Bitsavers: 54. [21 July 2016]. （原始げんし内容ないよう (PDF)存そん档于2021-02-24）. 
  3. ^ History of Computers and Computing, Birth of the modern computer, Personal computer, Xerox Alto. [2016-04-19]. （原始げんし内容ないよう存そん档于2020-12-05）. 
  4. ^ 4.0 4.1 4.2 4.3 4.4 4.5 4.6 4.7 Kay, Alan; Stefan Ram. E-Mail of 2003-07-23. Dr. Alan Kay on the Meaning of “Object-Oriented Programming”. 2003-07-23 [2009-01-03]. （原始げんし内容ないよう存そん档于2020-09-16）. 
  5. ^ 5.0 5.1 Alan Kay. The Early History of Smalltalk. 1993 [2021-03-06]. doi:10.1145/155360.155364. （原始げんし内容ないよう存そん档于2011-04-29）. What Sketchpad called masters and instances, Simula called activities and processes. Moreover, Simula was a procedural language for controlling Sketchpad-like objects, thus having considerably more flexibility than constraints (though at some cost in elegance) ……. ……
    This Smalltalk language (today labeled -71) was very influenced by FLEX（英えい语：Flex (programming language)）, PLANNER（英えい语：Planner (programming language)）, LOGO, META II（英えい语：META II）, and my own derivatives from them. ……
    One of the styles retained from Smalltalk-71 was the comingling of function and class ideas. In other works, Smalltalk-72 classes looked like and could be used as functions, but it was easy to produce an instance (a kind of closure) by using the object ISNEW. ……
    Overlapping windows were the first project tackled (With Diana Merry) after writing the code to read the keyboard and create a string of text. ……
    One of the next classes to be implemented on the Interim Dynabook (after the basics of numbers, strings, etc.) was an object-oriented version of the LOGO turtle implemented by Ted. ……
    Our early “LISP-pair” definition is an example of an abstract data type because it preserves the “field access” and “field rebinding” that is the hallmark of a data structure. …… What I got from Simula was that you could now replace bindings and assignment with goals. ……
    Where does the special efficiency of object-oriented design come from? …… Four techniques used together – persistent state, polymorphism, instantiation, and methods-as-goals for the object – account for much of the power. None of these require an “object-oriented language” to be employed – ALGOL 68 can almost be turned to this style – and OOPL merely focuses the designer’s mind in a particular fruitful direction. ……
    Simula-I had neither classes as objects nor inheritance. Simula-67 added the latter as a generalization to the ALGOL-60 <block> structure. ……
    On the other hand, since things can be done with a dynamic language that the difficult with a statically compiled one, I just decided to leave inhertance out as a feature in Smalltalk-72, knowing that we could simulate it back using Smalltalk’s LISPlike flexibility. ……
    By the time Smalltalk-76 cam along, Dan Ingalis had come up with a scheme that was Simula-like in its semantics but could be incrementally changed on the fly to be in accord with our goals of close interaction.     
  6. ^ Where Did Refactoring Come From?. sourcemaking.com. [17 December 2013]. （原始げんし内容ないよう存そん档于2016-03-31）. 
  7. ^ Carl Hewitt（英えい语：Carl Hewitt）; Peter Bishop, Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence (PDF). IJCAI. 1973 [2022-04-11]. （原始げんし内容ないよう (PDF)存そん档于2021-02-25）. Alan Kay whose FLEX and SMALLTALK machines have influenced our work. Alan emphasized the crucial importance of using intentional definitions of data structures and of passing messages to them. This paper explores the consequences of generalizing the message mechanism of SMALLTALK and SIMULA-67; ……. 
  8. ^ Learning Research Group. How To Use the Smalltalk-76 System (PDF) (报告). Xerox Palo Alto Research Center. October 1979 [2022-03-12]. （原始げんし内容ないよう (PDF)存そん档于2022-04-12）. To define a new class, select a class category in the first pane of the browse window. This selection specifies the category to which the new class will be added, and causes a template to appear in the largest pane of the browse window, the code pane. ……
    The template presented in the code pane looks as follows
        Class new title: ’NameofClass’
        subclassof: Object
        fields: ’names of fields’
        declare: ’names of class variables’     
  9. ^ Alan Kay. The Early History of Smalltalk. [2021-03-06]. （原始げんし内容ないよう存そん档于2011-04-29）. The most puzzling strange idea – at least to me as a new outsider – was the introduction of metaclasses (really just to make instance initialization a little easier – a very minor improvement over what Smalltalk-76 did quite reasonably already).
    Peter’s 1989 comment is typical and true: “metaclasses have proven confusing to many users, and perhaps in the balance more confusing than valuable.” In fact, in their PIE system, Goldstein and Bobrow had already implemented in Smalltalk on “observer language”, somewhat following the view-oriented approach Ihad been advocating and in some ways like the “perspectives” proposed in KRL [Goldstein *].
    Once one can view an instance via multiple perspectives even “sem-metaclasses” like Class Class and Class Object are not really necessary since the object-role and instance-of-a-class-role are just different views and it is easy to deal with life-history issues includeding instantiation. This was there for the taking (along with quite a few other good ideas), but it wsn’t adopted. My guess is that Smalltalk had moved into the final phase I memntioned at the beginning of this story, in which a way of doing things finally gets canonized into an inflexible belief structure.     
  10. ^ 10.0 10.1 Smalltalk-80 v2 image. [2022-02-16]. （原始げんし内容ないよう存そん档于2022-03-20）. 
  11. ^ Draft American National Standard for Information Systems - Programming Languages - Smalltalk (PDF). squeak.org. [2022-02-09]. （原始げんし内容ないよう (PDF)存そん档于2021-10-20）. 
  12. ^ Apple Smalltalk 80. [2022-05-22]. （原始げんし内容ないよう存そん档于2022-05-30）. 
  13. ^ Squeak V1 Sources. [2022-02-24]. （原始げんし内容ないよう存そん档于2017-06-27）. 
  14. ^ Kay, Alan. Prototypes vs Classes (e-mail on Squeak list). October 10, 1998 [2021-03-06]. （原始げんし内容ないよう存そん档于2021-02-16）. 
  15. ^ Goldberg, Adele; Robson, David. Smalltalk-80 The Language. Addison Wesley. 1989: 31, 75–89. ISBN 0-201-13688-0. 
  16. ^ Squeak: A minimalist syntax! (PDF). [2021-03-06]. （原始げんし内容ないよう (PDF)存そん档于2018-06-13）. 
    Object-Oriented Design with Smalltalk — a Pure Object Language and its Environment (PDF). [2021-03-06]. （原始げんし内容ないよう (PDF)存そん档于2021-01-21）. 
  17. ^ Goldberg, Adele; Robson, David. Smalltalk-80 The Language. Addison Wesley. 1989: 17–37. ISBN 0-201-13688-0. 
  18. ^ Collection Method Definitions: 
    select: aBlock 
  "Answer a new instance of a Collection containing all the elements
   in the receiver which, when passed to aBlock, answer true"
  | newCollection |
  newCollection := self copyEmpty.
  self do:
    [:element | (aBlock value: element) ifTrue: [newCollection add: element]].
  ^newCollection
  19. ^ Iterable Method Definitions: 
    do: aBlock
  "Enumerate each object of the receiver, passing them to aBlock"
  self subclassResponsibility
  20. ^ SequenceableCollection Method Definitions: 
    do: aBlock
  "Evaluate aBlock for all the elements in the sequenceable collection"
  1 to: self size do: [:i | aBlock value: (self at: i)]

    Interval Method Definitions: 

    do: aBlock
  "Evaluate the receiver for each element in aBlock"
  | i |
  i := start. step > 0 
    ifTrue: [[i <= stop] whileTrue: [aBlock value: i. i := i + step]]
    ifFalse: [[i >= stop] whileTrue: [aBlock value: i. i := i + step]]
  21. ^ Goldberg, Adele; Robson, David. Smalltalk-80 The Language. Addison Wesley. 1989: 39–53. ISBN 0-201-13688-0. 
  22. ^ Collection Method Definitions: 
    Collection class >> with: firstObject with: secondObject 
  "Answer a collection whose only elements are the parameters
   in the order they were passed"
    ^(self new)
      add: firstObject;
      add: secondObject;
      yourself
  23. ^ Clark, A.N. Metaclasses and Reflection in Smalltalk. 1997. 
  24. ^ Ducasse, Stéphane; Lienhard, Adrian; Renggli, Lukas. Seaside – A Multiple Control Flow Web Application Framework (PDF). scg.unibe.ch. Software Composition Group Institut fur Informatik und angewandte Mathematik Universitaat Bern, Switzerland. [16 December 2013]. （原始げんし内容ないよう (PDF)存そん档于2020-01-31）. 
  25. ^ Foote, Brian; Johnson, Ralph. Reflective Facilities in Smalltalk-80. Oopsla '89. 1–6 October 1989: 327–335 [16 December 2013]. ISBN 0897913337. doi:10.1145/74877.74911. （原始げんし内容ないよう存そん档于2021-03-24）. 
  26. ^ Smith, Brian C. Procedural Reflection in Programming Languages. MIT Technical Report. 1982-01-01, (MIT-LCS-TR-272) [16 December 2013]. （原始げんし内容ないよう存そん档于2015-12-13）. 
  27. ^ Denker, Marcus; Peck, Mariano Martinez; Bouraqadi, Noury; Fabresse, Luc; Ducasse, Stéphane. Efficient Proxies in Smalltalk (PDF). [2021-03-07]. （原始げんし内容ないよう (PDF)存そん档于2021-03-03）. 
  28. ^ Image-Based Persistence. book.seaside.st. [17 December 2013]. （原始げんし内容ないよう存そん档于2013-12-17）. 
  29. ^ Kay, Allen. FLEX – A flexible extendable language. University of Utah MSC Thesis. 1968 [2021-03-08]. （原始げんし内容ないよう存そん档于2018-07-18）. 
  30. ^ Fowler, Martin. Memory Image. martinfowler.com. [17 December 2013]. （原始げんし内容ないよう存そん档于2021-05-07）. 
  31. ^ OpenSmalltalk/opensmalltalk-vm, OpenSmalltalk, 2020-11-03 [2020-11-08], （原始げんし内容ないよう存そん档于2021-03-10） 
  32. ^ Slang. wiki.squeak.org. [2020-11-08]. （原始げんし内容ないよう存そん档于2021-06-08）. 
  33. ^ A Guide to the S-Lang Language (v2.3.0): Preface. jedsoft.org. [2020-11-08]. （原始げんし内容ないよう存そん档于2019-08-27）. 
  34. ^ Cuis Smalltalk. [2022-02-16]. （原始げんし内容ないよう存そん档于2022-02-07）. 
  35. ^ Haver-Smalltalk. [2022-02-12]. （原始げんし内容ないよう存そん档于2022-02-12）. 
  36. ^ PharoJS. [2022-05-17]. （原始げんし内容ないよう存そん档于2022-05-01）. 
  37. ^ SqueakJS. [2022-05-17]. （原始げんし内容ないよう存そん档于2022-05-01）. 
  38. ^ Smalltalk/X. [2022-02-12]. （原始げんし内容ないよう存そん档于2022-04-13）. 
  39. ^ VA Smalltalk. [2022-02-25]. （原始げんし内容ないよう存そん档于2022-04-13）. 
  40. ^ SmallJ. [2022-05-17]. （原始げんし内容ないよう存そん档于2021-03-01）. 
  41. ^ SmallWorld. [2021-03-07]. （原始げんし内容ないよう存そん档于2009-02-26）. 
  42. ^ TruffleSqueak. [2022-02-12]. （原始げんし内容ないよう存そん档于2022-04-16）. 
  43. ^ www.graalvm.org. [2022-02-12]. （原始げんし内容ないよう存そん档于2022-03-17）. 

延伸えんしん阅读

[编辑]

外部がいぶ链接

[编辑]
維基教科書きょうかしょ中なか的てき相關そうかん電子でんし教程きょうてい：en:Smalltalk Programming
实现（英えい语：Programming language implementation）
主要しゅよう
方言ほうげん
软件
工作こうさく站
社しゃ群ぐん
人ひと

范型
过程式しき
面めん向こう对象
多た范型
函数かんすう式しき
逻辑式しき
脚本きゃくほん语言
动态语言
Shell语言
ECMA-262
特定とくてい平台ひらだい
.NET
JVM
特定とくてい领域
科学かがく计算
GPU计算
数かず据すえ查询
可か视化
传媒设计
 
其它
检索自じ“https://zh.wikipedia.org/w/index.php?title=Smalltalk&oldid=80498425”