問題タブ [function-signature]

私はExcelで関数を書くのが初めてです（主にサブプロシージャをコーディングしています）。

次の関数宣言が何を意味するのか疑問に思っていましたか?

public function function_name(args as string) as string

の 2 番目のインスタンスまではすべて理解していますas string。これは私にとって新しいことであり、これが宣言することとどう違うのかわかりません:

public function function_name(args as string)

私のエンジンには、コンパイル時にクラス情報で満たされた単純なリフレクション システムがあります (つまり、一連のテンプレートを中心に構築され、メタ情報の生成プロセスを自動化できます)。

次の例を検討してください。

タイプごとに関数があります。

型の初期化を担当します。TypeInitializer には、フィールドと基本型を型に追加するために使用されるメソッドがほとんどありません。したがって、基本的に、すべての新しい型には、この関数の特殊化のみが必要です。その後、型が初めて照会されると、TypeDatabase は具体的な Type オブジェクトを作成し、それに対して InitializeType() を呼び出します (TypeInitializer は、構築中に型へのポインターを取得します)。例えば：

以上です。すべての魔法は、次のように宣言される TypeProperty コンストラクターで行われます。

これにより、プロパティの正確なタイプを知ることができます。サイズ、const-ness、volatile-ness などをテストし、この情報を TypeProperty オブジェクトに保存します。良い。

さて、メンバー関数にも同じものが必要です。「同一」とは、現在プロパティを追加しているのとまったく同じ方法で関数を追加できることを意味します。

私が最初に考えたのは可変個引数テンプレートでした (私のエンジンは C++11 機能を完全にサポートすることを念頭に置いて構築されています):

ただし、引数から型を抽出する方法がわかりません。関数のオーバーロードを使用するアプローチの記事を見ました。

関数は再帰的に「転送」され（実際の再帰ではないことはわかっています）、毎回パラメーターが1つ少なくなりました。しかし、これが私の場合にどのように適しているかはわかりません。

私は SML でいくつかのコードを書いており、この関数シグネチャに取り組みました

(bool | int) -> (int * int)

この署名の意味は何だろうと思った

output : 1 3 2 3 2 3 3 1
誰かがこの出力のシーケンスの背後にある理由を理解するのを手伝ってくれますか?