全能的脚本引擎抽象层
ScriptX是一个脚本引擎抽象层。对下封装多种脚本引擎,对上暴露统一的API,使得上层调用者可以完全隔离底层的引擎实现(后端)。
ScriptX不仅隔离了几种JavaScript引擎,甚至可以隔离不同脚本语言,使得上层仅需修改一个编译选项即可无缝切换脚本引擎和脚本语言。
ScriptX的术语中,"前端"指对外的C++ API,"后端"则指不同的底层引擎,目前已经实现的后端有:V8, node.js, JavaScriptCore, WebAssembly, Lua.
后端 | 语言 | 版本 | 状态 |
---|---|---|---|
V8 | JavaScript | 7.4+ | done |
JavaScriptCore | JavaScript | 7604.1.38.0.7+ (iOS 10+/macOS10.12+) |
done |
Node.js | JavaScript | 14.x+ | done |
QuickJs | JavaScript | 2021-03-27 | done |
WebAssembly | JavaScript | Emscripten-2.0.5+ | done |
Lua | Lua | 5.4+ | done |
CPython | Python | todo | |
YARV | Ruby | todo | |
Mono | C# | todo |
ScriptX 的接口使用现代C++特性。并且做到100%符合C++标准,完全跨平台。
所有API以ScriptX.h
聚合头文件暴露出来。
设计目标: 多语言 | 多引擎实现 | 高性能 | API易用 | 跨平台
我们通过一段比较完整的代码来对ScriptX留下一个整体印象。
EngineScope enter(engine);
try {
engine->eval("function fibo(x) { if (x<=2 ) return 1; else return fibo(x-1) + fibo(x-2) }");
Local<Function> fibo = engine->get("fibo").asFunction();
Local<Value> ret = fibo.call({}, 10);
ret.asNumber().toInt32() == 55;
auto log = Function::newFunction(
[](const std::string& msg) {
std::cerr << "[log]: " << msg << std::endl;
});
// or use: Function::newFunction(std::puts);
engine->set("log", log);
engine->eval("log('hello world');");
auto json = engine->eval(R"( JSON.parse('{"length":1,"info":{"version": "1.18","time":132}}'); )")
.asObject();
json.get("length").asNumber().toInt32() == 1;
auto info = json.get("info").asObject();
info.get("version").asString().toString() == "1.18";
info.get("time").asNumber().toInt32() == 132;
Local<Object> bind = engine->eval("...").asObject();
MyBind* ptr = engine->getNativeInstance<MyBind>(bind);
ptr->callCppFunction();
} catch (Exception& e) {
FAIL() << e.message() << e.stacktrace();
// or FAIL() << e;
}
- 使用
EngineScope
进入引擎环境 - 绝大多是API可以接受C++原生类型作为参数,内部自动转换类型
- 可以从C/C++函数直接创建脚本函数(native 绑定)
- 支持脚本的异常处理
- API强类型
ScriptX设计之初就目标为支持多种脚本语言,并在JavaScript上实现了V8和JavaScriptCore的引擎封装。 后续为了验证ScriptX的多语言设计,实现了完整的Lua绑定。 目前针对WebAssembly的支持也已经完成。
API设计上符合现代 C++ 风格,如:
- 三种引用类型 Local/Global/Weak,使用copy, move语义实现自动的内存管理(自动引用计数)
- 使用 variadic template 支持非常方便的 Function::call 语法
- 使用 Template Meta-Programing 实现直接绑定C++函数
现代语言特性,引用空指针安全(nullibility safety 请参考kotlin的概念)。
注:ScriptX要求C++17(或1z)以上的编译器支持,并需要打开异常特性,(可以关闭RTTI特性)。
高性能是ScriptX设计上的重要指标。在实现过程中也充分体现了 Zero-Overhead 的C++思想。并在增加功能特性的时候通过相关的性能测试。
测试环境:iMac i9-9900k 32G RAM @macOS 10.15
性能测试表示,在Release模式下,ScriptX可以达到几乎和原生绑定相同的性能。(由于ScriptX使用大量模板,请勿在Debug版进行性能测试)
ScriptX通过一系列的技术手段实现了脚本的异常和C++异常相互打通的能力。在调用引擎API时无需判断返回值,可以使用异常统一处理,避免crash。
比如使用者可以在C++层catch住js代码抛的异常,并获取message和堆栈;也可以在native函数里抛一个C++异常(script::Exception
) 并透传到js代码中去。
详见 ExceptionTest 及 相关文档
易用的API => 开心的工程师 => 高效 => 高质量
ScriptX 设计的时候充分考虑到API的易用性,包括操作友好简单,不易出错,错误信息明显,便于定位问题等。在这样的指导思想之下ScriptX做了很多原生引擎做不了的事情。
比如:V8在destroy的时候是不执行GC的,导致很多绑定的native类不能释放。ScriptX做了额外的逻辑处理这个情况。
V8和JSCore要求在finalize回调中不能调用ScriptX的其他API,否则会crash,这也导致代码逻辑很难实现。ScriptX借助MessageQueue完美规避这个问题。
V8和JSCore的全局引用都必须在engine destroy之前全部释放掉,否则就会引起crash、不能destroy等问题。ScriptX则保证在Engine destroy的时候主动reset所有 Global / Weak 引用。
当app作为宿主使用脚本引擎时,通常都是需要注入大量native 绑定的 函数/类 来为脚本逻辑提供能力。ScriptX 设计的ClassDeifine
相关绑定API简单易用,并且可以支持直接绑定C++函数,极大的提升工作效率。
ScriptX再提供引擎封装的同时,也提供了一套工具方法实现原生类型和ScriptX类型的相互转换。
详见 InteroperateTest 及 相关文档
代码质量高标准要求
- 上百个测试用例,单测覆盖率达 90+%
- 圈复杂度仅有 1.18。
- 借助clang-format保证代码格式统一。
- 使用clang-tidy发现潜在问题。
- 在clang和MSVC编译器上都打开了"warning as error"级别的错误信息。
root
├── README.md
├── src
│ ├── Engine.h
│ └── ...
├── backend
│ ├── JavaScriptCore
│ ├── Lua
│ ├── Python
│ ├── QuickJs
│ ├── Ruby
│ ├── SpiderMonkey
│ ├── Template
│ ├── V8
│ ├── WKWebView
│ └── WebAssembly
├── docs
│ ├── Basics.md
│ └── ...
└── test
├── CMakeLists.txt
└── src
├── Demo.cc
└── ...
src
: 对外API,主要是头文件backend
: 各种引擎后端的实现docs
: 丰富的文档test
: 各种单元测试
ScriptX 中的一些重要类:
ScriptEngine
EngineScope
Exception
Value
,Null
,Object
,String
,Number
,Boolean
,Function
,Array
,ByteBuffer
,Unsupported
Local<Value>
,Local<Null>
,Local<Object>
,Local<String>
,Local<Number>
,Local<Boolean>
,Local<Function>
,Local<Array>
,Local<ByteBuffer>
,Local<Unsupported>
Global<T>
,Weak<T>
在正式使用ScriptX之前,请花半个小时仔细阅读项目文档,并熟悉 ScriptX 中的若干概念。