使用 WebAssembly 和 C++ 进行开发：高级优化与集成方法

使用 WebAssembly 和 C++ 进行高级开发：从理论到实践

WebAssembly (Wasm) 为 C++ 开发者开启了独特的机会：在浏览器中以接近原生的速度运行高性能代码。然而，基础教程通常仅限于编译简单函数。在本文中，我们将深入探讨高级技术：手动内存管理、创建高效绑定以及性能分析。本材料面向已经熟悉 Emscripten 基础知识和将 C++ 编译为 Wasm 的开发者。

1. 手动内存管理：克服 Wasm 的限制

默认情况下，WebAssembly 使用通过 malloc/free 管理的线性内存。对于高负载应用（游戏、图像处理、模拟），标准分配器可能成为瓶颈。高级方法是实现自定义内存池。

考虑一个简单的固定大小内存池示例：

// pool_allocator.h#include <cstdint>#include <vector>

class PoolAllocator {public:    PoolAllocator(size_t block_size, size_t block_count)        : block_size_(block_size), block_count_(block_count) {        memory_ = malloc(block_size * block_count);        // 初始化空闲块列表        for (size_t i = 0; i < block_count; ++i) {            free_blocks_.push_back(                reinterpret_cast<uintptr_t>(memory_) + i * block_size            );        }    }

    ~PoolAllocator() {        free(memory_);    }

    void* allocate() {        if (free_blocks_.empty()) return nullptr;        uintptr_t addr = free_blocks_.back();        free_blocks_.pop_back();        return reinterpret_cast<void*>(addr);    }

    void deallocate(void* ptr) {        free_blocks_.push_back(reinterpret_cast<uintptr_t>(ptr));    }

private:    void* memory_;    size_t block_size_;    size_t block_count_;    std::vector<uintptr_t> free_blocks_;};

这种分配器消除了碎片化，并将内存分配/释放速度提高了数百倍。要与 Emscripten 集成，请使用 EMSCRIPTEN_KEEPALIVE：

// main.cpp#include <emscripten.h>

PoolAllocator* g_allocator = nullptr;

extern "C" {    EMSCRIPTEN_KEEPALIVE    void init_allocator(size_t block_size, size_t block_count) {        g_allocator = new PoolAllocator(block_size, block_count);    }

    EMSCRIPTEN_KEEPALIVE    void* pool_alloc() {        return g_allocator ? g_allocator->allocate() : nullptr;    }

    EMSCRIPTEN_KEEPALIVE    void pool_free(void* ptr) {        if (g_allocator) g_allocator->deallocate(ptr);    }}

2. 与 JavaScript 的高级集成：传递复杂结构

传递标量类型（int, float）很简单，但对于结构和数组，则需要序列化。最佳方法是直接通过 TypedArray 操作 Wasm 的线性内存。

示例：将点数组从 C++ 传递到 JavaScript，无需复制。

// point.h#pragma pack(push, 1)struct Point {    float x;    float y;    float z;};#pragma pack(pop)

// main.cpp#include <emscripten.h>#include <vector>

std::vector<Point> points;

extern "C" {    EMSCRIPTEN_KEEPALIVE    void generate_points(int count) {        points.resize(count);        for (int i = 0; i < count; ++i) {            points[i] = {static_cast<float>(i),                          static_cast<float>(i*2),                          static_cast<float>(i*3)};        }    }

    EMSCRIPTEN_KEEPALIVE    float* get_points_ptr() {        return reinterpret_cast<float*>(points.data());    }

    EMSCRIPTEN_KEEPALIVE    int get_points_count() {        return points.size();    }}