使用V8 JS引擎从C++向JS返回布尔值异常问题求助

环境：macOS Monterey 12.6，Intel Core i7，Xcode 13.1
在将V8静态库嵌入独立C应用时，C向JS返回布尔值出现异常：

• cpp_CreateTrue返回空字符串，而非布尔值true
• cpp_CreateFalse导致程序崩溃，JS中检测类型为symbol
• C++内部判断v8::Boolean::New(isolate, true)的类型也不符合预期

操作步骤及代码如下：

1. 获取V8静态库的bash脚本 #

git clone https://chromium.googlesource.com/chromium/tools/depot_tools.git
export PATH=$PWD/depot_tools:$PATH

mkdir v8
cd v8
fetch v8
cd v8

git checkout branch-heads/9.4
gclient sync

gn gen out/x64.release --args='
is_component_build = false
is_debug = false
target_cpu = "x64"
use_goma = false
v8_enable_backtrace = true
v8_enable_disassembler = true
v8_enable_object_print = true
v8_enable_verify_heap = true
dcheck_always_on = false
v8_monolithic = true
v8_use_external_startup_data = false'

ninja -C out/x64.release v8_monolith

2. 项目配置 #

将out/x64.release/obj下的libv8_monolith.a、libv8_libplatform.a、libv8_libbase.a复制到Xcode C++控制台项目并链接。

3. C++核心代码 #

#include <iostream>
#include <string>
#include <fstream>
#include <sstream>
#include <filesystem>

#include <v8.h>
#include <libplatform/libplatform.h>

using namespace v8;

std::string ToStdString(v8::Isolate *isolate, v8::MaybeLocal<v8::Value> valueMaybe);

bool LoadScript(const std::string& path, Isolate* _isolate, Local<Context> _context);

void LogCallback(const FunctionCallbackInfo<Value> &args);

void CreateTrue(const FunctionCallbackInfo<Value> &args) {
    v8::Isolate *isolate(args.GetIsolate());
    args.GetReturnValue().Set(v8::True(isolate));
}

void CreateFalse(const FunctionCallbackInfo<Value> &args) {
    v8::Isolate *isolate(args.GetIsolate());
    args.GetReturnValue().Set(v8::False(isolate));
}


int main(int argc, const char * argv[]) {
    std::unique_ptr<Platform> platform = v8::platform::NewDefaultPlatform();
    
    V8::InitializePlatform(platform.get());
    V8::Initialize();
    
    Isolate::CreateParams create_params;
    create_params.array_buffer_allocator = ArrayBuffer::Allocator::NewDefaultAllocator();
    Isolate* isolate = Isolate::New(create_params);
    
    Local<Context> context;
    {
        Locker l(isolate);
        Isolate::Scope isolate_scope(isolate);
        HandleScope handle_scope(isolate);
        
        Local<ObjectTemplate> global = ObjectTemplate::New(isolate);
        
        global->Set(isolate, "log", FunctionTemplate::New(isolate, LogCallback));
        
        global->Set(isolate, "cpp_CreateTrue", FunctionTemplate::New(isolate, CreateTrue));
        global->Set(isolate, "cpp_CreateFalse", FunctionTemplate::New(isolate, CreateFalse));
        
        context = Context::New(isolate,  nullptr, global);
        
        auto jsLikeBool = v8::Boolean::New(isolate, true);
        // at this point typeof this jsLikeBool equals to string, but should be equal to boolean
        if (jsLikeBool->IsBoolean()) {
            std::cout << "c++::GetBoolean jsLikeBoolean has boolean type" << std::endl;
        } else {
            std::cout << "c++::GetBoolean jsLikeBoolean DOES NOT have boolean type, but HAS: " << ToStdString(isolate, jsLikeBool->TypeOf(isolate)) << std::endl;
        }
    }
    
    if (!LoadScript(std::filesystem::current_path() / "assets" / "bools.js", isolate, context)) {
        return 1;
    }
    
    isolate->Dispose();
    V8::Dispose();
    V8::ShutdownPlatform();
    
    delete create_params.array_buffer_allocator;
    return 0;
}

4. 对应的assets/bools.js代码 #

const Js_CreateTrue = () => true;
const Js_CreateFalse = () => false;

const CheckCreator = function(tag, getter, expectedType, expectedValue) {
    const value = getter();
    const valueType = typeof value;
    
    if (valueType !== expectedType) {
        log(`JS::test ${tag} failed types check, actual: ${valueType}, but expected: ${expectedType}`);
    }
        
    if (value !== expectedValue) {
        log(`JS::test ${tag} failed values check, actual: ${value}, but expected: ${expectedValue}`);
    }
}

CheckCreator("Js_CreateTrue", Js_CreateTrue, "boolean", true); // OK
CheckCreator("Js_CreateFalse", Js_CreateFalse, "boolean", false); // OK

CheckCreator("cpp_CreateTrue", cpp_CreateTrue, "boolean", true); // FAILED: gets an empty string
CheckCreator("cpp_CreateFalse", cpp_CreateFalse, "boolean", false); // causes crash in c++, actual type is `symbol`

问题根源在于V8 API使用不规范：回调函数缺少必要的作用域管理，Context作用域缺失导致类型判断异常，布尔值返回方式不符合V8原始值的要求。

修复步骤： #

1. 修复C++回调函数，添加HandleScope
   V8函数回调中，所有Local对象的创建必须在HandleScope内，否则会导致Handle失效、内存错误。同时直接使用bool值传入Set方法，自动转换为JS原始布尔值：

void CreateTrue(const FunctionCallbackInfo<Value> &args) {
    v8::HandleScope scope(args.GetIsolate());
    args.GetReturnValue().Set(true);
}

void CreateFalse(const FunctionCallbackInfo<Value> &args) {
    v8::HandleScope scope(args.GetIsolate());
    args.GetReturnValue().Set(false);
}

2. 修复C++内部布尔值类型判断的作用域
   调用TypeOf必须在当前Context的作用域内，添加Context::Scope确保上下文正确：

{
    Locker l(isolate);
    Isolate::Scope isolate_scope(isolate);
    HandleScope handle_scope(isolate);
    
    Local<ObjectTemplate> global = ObjectTemplate::New(isolate);
    
    global->Set(isolate, "log", FunctionTemplate::New(isolate, LogCallback));
    global->Set(isolate, "cpp_CreateTrue", FunctionTemplate::New(isolate, CreateTrue));
    global->Set(isolate, "cpp_CreateFalse", FunctionTemplate::New(isolate, CreateFalse));
    
    context = Context::New(isolate, nullptr, global);
    
    Context::Scope context_scope(context); // 新增：进入当前Context作用域
    
    auto jsLikeBool = v8::Boolean::New(isolate, true);
    if (jsLikeBool->IsBoolean()) {
        std::cout << "c++::GetBoolean jsLikeBoolean has boolean type" << std::endl;
    } else {
        std::cout << "c++::GetBoolean jsLikeBoolean DOES NOT have boolean type, but HAS: " << ToStdString(isolate, jsLikeBool->TypeOf(isolate)) << std::endl;
    }
}

3. 验证ToStdString函数实现
   确保类型转换函数逻辑正确，避免错误的类型输出：

std::string ToStdString(v8::Isolate *isolate, v8::MaybeLocal<v8::Value> valueMaybe) {
    v8::HandleScope scope(isolate);
    v8::Local<v8::Value> value;
    if (!valueMaybe.ToLocal(&value)) {
        return "";
    }
    v8::Local<v8::String> str;
    if (!value->ToString(isolate->GetCurrentContext()).ToLocal(&str)) {
        return "";
    }
    v8::String::Utf8Value utf8(isolate, str);
    return std::string(*utf8);
}

4. 检查Xcode链接配置
   确保项目链接器标志包含：

• -lv8_monolith
• -lv8_libplatform
• -lv8_libbase
  同时确认头文件路径指向V8的include目录，构建架构与V8编译的x64一致。

内容的提问来源于stack exchange，提问作者Alex May