美文网首页
node-addon-api的设计和实现

node-addon-api的设计和实现

作者: 老鼠AI大米_Java全栈 | 来源:发表于2022-02-16 18:18 被阅读0次

    本文转载自微信公众号「编程杂技」,作者theanarkh 。转载本文请联系编程杂技公众号。

    前言:开发Nodej.js Addon的方式经过不断地改进,已经逐步完善,至少我们不需要在升级Node.js版本的同时担心Addon用不了或者重新编译。目前Node.js提供的开发方式是napi。但是napi用起来非常冗余和麻烦,每一步都需要我们自己去控制,所以又有大佬封装了面向对象版本的api(node-addon-api),使用上方便了很多,本文分析一下node-addon-api的设计思想,但不会分析过多细节,因为我们理解了设计思想后,使用时去查阅文档或者看源码就可以。

    我们首先看一下使用napi写一个hello world的例子。

    #include <assert.h>
    #include <node_api.h>
    
    static napi_value Method(napi_env env, napi_callback_info info) {
      napi_status status;
      napi_value world;
      status = napi_create_string_utf8(env, "world", 5, &world);
      assert(status == napi_ok);
      return world;
    }
    
    #define DECLARE_NAPI_METHOD(name, func)                                        \
      { name, 0, func, 0, 0, 0, napi_default, 0 }
    
    static napi_value Init(napi_env env, napi_value exports) {
      napi_status status;
      napi_property_descriptor desc = DECLARE_NAPI_METHOD("hello", Method);
      status = napi_define_properties(env, exports, 1, &desc);
      assert(status == napi_ok);
      return exports;
    }
    
    NAPI_MODULE(NODE_GYP_MODULE_NAME, Init)
    

    接着我们看一下node-addon-api版的写法。

    #include <napi.h>
    
    Napi::String Method(const Napi::CallbackInfo& info) {
      Napi::Env env = info.Env();
      return Napi::String::New(env, "world");
    }
    
    Napi::Object Init(Napi::Env env, Napi::Object exports) {
      exports.Set(Napi::String::New(env, "hello"),
                  Napi::Function::New(env, Method));
      return exports;
    }
    
    NODE_API_MODULE(hello, Init)
    

    我们看到,代码简洁了很多,有点写js的感觉了。
    下面我们看看这些简洁背后的设计。我们从模块定义开始分析。

    NODE_API_MODULE(hello, Init)
    

    NODE_API_MODULE是node-addon-api定义的宏。

    #define NODE_API_MODULE(modname, regfunc)                                           \
      static napi_value __napi_##regfunc(napi_env env, napi_value exports) {       \
        return Napi::RegisterModule(env, exports, regfunc);                                      \
      }                                                                                                                        \
      NAPI_MODULE(modname, __napi_##regfunc)
    

    我们看到NODE_API_MODULE是对NAPI_MODULE的封装,NAPI_MODULE的分析可以参考之前napi原理相关的文章,这里就不具体分析。最后在加载addon的时候执行_napi##regfunc函数。并传入napi_env env, napi_value exports参数。我们知道这是napi规范的参数。接着执行RegisterModule。

    inline napi_value RegisterModule(napi_env env,
                                     napi_value exports,
                                     ModuleRegisterCallback registerCallback) {
      // details::WrapCallback里会执行lamda函数并返回lamda的返回值                      
      return details::WrapCallback([&] {
        return napi_value(registerCallback(Napi::Env(env),
                                           Napi::Object(env, exports)));
      });
    }
    

    RegisterModule里最终会执行registerCallback。我们看一下registerCallback变量的类型ModuleRegisterCallback的定义。

    typedef Object (*ModuleRegisterCallback)(Env env, Object exports);
    

    所以registerCallback的参数是Env和Object对象。这两个类不是Node.js也不是V8定义的,而是node-addon-api。我们一会再分析,我们先知道他是两个对象就好。这里registerCallback的值是我们定义的Init函数。

    Napi::Object Init(Napi::Env env, Napi::Object exports) {
      exports.Set(Napi::String::New(env, "hello"),
                  Napi::Function::New(env, Method));
      return exports;
    }
    

    通过Set方法给exports定义属性,我们在js就可以访问对应的属性了。最后返回exports,exports是Object类型。但根据napi的接口定义。返回的类型应该是napi_value。我们看看node-addon-api是怎么做的。我们回到RegisterModule函数。

    return napi_value(registerCallback(Napi::Env(env),  Napi::Object(env, exports)));
    

    我们看到registerCallback执行后的返回值会被转成napi_value类型。那么Object类型是怎么自动转成napi_value类型的呢?我们一会分析。了解了node-addon-api的使用方式后,我们开始具体分析其中的设计。

    我们先看看Env的设计。

    class Env {
      public:
        Env(napi_env env);
        operator napi_env() const;
    
      private:
        napi_env _env;
    
    };
    
    inline Env::Env(napi_env env) : _env(env) {}
    // 类型重载
    inline Env::operator napi_env() const {
      return _env;
    }
    

    我们只看核心的设计,忽略一些无关重要的细节。我们看到Env的设计很简单,就是对napi的napi_env的封装。接着我们看类型的设计。

    class Value {
      public:
        Value();     
        Value(napi_env env,  napi_value value);  
        operator napi_value() const;
        Napi::Env Env() const;
    
      protected:
        napi_env _env;
        napi_value _value;
    };
    

    Value是node-addon-api的类型基类,类似V8里的设计。我们看到Value里面只有两个字段,env和_value。env就是我们刚才提到的Env。_value就是对napi类型的封装。Value类只是抽象的封装,不涉及到具体的逻辑。下面我们以自定义的Init函数为例,开始分析具体的逻辑。

    Napi::Object Init(Napi::Env env, Napi::Object exports) {
      exports.Set(Napi::String::New(env, "hello"), 
                  Napi::Function::New(env, Method)
                 );
      return exports;
    }
    

    我们先看看String::New的实现。

    class Name : public Value {
      public:
        Name();                     
        Name(napi_env env, napi_value value); 
    };
    
    class String : public Name {
      public:
       static String New(napi_env env, const char* value);
    };
    
    inline String String::New(napi_env env, const char* val) {
          napi_value value;
          napi_status status = napi_create_string_utf8(env, val, std::strlen(val), &value);
          NAPI_THROW_IF_FAILED(env, status, String());
          return String(env, value);
    }
    

    我们看到New的实现很简单,主要是对napi的封装。但有些细节还是需要注意的。1 我们看到exports.Set函数的第一个参数是Env类型,但是New函数的第一个参数类型是napi_env,看起来不兼容。这个是如何自动转换的呢?因为Env类对napi_env类型进行了重载。

    inline Env::operator napi_env() const {
      return _env;
    }
    

    我们看到当需要napi_env类型的时候,Env会返回_env,_env就是napi_env类型。2 通过napi接口创建了值之后,最后返回的是一个String类型。我们看看String构造函数。

    inline String::String(napi_env env, napi_value value) : Name(env, value) {}
    inline Name::Name(napi_env env, napi_value value) : Value(env, value) {}
    

    最后调用Value构造函数保存了napi返回的值。并且给调用方返回了一个String对象。我们看看exports.Set(Napi::String::New(env, "hello"), Napi::Function::New(env, Method))的时候是如何使用这个String对象的。exports是一个Object。Object和String的实现是类似的,他们都是继承Value类,在内部封装了napi_env和napi_value变量。所以我们看看Object::Set的实现。

    template <typename ValueType>
    inline bool Object::Set(napi_value key, const ValueType& value) {
      napi_status status = napi_set_property(_env, _value, key, Value::From(_env, value));
      NAPI_THROW_IF_FAILED(_env, status, false);
      return true;
    }
    

    _value的值是Object封装的napi_value对象,也就是一个V8 Object对象。然后通过napi_set_property设置对象的属性和值。同样我们发现Set函数的实参是String对象,但是型参是napi_value类型。这个和Env的自动转换是类似的,String继承了Value,而Value重载了类型napi_value。

    inline Value::operator napi_value() const {
      return _value;
    }
    

    即返回了封装的napi_value变量。我们通过Set设置了一个属性hello,值是一个函数。

    Napi::String Method(const Napi::CallbackInfo& info) {
      Napi::Env env = info.Env();
      return Napi::String::New(env, "world");
    }
    

    当我们在js层调用hello的时候,不会执行这个函数,而是先执行node-addon-api的代码,node-addon-api对napi的变量进行封装后,才会调用Method。所以我们看到Method的入参类型和napi的是不一样的。最后Method执行完返回的时候,同样是先回到node-addon-api。node-addon-api把Method的返回值(String对象)转成napi的格式后(napi_value)再返回到napi(这里比较复杂,目前还没有深入分析)。

    至此我们看到了node-addon-api设计的基本思想如图所示。


    图片

    大致的思想就是node-addon-api为我们封装了一层,当napi调用我们定义的内容时,会先经过node-addon-api。node-addon-api封装napi的入参后再调用我们自定义的内容。同样,我们返回内容给napi时,也会经过node-addon-api的封装再回到napi。比如我们在addon里创建一个数字时, 我们会执行Number New(napi_env env, double value);New会调用napi的napi_create_double创建一个napi_value变量。接着把napi_value的值封装到Number,最后返回一个Number给我们,后续我们调用Number的其他方法时,node-addon-api会从Number对象中拿到保存napi_value的值,再调用napi的api。这样我们只需要面对node-addon-api提供的接口而不需要理解napi。另外node-addon-api还做了一些运算符重载使得我们写代码更容易。比如对Object []的重载。

    Value operator []( const char* utf8name) const;
    

    我们看看实现。

    inline Value Object::operator [](const char* utf8name) const {
      return Get(utf8name);
    }
    
    inline Value Object::Get(const char* utf8name) const {
      napi_value result;
      napi_status status = napi_get_named_property(_env, _value, utf8name, &result);
      NAPI_THROW_IF_FAILED(_env, status, Value());
      return Value(_env, result);
    }
    

    这样我们就可以通过obj['name']这种方式访问对象了。否则我们还需要像下面的方式访问。

    napi_value value;
    napi_status status = napi_get_named_property(_env, _value, key, &value);
    

    如果大量这样的代码将会非常麻烦和低效。另外node-addon-api对类型进行了大量的重载,使得变量的类型转换得以自动进行不需要强制转换来转换去。比如我们可以直接执行以下代码。

    int32_t num = Number对象;
    

    因为Number对int32_t进行了重载。

    inline Number::operator int32_t() const {
      return Int32Value();
    }
    
    inline int32_t Number::Int32Value() const {
      int32_t result;
      napi_status status = napi_get_value_int32(_env, _value, &result);
      NAPI_THROW_IF_FAILED(_env, status, 0);
      return result;
    }
    

    后记:本文大致分析了node-addon-api的实现原理和思想,实现的代码将近万行,虽然有很多类似的逻辑,但是也有些比较复杂的封装,有兴趣的同学可自行阅读。

    相关文章

      网友评论

          本文标题:node-addon-api的设计和实现

          本文链接:https://www.haomeiwen.com/subject/dkdclrtx.html