Tcl(ティクル)はスクリプト言語の一つであり、コマンド行のみで構造化文法をフォローしてしまう非常にシンプルな文法を特徴とする。

Tclはその非常に強力なGUIツールキットであるTkにより、GUIツールを素早く作り上げるのに適した強力なスクリプティング環境を構築できる。この両者を組み合わせTcl/Tk(ティクル・ティーケー)と呼ばれる。ただしTkはクロスプラットフォームなGUI環境としても有名で、Tclに限らずPerl、Python、Rubyなどの言語環境からも利用できる。

Tcl/Tkは、スクリプト言語TclとGUIツールキットTkからなる 非常に強力なGUIスクリプティング環境である。現在、各種オペレーティングシステム(UNIX、Windows、Macintosh)上で動作する。他にもウェブブラウザ上でTcl/Tkを動作させるプラグインTclet(ティクレット)がある。

## 背景

Tclは1988年にカリフォルニア大学バークレー校教授のジョン・オースターハウトによって開発された。当時アプリケーションプログラムに組み込まれる拡張用スクリプト言語には標準がなく、アプリケーション毎に独自の言語が実装されていた。そのためアプリケーション使用者はツール毎に異なるスクリプト言語の習得を余儀なくされた。この非効率さを嘆いたオースターハウトは、状況を打開するために UNIX アプリケーションにおける標準となる拡張スクリプト言語をデザインしようと考えた。こうして作られたのがTclの始まりである。そのためTclはアプリケーションへの組み込みが容易であることを重視してデザインされた。具体的には処理系をライブラリとして提供することでC言語で書かれたアプリケーションに容易に組み込めることや、言語構造が簡素であり、かつ高い拡張性を持つこと、インタプリタ言語であることが挙げられる。

TkはTcl用に開発された、非常に簡単なコードでGUIを作成できるツールキットである。1990年代初頭にTclにバンドルされる形で公開された。Appleの HyperCardに触発されて開発されたと言う。当初Tclの有用な活用事例の一つとして紹介されたTkだが、その取り扱いやすさからTcl言語と共に一躍人気に火がつく。Tcl は当初の設計意図と異なり、アプリケーションの組み込み言語として使われるよりも、Tkと合わせた「Tcl/Tk」の形のGUIスクリプティング環境として人気を博した。

オースターハウトがサン・マイクロシステムズに勤めていた1994-1998年はTcl/Tkは同社で開発が進められた。このころのサンは WWW クライアント環境の制覇に向け邁進していた時期であり、Tcl/Tkもその流れの上、その対象領域をウェブに広げていく。ウェブブラウザ上でTk GUIを動作させるプラグイン「Tclet(ティクレット)」や、ブラウザのスクリプト言語としてのTclの組み込み、国際化対応(内部処理のUnicode化)、インタプリタからバイトコンパイラへの変更による実行速度の大幅な向上など、Tcl/Tkはこの時期機能的にもっとも大きな進歩を果たした。しかし他のリッチインターネットアプリケーション技術との競合やブラウザでのサポートの薄さなどもあり、WWWを「第二のTk」として人気を拡大することは出来なかった。

オースターハウトの退職に伴い、Tcl/Tkの開発はサンの手を離れた。2000年からはTcl/Tkの開発はオープンソースにその場を移し、精力的に開発が続けられている。

2005年現在Tcl言語は「Tcl/Tk」の知名度とは裏腹に利用者数は少なく、PerlやPython、Rubyに比べ劣勢と言わざるを得ない。特に日本国内での利用者数は少ない。ただし、EDAツールにおいては標準的なスクリプト言語として広く利用されているほか、電子国土Webシステムにおいても一部でTcl言語が使われている。一方Tkは、後発のGTK+、Qtと並び、軽量プログラミング言語における事実上の標準GUIツールキットの一つとなっており、広く利用されている。他の言語のTkを利用するバインディングとしてPerl/Tk、Tkinter(Python)Ruby/Tkなどがある。

なお、Tcl言語の名前は「ツールコマンド言語」を意味する英語「tool command language」に由来し、Tkの名前は「ツールキット」を意味する英語「toolkit」に由来する。

## 特徴

ここではTcl言語の特徴を記す。

Tcl言語の特徴は一言でいえば「全て文字列」である。Tclは、

- コマンド行の順次実行のみのシンプルな文法
- 首尾一貫したリスト構造

の二つを組み合わせ、非常に小さいルールで広範囲の領域をカバーする点にある。コマンド行はひとつのリストであり、先頭の要素がコマンド、それ以降の要素がコマンドへの引数として扱われる。LISPと同様の一貫性を持つと言えるが、リストの要素分離記号がブランクやタブであるため、これらの文字が無視される一般のプログラム言語に慣れた人には「とまどい」を与えるかもしれない。

### リスト構造

リストは文字列である。リストを構成する要素はブランクかタブで区切られる。ブランクやタブを要素に含めたい場合には、その要素をブレース(`{` `}`)で囲む。以下の文字列は三つの要素から成るリストである。

### リストの抽出

Tclパーサーがソースコードからコマンド行としてリストを取り出すとき、ひとつのリストの終端は改行コードかセミコロン(`;`)で判断する。しかし改行コードやセミコロンがブレースの内側にあれば、それをリストの終端記号とは見なさない。したがって、以下の3行の文字列は3つの要素から成るひとつのリストである。改行コードは3個あるが、最後の改行コードだけがリストの終端記号の役割を果たす。

上記リストは Tcl の `if` コマンドでありC言語の `if` 文に似ている。しかしブレースがリスト記述記号として採用されているので似ているだけである。上記の `if` コマンドを以下のように改行の位置を変えると、`if`コマンドの引数エラーになる。

Tclパーサーは上記4行の文字列を2つのリストとして認識する。したがって先頭行の`if`コマンド行は引数がひとつだけしか与えられていないことになり、引数エラーが発生する。

ここで重要なのは、エラーを返したのは `if` コマンドであり、Tclパーサーが検出した「文法エラー」ではないということである。Tclには制御文などの「文」はない。分岐や繰り返しなどの実行制御も単にコマンドによって実現されているだけである。「Tclには細かなルールが無い」のであり、そこにはリスト構造と、以下に解説する「特殊記号」しかない。

### ブラケット記号(コマンド置換)

Tclパーサーはリストの先頭要素を常にコマンド名として認識する。それ以外の要素はコマンドに渡すべき引数として認識する。しかし、その引数要素がブラケット(`[` `]`)で囲まれていると、その中身をコマンド行と認識し、それを実行してから本来の引数値を求めてくれる。これが「コマンド置換」である。

### $記号(変数置換)

Tclパーサーは変数機能の提供によりコマンド間でのデータの受け渡しも扱ってくれる。変数はsetコマンドにより生成される。そして、$記号が先頭に付いた要素を変数名とみなし、その値に要素全体を置換する。これが「変数置換」である。

変数置換はコマンド行の先頭要素に対しても機能する。つまりコマンド名を変数で与えることも可能である。

変数置換は1回しか実行されない。変数置換結果に文字「`$`」が含まれていても再置換が試みられることはない。

また、変数置換で得られた文字列にブランクが含まれていても、2つの引数としてではなく、ブランクが含まれた1つの引数として渡される。引数の分離(リストの認識)は変数置換前に行われるからである。もし置換結果から改めて引数分離を行わせたいなら `eval` コマンドを利用する。

### ダブルクォーテーション記号

リスト構造で解説したように、ブレース(`{` `}`)は、改行コードなどの特殊文字の機能を無効化する。この法則はコマンド置換子であるブラケットや、変数置換子である$記号に対しても貫かれる。そのため、下記のコードではコマンド置換も変数置換も行われない。

そのため、実行結果として出力される文字列は以下のものになる。

コマンド置換も変数置換も機能させ、かつブランクを含む文字列をひとつの引数として `puts` コマンドに渡すには、ブレースの代わりにダブルクォーテーション(`"`)で囲む。

num変数に3がセットされていればコマンドの実行結果として

が出力される。

このように、ダブルクォーテーションの機能はブレース機能とほぼ同等であるが、コマンド置換と変数置換をTclパーサーに許すところが異なる。ダブルクォーテーションの中でのコマンド置換、変数置換は Tcl の特長的な機能である。なお、ダブルクォーテーションとブレースの機能は、それらがリスト要素の先頭と末尾に記述された場合にのみ有効である。下の例では `"` は文字として扱われる。

### セミコロン記号

複数のコマンドを1行に記述したい場合はコマンド行をセミコロン(`;`)で区切れば良い。

### #記号(注釈行)

コマンドの位置に「`#`」を記述すると行末までコメントと見なされる。「コマンドの位置に」ということが重要であり、以下の最後のコードは「`#`」がコマンドの位置にないので誤りである。

### バックスラッシュ記号

ひとつのコマンドを複数行で記述したい場合は、行の末尾にバックスラッシュを付ける。

$文字の前に\を置くと$置換子の機能を抑制して単なる文字として扱わせることができる。

コマンド置換子(`[`、`]`)、ブレース(`{` `}`)の前に置いた場合も同様である。
基本的にバックスラッシュにはC言語とほぼ同じ機能がある。例えば改行コードは「`\n`」と書ける。

### 補足:引数をブレースで挟むことのもうひとつの意味

Tclパーサーから渡された引数がコマンド内部で評価されるか否かは重要である。ここでの評価とはコマンド置換や変数置換のことである。例えば算術演算を行う `expr` コマンドは引数を内部で評価する。従って以下の2つのコマンドは同じ結果を返す。

Tclパーサーが行ってくれずとも、`expr`コマンドが内部で変数置換しているので同じ結果が得られるのである。`if`コマンドや`while`コマンドは第1引数として与えられた文字列を、コマンド内部で `expr` によって評価し、その結果を使う。

Tclパーサーは第一引数の「`$val`」を評価して「`true`」(文字列)に書き換える。同様に第二引数「{〜処理〜}」を評価して、文字列リテラルなのでそのまま同じ値「{〜処理〜}」に書き換え、以下のようにする。

Tclパーサーはその後、`true` と `{〜処理〜}` を `if`、`while` コマンドに渡し、`if`、`while` コマンド側は受け取った文字列を `expr` コマンドに「`[expr true]`」として渡し、その結果をもって処理を続ける。気をつけなければならないのは `while` コマンドは `{〜処理〜}` をひと通り評価し終えた後、再度、第一引数を `expr` で評価するが、上記のコードでは与えられている値が `true` なので `{〜処理〜}` の中に「`set val false`」のような文があったとしても、第一引数で与えられた値そのものは変化しないので、ループを無限に繰り返すことになる(`{〜処理〜}` の中に `break` コマンドが含まれていない場合)。

この場合、Tclパーサーは引数を順に評価し、第一引数として「`{$val}`」という4文字の文字列リテラルを、第二引数として「{〜処理〜}」を、`if`、`while` コマンドに渡す。`if`、`while` コマンド側は受け取った文字列を `expr` コマンドに「`[expr {$val}]`」として渡し、その結果をもって処理を続ける。`while` コマンドは `{〜処理〜}` をひと通り評価し終えた後、再度、第一引数を `expr` で評価するが、上記のコードでは与えられている値が `{$val}` なので `{〜処理〜}` の中で「`set val false`」のような文があれば、その評価値も `false` になって、その時点で繰り返し処理を終了する。

一方、`switch`コマンドの第1引数は内部では評価されない。したがって下記の2番目の記述は期待する結果が得られない。

もし引数をコマンド内部で評価してくれるならば、その引数はブレース(`{` `}`)で挟んで渡した方が効率が良い。Tclパーサーとコマンドの両方による多重評価処理を回避できるからである。このような理由により、`if`コマンドや`while`コマンドや`for`コマンドの引数は常にブレースで挟むべきである。特にループの条件式は必ずブレースで囲む必要がある。ブレースを用いないと変数置換されてからループコマンドに渡されてしまうので、定数を並べた条件式になってしまい、無限ループをもたらす。

### コマンドの拡張

コマンドには、Tclパーサーにあらかじめ実装されているビルトインコマンドと、ユーザーにより作成された拡張コマンドがある。ユーザーによる拡張コマンドの実装は簡単である。まず、C言語などで「コマンド本体関数」と「登録用関数」を記述し、ダイナミックリンクライブラリファイルに格納する。そして組み込みコマンドの `load` を用いて拡張コマンドを登録する。

`load` コマンドの引数には、「ライブラリファイル名」と「登録用コマンド名」を与える。`load` コマンドは、登録用コマンド名から「登録用関数」名を求め、これを実行してくれる。例えば `hello` コマンドであれば `Hello_Init` を実行してくれる。この「登録用関数」の中に本当の登録処理を記述しておく。従って、例えば `load` コマンドに渡したコマンド名にライブラリ名の意味を持たせ、「登録用関数」の中で複数のコマンドを登録してしまうことも可能である。

「本当の」コマンド登録はC言語のインターフェース用の関数の `Tcl_CreateCommand` や `Tcl_CreateObjCommand` を用いて行う。拡張コマンドの実体となる「コマンド本体関数」を、決められた型と引数に従って先に定義しておき、そのコマンド関数アドレスと公開コマンド名を引数に与えて実行すれば登録される。

コマンド登録関数

コマンド本体関数

コマンド本体関数は、Tclパーサーからの引数を、引数の数(`argc`)と引数文字列配列(`argv`)で受け取る。ただし、引数を文字列で受け取るこの方式は `Tcl_CreateCommand` 関数で登録する場合であり、引数をTclオブジェクトで受け取りたい場合には、上例のように `Tcl_CreateObjCommand` 関数で登録する。

### 内部構造(Tclオブジェクト)

Tclパーサーは、スクリプト文字列を受け取り、常に処理結果を文字列で返すように見える。これでは文字列の解析や文字コードとバイナリ値への変換が頻繁に行われていることになり、いかにも効率が悪く思える。しかし決してそのような単純なものではなく、内部では可能な限りバイナリ値を維持している。Tclスクリプトでバイナリ値も扱えるのはこのおかげである。

例えば下記のように変数に数値を与え、その計算結果を変数に格納するとき、おのおの変数の型は文字列と `double` の二つの型を持つ。文字列として参照されるときは文字列型として振る舞い、`double` として参照されるとき(計算式の中などで)は `double` 型として振る舞うことができる。

Tclパーサー内部において変数はTclオブジェクトとして存在している。Tclオブジェクトは `char *`、`int`、`double` の共用体を持った構造体であり、文字列への変換が要求されない限り、`int` 値は `int` 値のまま、`double` 値は `double` 値のまま維持される。スクリプトでは変数の型宣言を行えないが、変数への値セットで型が仮定され、Tclオブジェクト間のデータ移動で無駄な型変換が行われないように配慮されている、ということである。

リストも同様に内部ではリスト型のTclオブジェクトとして存在している。このような仕組みになっているので、リストを作成する時は `list` コマンドを用いるべきであることが分かる。また、巨大なリストを文字列として全体参照するのも効率を悪くするので慎重にすべきである。下記の例では変数 `listA` には文字列として格納されるが、`listB` には `int` 値のリストとして格納される。この後、これらの変数にリスト処理コマンドでアクセスすると、`listA` に対しては要素分解処理が行われるが、`listB` に対しては不要となる。

前項で解説したコマンド登録関数の後者(`Tcl_CreateObjCommand`)は、Tclパーサーからの引数を、無駄に文字列変換することなく、Tclオブジェクトのままで受け取るコマンド関数を登録するためのものである。

返値もTclオブジェクトを通じて返すことができる。下記は `long` 値をそのまま返す例である。

返値のみならず、Tclオブジェクトは不要になったとき自動的に削除される仕組みがある。それはTclオブジェクトが持つ「参照カウンタ」による制御である。アプリケーションでTclオブジェクトを作成し、それを存続したければ参照カウンタを増加させておき(`Tcl_IncrRefCount`)、必要なしとなったところで減ずる(`Tcl_DecrRefCount`)ようにする。参照カウンタが減らされて `0` になったときにのみ、そのオブジェクトは削除される。つまり、存続と廃棄の要求を自分だけの都合で出しておくだけで、削除のタイミングがコントロールされるという仕組みである(スマートポインタ)。

変数のみならず、スクリプト自体もTclオブジェクトとして存在している。