技術情報 - GT.Mエイリアス変数

改訂履歴

目次

概要

エイリアス変数は、サブプログラムの呼び出し（DOコマンドまたは関数の呼び出し）で、Mによる参照渡しを与えることに類似する、ローカル変数の名前と配列の間にて抽象レイヤーを提供します。複数のローカル変数は、同じ配列へエイリアスすることができ、そして、1つの変数のSETやKILLは、すべての変数のSETやKILLとして作用します。エイリアスコンテナ変数は、任意の現在のローカル変数名を通じてアクセスできない時でさえも、連想配列を保護するそのデータセルを持つローカル変数の配列全体へ、参照を連想する方法を提供します。

GT.Mエイリアスは、アプリケーションがオブジェクト指向技術を実装することが可能な状況で、低レベルの機能を提供することを目指します。オブジェクトは、配列(array)に、マッピングを可能にし、そして、保存と操作を可能にし、次に、処理によりどこから取得できるのかを、エイリアスコンテナ変数に保存を可能にします。コンテナに使用される配列の適切な添字の使用は、コンテナの配列(array)を横断する$Order()関数を使用して、オブジェクトの格納とそれらの取得を編成する方法と提供します。エイリアス変数とエイリアスコンテナ変数がオブジェクトを移動するための MERGE コマンドを実行する必要を排除するので、オブジェクトを実装するためのエイリアス変数の使用することは、伝統的なローカル変数を超えて大幅な効率化を提供します。

新しい SET * および KILL * コマンドは、エイリアス変数とエイリアスコンテナ変数を操作します。

このドキュメント内では：

• 配列(array)は、M標準のその定義と非常に似ていて、ルートおよびすべての子孫を含むノードのツリー全体を意味しますが、しかし、このドキュメントでは、ローカル変数のみ適応しグローバル変数には適用しません。
  

• "連想エイリアス変数" は、配列に関連付けられている、すべてのエイリアス変数とすべてのエイリアスコンテナ変数を意味します。

• lvn は、M標準のその定義と非常に似ていますが、このドキュメントでは lvn は添字でのローカル変数名を参照する使用は除きます。

• name は、M標準のその定義と非常に似ていますが、しかし、このドキュメントでは name が正しいローカル変数の名前であることを除きます（例えば、添字なしで）。
  
• "データセル(Data cell) " と"ノード (node) " は同義語です。

エイリアス変数

• 同じ配列に関連付けられたすべてのエイリアスの変数はそのノードへアクセスしているそれらと同等です - 例えば、1つのnameを経由して1つの配列(array)の中でノードのSETは、エイリアスであるいくつかの他のnameを経由したノードへのSETとは、全く違っていません。それらの作成または連想はの順序については、何の意味を持ちません。
• ひとたび、配列がシングルの添字無しnameだけを経由してアクセスが可能になると、GT.Mはそのnameを伝統的なローカル変数として扱います。
• GT.Mは、エイリアス変数の特殊な変異体として参照渡しを介して接続した変数を扱います。参照渡しは、DO または $$ 呼び出しの副作用として出現する明示的なエイリアスと、QUITの副作用として暗黙的アンエイリアスとを持ち合わせてMスタックモデルと関連します。広義のエイリアスでは、プログラムコマンドは、任意のMスタック結合をせずに、直接 names をエイリアスとアンエイリアスします。
• GT.Mは、もし作成しているトランザクションがRESTARTsする場合にのみが公開されるその内部のエイリアスとして、TP（トランザクション処理）RESTART変数の状態を扱います。
• GT.Mは、エイリアスのタイプとして排他的なNEWによって、隠蔽された変数を扱います。
  
• それらの暗黙的な振る舞いのために、ある状況下で、参照渡しのエイリアスと、RESTART変数と、排他的NEW エイリアスは、エイリアス変数を明白に作られることに関して完全な対称性はありません（例えば、それらは異なる時間に移り替わるかもしれないのに、ところが、エイリアス変数は、アプリケーションプログラムの制御の下で移り替わります）。
  

エイリアスコンテナ変数

• The value of an alias container is the empty string.
• Use the SET * command to associate an name with the container to obtain access to the array in a container.
• SET with an alias container as left-hand side target replaces the value at that node of the container variable and destroys any prior alias association with an array.
• References to descendants of a alias container variable refer to nodes of the named parent array and have no  relationship to any array contained by a parent node.
• An alias container variable serves as a way to organize and manage entire arrays.
• While it takes two alias variables for an array to be considered aliased, it only takes one alias container variable to do so.

Set

A SET * command explicitly creates an alias.  Any previous array associated with lvn or name1 ceases to be associated with it, and if lvn was the only lvn or name associated with that (old) array in any scope, GT.M may reclaim the space it occupied.  Alias assignment does not require that any data set exist for name2; the assignment simply creates an association.

• SET * left-hand side arguments cannot be parenthetically enclosed lists such as SET (a,*b)=c
• SET and SET * assignments can be combined into one command in a comma separated list, e.g., SET *a=b,^c(3)=d(4)
• SET * only accepts argument indirection, i.e., while SET x="*a=b",@x is permitted, neither SET x="*a",@x=b nor SET x="b",*a=@x is permitted.
• SET * right-hand side arguments must be names, rather than any form of general expression (expr).
  

KILL *

• 引数なしで KILL * をすると、すべてのエイリアスとエイリアスのコンテナの接続を削除します。

• You can intermix KILL and KILL * in an argument list, e.g.: Kill *A,B
• Kill * is not permitted inside a parenthesized list of exclusions, e.g.: KILL (*A) is an error.
  
• An exclusive Kill where one associated name is inside the parenthetic list of exclusions and another associated name is not with that list kills the array through the name that is not inside the list.  The association, however, is preserved:
  
  GTM>Set A=1,*B=A ; Create an array and association
  
  GTM>ZWRite ; Verify that it's there
  A=1 ;*
  *B=A
  
  GTM>Kill (A) ; Kill everything except A
  
  GTM>ZWRite ; Demonstrate that A also has no array
  
  GTM>Set A=2 ; Create an array
  
  GTM>ZWRite ; The association survived the Kill
  A=2 ;*
  *B=A
  
  GTM>
  

パフォーマンス

• Complex patterns of aliases layered onto TSTART RESTART variables.
• Complex patterns of aliases intermixed with NEW scope management, particularly that using exclusive NEW.

ZWRITE / ZSHOW "V"

• ZWRITEは表示する変数と添字を指定するパターンの使用を許可するのに対し、ZSHOW "V" はすべてのローカル変数に適用されるます。
• ZSHOW "V" は、オプションでグローバルまたはローカル変数へ指示するための出力を許可するのに対し、ZWRITEは常に現在の出力デバイスにその出力を指示します。
  

• FIS strongly recommends that you not create or manipulate your own $ZWRTACn "variables".  They are not part of the supported functionality for implementing alias variables and containers, but are rather a part of the underlying implementation that is visible to you, the GT.M user.  FIS can arbitrarily , for its own convenience change the use of $ZWRTAC in GT.M at any time.  They are only documented here since you may see them in the output of ZWRITE and ZSHOW "V".
  

NEW

排他的 NEW

参照渡し

トランザクション処理

$ZAHandle()

$ZDATA()

View

• LV_GCOL - triggers a data-space garbage collection, which normally happens automatically at appropriate times
• LV_REHASH - triggers a reorganization of the local variable look-up table, which normally happens automatically at appropriate times
• STP_GCOL - triggers a string-pool garbage collection, which normally happens automatically at appropriate times

$View()

• LV_CREF - returns the number of references by alias containers to the array associated with an unsubscripted local variable name specified as a second expr (for example a quoted string); it returns a zero for a variable without any associated alias container
• LV_GCOL - returns the number of data-spaces recovered during a local variable data-space garbage collection it triggers; such collections normally happen automatically at appropriate times
• LV_REF - returns the total number of references to the data-space associated with an unsubscripted local variable name specified as a second expr (for example a quoted string)

注釈：拡張エイリアスの例