Select
Die select Anweisung wählt einen ihrer ersten beiden Operanden basierend darauf aus, ob ihr dritter Operand null ist oder nicht. Sie weist einige Ähnlichkeiten mit dem ternären Operator in anderen Sprachen auf (z.B. false ? 10 : 20), führt jedoch kein Short-Circuit durch. Die Anweisung kann von einem unmittelbaren Wertetyp gefolgt werden: select (result T). select (result T) verwendet einen anderen binären Opcode und erlaubt Typen, die neben denen eingeführt durch das WebAssembly MVP (i32, i64, f32, f64) existieren. Zum Beispiel erlaubt es die Auswahl zwischen zwei externref Werten.
Probieren Sie es aus
(module (func (export "select_simple") (result i32) ;; load two values onto the stack i32.const 10 i32.const 20 ;; change to `1` (true) to get the first value (`10`) i32.const 0 select ) (func (export "select_externref") (param $value externref) (param $condition i32) (result externref) ;; this is "select t", the explicitly typed variant ref.null extern local.get $value local.get $condition select (result externref) ) ) const url = "{%wasm-url%}"; await WebAssembly.instantiateStreaming(fetch(url)).then((result) => { const { select_simple, select_externref } = result.instance.exports; console.log(select_simple()); // Expected output: 20 // If the second parameter is zero, returns the first parameter (which may be an arbitrary JS value) const map = new Map(); console.log(select_externref(map, 0)); // Expected output: [object Map] console.log(select_externref(map, -1)); // Expected output: null }); Syntax
wat
;; push two values onto the stack i32.const 10 i32.const 20 ;; change to `1` (true) to get the first value (`10`) i32.const 0 select f32.const nan f32.const -54.1 ;; change to `1` (true) to get the first value (`nan`) i32.const 0 select (result f32)
| Anweisung | Binär-Opcode |
|---|---|
select | 0x1b |
select t | 0x1c |