V8嵌入示例重构拆分初始化与执行逻辑后出现段错误求助

崩溃原因逐一说明 #

1. Platform实例生命周期错误

V8的Platform实例必须在整个V8运行期间持续存活，你把它定义为init函数内的局部std::unique_ptr，init执行完成返回时就会自动析构释放，后续V8执行逻辑访问的都是悬空指针，直接触发段错误。

2. Local句柄跨作用域失效

v8::Local<T>是由栈分配的HandleScope管理的轻量句柄，当HandleScope销毁时，它管理的所有Local句柄都会被标记为失效。你在execute函数内部定义了HandleScope，返回的result属于这个局部HandleScope管辖，函数返回后HandleScope销毁，main里拿到的result就是野句柄，访问必然崩溃。
如果需要跨HandleScope返回句柄，需要用v8::EscapableHandleScope替代普通HandleScope，允许把局部句柄转交给上层作用域的HandleScope管理。

3. 缺少HandleScope触发的报错

你把Context创建逻辑移到execute外时，没有在当前作用域定义活跃的HandleScope，V8创建Local句柄找不到对应的管理容器，就会直接抛出你遇到的Cannot create a handle without a HandleScope错误。

4. 资源清理逻辑缺失

原来的官方示例里的isolate销毁、V8实例析构、Platform关闭、数组缓冲区分配器释放的逻辑你全部没有实现，就算前面的问题修复，程序退出时也会出现内存泄漏或者异常崩溃。

修复后可正常运行的代码 #

#include <iostream>
#include <memory>
#include "include/libplatform/libplatform.h"
#include "include/v8.h"

// 把Platform提到全局，保证生命周期覆盖整个V8运行过程
std::unique_ptr<v8::Platform> g_platform;
v8::ArrayBuffer::Allocator* g_allocator = nullptr;

v8::Local<v8::Value> execute(v8::Isolate* isolate, const char* input) {
    // 用EscapableHandleScope替代普通HandleScope，允许返回局部句柄
    v8::EscapableHandleScope handle_scope(isolate);
    v8::Isolate::Scope isolate_scope(isolate);
    v8::Local<v8::Context> context = v8::Context::New(isolate);
    v8::Context::Scope context_scope(context);

    v8::Local<v8::String> source = v8::String::NewFromUtf8(isolate, input, v8::NewStringType::kNormal).ToLocalChecked();
    v8::Local<v8::Script> src = v8::Script::Compile(context, source).ToLocalChecked();
    v8::Local<v8::Value> result = src->Run(context).ToLocalChecked();

    // 把result转义到上层HandleScope后再返回
    return handle_scope.Escape(result);
}

v8::Isolate* init(std::string data) {
    v8::V8::InitializeICUDefaultLocation(data.c_str());
    v8::V8::InitializeExternalStartupData(data.c_str());
    g_platform = v8::platform::NewDefaultPlatform();
    v8::V8::InitializePlatform(g_platform.get());
    v8::V8::Initialize();

    v8::Isolate::CreateParams create_params;
    g_allocator = v8::ArrayBuffer::Allocator::NewDefaultAllocator();
    create_params.array_buffer_allocator = g_allocator;
    v8::Isolate* isolate = v8::Isolate::New(create_params);
    return isolate;
}

void cleanup(v8::Isolate* isolate) {
    isolate->Dispose();
    v8::V8::Dispose();
    v8::V8::ShutdownPlatform();
    delete g_allocator;
    g_platform.reset();
}

int main(int args, char* argv[]) {
    v8::Isolate* isolate = init(argv[0]);
    // main里定义外层HandleScope，承接execute转义出来的句柄
    v8::HandleScope main_scope(isolate);

    const char* input = "1 + 2";
    auto result = execute(isolate, input);

    v8::String::Utf8Value utf8(isolate, result);
    std::cout << *utf8 << std::endl;

    cleanup(isolate);
    return 0;
}

内容的提问来源于stack exchange，提问作者J-Cake