今日は、由緒あるsemkaが始めた一連の記事を続けます。 メッセージについて話す。



Ioには関数呼び出しはありませんが、メッセージを送信しています。 メッセージには引数を含めることができますが（関数の引数とほぼ同じ）、メッセージ引数は送信前に実行されません。

メッセージを送信する方法

メッセージの送信は、「オブジェクト」、「スペース」、「メッセージ」のように見えます。

Database connect







メッセージには引数が含まれる場合があります。

Database findByName("Oleg")







メッセージを送信した結果には、メッセージを送信することもできます。

Database findByName("Oleg") lastName # , "Andreev"







言い換えると、 abcd



構造はa().b().c().d()



と同等のjavaに似た構文です。

メッセージの実行方法

まず、メッセージ引数が実行されないことに注意してください。 Database connect(blah-blah)



が書き込まれた場合、接続が送信される前にblah-blahは実行されませんが、メッセージ「connect（blah-blah）」の一部として送信されます（はい、言葉で）。



オブジェクトがメッセージを受信すると、このメッセージの名前を持つスロットを検索します（この例ではconnect



）。 スロットが見つからない場合（通常）、その検索はすべてのオブジェクトプロトタイプとそのプロトタイプで再帰的に実行されます。 目的のスロットがどこにも見つからない場合、 forward



スロット検索が開始されます（Rubyのmethod_missing



に類似）。 適切なスロットが見つかるとすぐに、その値がアクティブになります （アクティブ化）。 （注：見つかったスロットがどの特定のオブジェクトにあるか、Object contextWithSlot（slotName）が通知します。）

アクティベーション

通常の値の場合、アクティベーションは何もせず、その値を返します。 したがって、数値、文字列、または他の多くのオブジェクトを格納する通常のスロットのアクティブ化は、getSlot（ slotName ）を介して値を取得することと変わりません。 ただし、 起動 可能としてマークされているオブジェクトは、 activateメソッドを呼び出します。 デフォルトでは、ブロック（ブロックとメソッド）とCFunction（関数へのリンク）の2つのオブジェクトのみがアクティブになります。 他のすべてのオブジェクトは、setIsActivatable（true）を使用してアクティブ化できます。



getSlot（slotName）メソッドが呼び出されると、スロットのアクティブ化は行われません（もちろん、getSlotスロット自体はアクティブになりますが、 slotNameはもう存在しません）。 したがって、メソッドまたはそのままのブロックを呼び出さずに取得する場合は、getSlot（methodName）を使用します。



1つの落とし穴はアクティベーションに関連しており、これについては記事の最後で説明します。

あー そして、引数はいつ実行されますか？

メッセージが送信され、スロットが見つかり、アクティブになりました。 しかし、メッセージ引数はいつ、どのようなコンテキストで計算されますか？



例を考えてみましょう：

withoutArgs := method() # nil

withoutArgs("Hello!" println)







引数「Hello！」Printlnが実行されなかったため、このコードは何も出力しません。

withArgs := method(a, b, c, list(a,b,c)) #

withArgs("Hello!" println) # list("Hello!", nil, nil)







このコードは最初の引数を実行し、Hello！を表示します。 欠落している引数はnilです。



別の例：

withTwoArgs := method(a, b, nil)

withTwoArgs(1 print, 2 print, 3 print, 4 print)







このコードは12を出力しますが、1234は出力しません。



最も独創的な人は、宣言された引数のみが実行されていることをすでに認識しています。 最も面白いのは、それらがどのように実行されるか、どこでどこで汚れた手を動かすことができるかです。 そして、なぜこれがすべて必要なのか。

イントロスペクションメソッドの呼び出し

Ioにはオブジェクト、プロトタイプ、スロット、メッセージのみがあることをまだ覚えていますか？ このリストにはグローバル変数もローカル変数もありません。



Ioはスロットをアクティブにする（つまり、メソッドを呼び出す）と、特別なLocalsオブジェクトを作成します。 これは多くの重要な機能を備えた非常に面白いオブジェクトです。 まず、このオブジェクトのプロトタイプはself、つまりです。 メッセージの送信先のオブジェクトへのポインター。 したがって、受信者オブジェクトに干渉することなくローカルスロット（ローカル変数とも呼ばれます）を作成し、このオブジェクトのすべてのスロットにアクセスできます。 次に、このオブジェクトには少なくとも3つのスロットがあります：self（受信者オブジェクトを指す）、call（呼び出しに関する多くの情報を含む）、およびupdateSlot。 後者は、ローカルではなく受信者オブジェクトでスロットを更新するという点で、通常のupdateSlotとは異なります。 これは、self a = bではなく、a = bと書くためだけに行われます。



呼び出しオブジェクトの素晴らしいところは、その複数のスロットです：

• 呼び出し送信者-メッセージが送信されたオブジェクト（ローカル）。
  
  call target-メッセージの送信先のオブジェクト（== self）。
  
  呼び出しメッセージ-実際には、名前と引数を含むメッセージ。
  
  evalArgAt（argNumber）を呼び出し、evalArgsは送信者のコンテキスト（送信者の呼び出し）で引数の一部またはすべてを実行します。 しかし、誰もこのようなことをすることを気にしません：
  
  Object do := method(call message arguments first doInContext(self) )

"string" do(

type println

size println

encoding println

)


  
  
  
  
  
  画面上に表示されます：
  
  Sequence

6

ascii


  
  
  
  
  
  
  
  つまり、任意のコンテキストでの送信、保存、実行など、好きなようにコードを操作できます。 既に作成されたオブジェクトのコードを見ることができます：コルーチンgetSlot（ "yield"）コードはyieldメソッドコードを文字列として返します：
  
  method(

if(yieldingCoros isEmpty, return )

yieldingCoros append(self)

next := yieldingCoros removeFirst

if(next == self, return )

if(next, next resume)

)


  
  
  
  
  
  
  
  ちなみに、私は地元のプロトタイプについて嘘をついた。 まだ覚えていれば、Ioのメソッドの他にブロック（クロージャー）があります。 メソッドとの唯一の違いは、ブロックのLocalsプロトタイプが、メッセージの受信者へのポインターではなく、スコープへのポインターであるということです。 ブロックが作成された（および閉じられた）オブジェクト。 最後に、屋根を出るために、スコープブロックスロットは、ブロックメソッドが呼び出された時点の発信者と正確に等しいことを追加します。
  
  
  
  

  ローカル変数に戻る

  呼び出し送信者や呼び出しメッセージなどの強力な武器を使用して、メソッド呼び出しと引数の実行をIo言語で記述することができます。 実際、メソッド（a、b、nil）と言って、ローカルにスロット「a」と「b」を作成し、呼び出し送信者のコンテキストで対応する引数が実行された後に受信した値でそれらを埋めたいと言います。 宿題：組み込みメソッドと同じ方法でメソッドを作成し、宣言および渡された引数に対してdoInContextを使用して必要なすべての操作を行うmethod2メソッドを記述します。
  
  
  
  

  約束されたアクティベーショントリック

  Javaのような構文では、関数とその呼び出しへのアクセスは次のようになります：obj.funcおよびobj.func（）。 Ioでは、objスロットがスロットの値を必ずアクティブにする場合、アクティブ化せずに値を取得するにはobj getSlot（ "slot"）を使用します。
  
  
  
  引数として別のメソッドを取ることができるメソッドを書いていると仮定します：
  
  method(func, ...)


  
  
  
  
  
  メソッドの本体内にfuncを記述した場合、必ず渡されたメソッドを呼び出します。 値を取得する必要がある場合は、getSlot（ "func"）を使用して毎回アクセスする必要があります。
  
  
  
  

  メッセージデザイン

  messageメソッドは、最初の引数を未解決のメッセージとして返します。
  
  msg := message(something(arg1, arg2, arg3) nextMessage(arg1, arg2) more)

msg name # => "something"

msg next # => message(nextMessage(arg1, arg2) more)

msg next next # => message(more)

msg next name # => "nextMessage"

msg arguments # => list(message(arg1), message(arg2), message(arg3))


  
  
  
  
  
  
  
  

  まとめ

  これで、メッセージの送信方法、メソッドの呼び出し、および引数の実行方法がわかりました。 リスト（1,2,3）foreach（印刷）（印刷はリストの各要素に送信される）またはリスト（1,2,3）マップ（* 2）（*（2）は作成時に各要素に送信される）リストのコピー）。
  
  
  
  

  ボーナストラック：電話サイト

  記事の最後まで読んだ1.5人の掘り手は、特に驚くべき情報で報われることができます。 Ioの概念では、いわゆる「呼び出しポイント」に到達することが可能です。 これはタイではなく、別名「コール送信者」コンテキストではなく、コールが発生したコードのポイントです。 大事なことは、呼び出しメッセージは、その場で生成されず、コードで記述されている場合（常に生成されるか、常に送信される）、常に同じオブジェクトを返すということです。 それは何を与えますか？ 1つのメソッドで（プログラム内の異なる場所で）さまざまなメッセージを処理できるため、関連する場所で有用なものをキャッシュすることが可能になります。
  
  
  
  最も単純な：メッセージsetCachedResult（res）は、このメッセージをどこかに送信しようとしたときに返されるメッセージの計算値を設定します。 より複雑なオプション：特定のダイヤルピアで特定のメッセージに適合した特別なロジックをキャッシュします。
  
  
  
  たとえば、List mapメソッドには、1つ、2つ、3つの引数を持つ3つの実装があります。 現在の実装では、呼び出しごとに引数の数の検証が行われますが、呼び出しメッセージに目的のメソッドオプションをキャッシュすることは可能です。
  
  この機能に基づいて、より複雑な最適化スキームを構築できます。