WebAssembly - 駆けلة検証

こんにちは、未来のWebAssemblyの魔術師たち！この興奮するWebAssemblyの検証の旅にあなたのガイドとして参加できることを誇りに思います。私がコンピュータサイエンスを教えてきた年数は、正直に言って自分も驚きます（フロッピーディスクが本当に柔らかかった時代を覚えています）。検証を理解することは、あなたのWebAssemblyの冒険において非常に重要です。では、さっそく始めましょう！

WebAssembly検証とは？

本題に入る前に、まずWebAssemblyの文脈で検証が何を意味するかについて話しましょう。大きなレゴの構造を建てる imagine してみてください。始める前に、すべてのピースが正しく組み合わさっていることを確認したいですよね？それがWebAssemblyでの検証の基本的な役割です。あなたのWebAssemblyモジュールが正しく形成され、すべての規則に従っているかを実行前にチェックします。

文法

WebAssembly検証の文法は初めて見ると少し威圧的なかもしれませんが、心配しないでください！少しずつ解説していきます。以下は基本的な構造です：

(module
(func $add (param $a i32) (param $b i32) (result i32)
local.get $a
local.get $b
i32.add)
)

これを分解してみましょう：

1. (module): これは私たちのすべてのWebAssemblyモジュールをラップします。
2. (func $add ...): これは「add」という名前の関数を宣言します。
3. (param $a i32) (param $b i32): これらは関数のパラメータで、どちらも32ビットの整数です。
4. (result i32): これは関数が32ビットの整数を返すことを指定します。
5. 関数の本体: local.get $a, local.get $b, i32.add

パラメータ

WebAssemblyでは、パラメータは強く typing されています。つまり、各パラメータの型を指定する必要があります。以下は一般的なパラメータの型の表です：

型	説明
i32	32ビット整数
i64	64ビット整数
f32	32ビット浮動小数点数
f64	64ビット浮動小数点数

例えば、32ビット整数と64ビット浮動小数点数を受け取る関数を作成したい場合、以下のようになります：

(func $example (param $a i32) (param $b f64) ...)

返り値

パラメータと同様に、WebAssemblyの返り値も強く typing されています。返り値の型を指定するには「result」キーワードを使用します。以下は例です：

(func $multiply (param $a i32) (param $b i32) (result i32)
local.get $a
local.get $b
i32.mul)

この場合、私たちの「multiply」関数は2つの32ビット整数を受け取り、32ビット整数を返します。

例

それでは、より複雑な例ですべてをまとめましょう。長方形の面積を計算する関数を作成します：

(module
(func $rectangle_area (param $length f32) (param $width f32) (result f32)
local.get $length
local.get $width
f32.mul)

(export "calculateArea" (func $rectangle_area))
)

これを分解してみましょう：

1. 私たちは「$rectangle_area」という関数を定義し、2つの32ビット浮動小数点数のパラメータ（「$length」と「$width」）を受け取ります。
2. 関数は32ビット浮動小数点数を返します（「result f32」）。
3. 関数内で、$length」と「$width」のローカル値を取得します。
4. 「f32.mul」を使用してこれらの値を掛け合わせます。
5. 最後に、この関数を「calculateArea」としてエクスポートし、JavaScriptから呼び出せるようにします。

出力

このWebAssemblyモジュールを検証すると、すべてが正しい場合、出力は何もありません。検証の世界では「ニュースが無いのは良いニュース」です！しかし、問題がある場合、エラーメッセージが表示されます。例えば、私たちが「rectangle_area」関数でi32ではなくf32を返そうとした場合：

(module
(func $rectangle_area (param $length f32) (param $width f32) (result i32)
local.get $length
local.get $width
f32.mul)

(export "calculateArea" (func $rectangle_area))
)

次のようなエラーメッセージが表示されるかもしれません：

Error: type mismatch: expression has type f32 but expected i32

これは、私たちの関数が浮動小数点数（f32）を返そうとしているが、整数（i32）を返すことを約束していたことを示しています。

結論

そして、皆さん！私たちはWebAssembly検証の地を旅し、その文法、パラメータ、返り値、そして実際の例までを扱いました。検証はあなたのWebAssemblyの冒険における友です。非常に厳しい校閲者のように、問題が発生する前にすべてのミスをキャッチします。

あなたがWebAssemblyの冒険を続ける中で、さまざまな関数の型とパラメータを練習し続けてください。さまざまな計算を行う関数を作成してみてください - 誰 knows、ウェブパフォーマンスの次の大きなものを創出するかもしれません！

好奇心を持ち続け、コードを書き続け、そして覚えておいてください：WebAssemblyでも人生でも、ミスを早くキャッチするのは常に良いことです。ハッピーコーディング！

Credits: Image by storyset