Что может вернуть WebAssembly?
Насколько я понимаю, экземпляр WebAssembly может возвращать значения внешнему вызывающему объекту тремя способами:
возврат значения непосредственно в результате вызова метода (это только одно значение базовых типов данных {i32, i64, f32, f64}?)
вызов импортированной функции с аргументами, эта функция может хранить аргументы или обращаться к памяти во время вызова и сохранять содержимое в другом месте
запись в память и доступ внешней среды к ней после выполнения
Есть ли еще? Какие подробности?
Ответы 2
Ваш список почти завершен - единственный другой механизм, который я могу придумать, - это глобальные переменные. Их также можно экспортировать, чтобы обеспечить доступ к хост-среде, поэтому их можно было бы использовать в качестве механизма для возврата результатов.
Да, вы правы в своем утверждении, что вы можете вернуть только одно числовое значение из экспортированных функций.
Ваша оценка примерно верна. Функции могут либо возвращать значение WebAssembly (i32, i64, f32, f64) напрямую, либо косвенно возвращать данные через изменение элементов в глобальной среде, таких как память, таблица и глобальные переменные. Если вы говорите о возврате данных вызывающему объекту за пределами модуля WebAssembly, то любые такие элементы сами должны быть экспортированы из модуля. то есть вы не можете использовать память WebAssembly для косвенного возврата данных, если только сама память также не экспортируется.
С предложением с несколькими значениями вы также сможете напрямую возвращать более одного значения: https://github.com/WebAssembly/multi-value. Точно так же предложение GC позволит вам напрямую возвращать сложные структуры. Но ни того, ни другого сегодня нет.