Webassembly的含义是0x40字节？

是的，这就像void。这个想法是块可以返回一个值（现在为i32,i64,f32,f64），或者根本没有值。类型在language types下列出，而block type限制它可以容纳的有效类型。这意味着指令可以消耗块推入执行堆栈的值，因此块在某种意义上类似于函数。你可能想要一个块而不是将一个值压入堆栈，因此void可能会有用。或者编译器可能根本不够聪明，无法使用块的属性，而是在某些情况下使用本地化。

最终，multi-value将被支持，它将允许函数以及块将多个值推送到堆栈上。