データ型の強制

Mapleでは、プロシージャはパラメータのタイプを強制して宣言することができます。プロシージャが任意のタイプをどれも扱うことが可能な程度に同等の複数のデータタイプがある場合があります。しかし、異なるデータタイプのそれぞれを扱うプロシージャのコーディングは複雑な場合があります。そのようなプロシージャの作成のため、Maple はデータタイプの強制を用意しています。これは、さまざまなデータタイプを 1 つの希望するタイプに変換する機能です。

パラメータ強制を宣言する最も一般的な方法は、mMatrix に対する m~Matrix のように標準のMaple タイプの前にチルダ (~) を付けることです。コマンド ~Matrix がカレントモジュールのエクスポート、または最上位のコマンドとして存在する場合は、そのコマンドは入力がタイプ Matrix と一致しないときに実行されます。

上記のプロシージャは多くのデータタイプについて機能し、関数内では希望するタイプのみが表示されます。

与えられたタイプが希望のタイプに変換できない場合は、例外が発生します。

現在、Maple は ~Matrix、~Vector、および ~Array を実装しています。個々のヘルプページにはどのデータタイプがこれらの関数によって受け付けられるかが記述されています。 より上位の強制コマンドは将来の Maple のバージョンで実装される予定です。標準の Maple タイプについて、ユーザ独自の強制の定義には以下で記述する長い形式を使用するか、モジュールのエクスポートを使用することを推奨します。以下の例では、モジュール内でのプライベート強制ルーチンの宣言方法を説明します。"ModuleApply" を使用すると、モジュールはプロシージャと同様に動作しますが、モジュールの場合は他のメソッドとデータを関連付けることができます。

強制は、コンテナのみを変更するのではなく、可能な場合は rtable のデータタイプを希望するデータタイプと一致するように調整します。

与えられた式が希望のタイプに変換できない場合は、例外が発生します。

rtable の特定の形式から他のデータタイプへの強制の多くは、実際のデータのコピーの作成なしで行うことができます。Maple は希望するタイプに合わせて表示可能な、同じデータセットへのエイリアスを作成することができます。しかし、リストの rtable への変換や rtable タイプの変更では、データのコピーが必要なものがあります。コピーが作成されると、プロシージャ内で rtable を変更しても実際に渡される rtable には影響を与えません。そのため、インプレースで機能するプロシージャは自動強制ができません。

強制を行う ~ プロシージャから出力される値 NULL は、強制が失敗したことを示します。これは、外部プロシージャからの標準の invalid input エラーになります。

整数を入力として ~Array を直接呼び出すと、有効な強制ではないため NULL を出力します。同様に、第一パラメータを ~Array として宣言するプロシージャに 4 を渡すと、バックグラウンドで ~Array(4) を実行し、NULL を出力します。4 は強制されないためエラーが発生します。