[D语言] 用D语言编写Ruby扩展

Ruby语言的官方解释程序是使用C语言开发的，一般用C语言来编写扩展。D语言和C语言是二进制兼容的，所以可以使用D语言编写Ruby扩展。

一、移植C库到D的一般过程

C使用头文件来处理符号依赖，在D里面链接外部库文件时，要使用extern (C)声明来引入符号，这是一个转换过程。

如何转换一个C头文件到D文件？D文档的htomodule.html有详尽说明。一般的转换过程如下：

1、运行预处理程序处理掉头文件里面的宏。

2、删除经过预处理以后的多余信息。由于C的头文件包含，每个头文件经过预处理以后都会包含一些重复内容，我们需要剔除这部分内容，通过查找行号即可完成。

3、转换相应声明到D声明，这一步可以使用一个c2h程序来完成。

注意预处理程序处理完毕以后，宏函数以及宏定义的常量会被去除，这可能不是你想要的，所以最好的办法可能是手工转换。

另一种调用是在D里面调用动态链接库，这需要你使用implib工具从动态链接库产生一个.lib导入库文件，然后生成D声明，再编译链接即可。如果是在linux下使用共享库，则只需要编写D声明文件，然后直接链接即可。

二、调用C库

转换完毕以后，就可以调用了。如果你只是要测试一下，就可以只声明使用过的外部函数、变量即可。

例如我们要编写Programming Ruby里面的一个Ruby Extension例子，相应的D代码如下：

//  test.d
module test;

import ruby;

extern (C)
VALUE t_init(VALUE self)
{
  VALUE arr  =  rb_ary_new();
  rb_iv_set(self,  " @arr " , arr);
   return  self;
}

extern (C)
VALUE t_add(VALUE self, VALUE anObject)
{
  VALUE arr  =  rb_iv_get(self,  " @arr " );
  rb_ary_push(arr, anObject);
   return  arr;
}


extern (C){

VALUE cTest;

alias VALUE( * func_type)();

export  void  Init_Test()
{
  cTest  =  rb_define_class( " Test " , rb_cObject);
  rb_define_method(cTest,  " initialize " , cast(func_type) & t_init,  0 );
  rb_define_method(cTest,  " add " , cast(func_type) & t_add,  1 );
}

}   //  extern(C)

和C代码很相似。由于我们只使用了几个外部函数、变量，所以只需要声明这几个符号即可：

//  ruby.d
module ruby;

extern  (C){
    alias  ulong  VALUE;
    VALUE rb_cObject;
    VALUE rb_ary_new ();
    VALUE rb_ary_push (VALUE, VALUE);
    VALUE rb_iv_set (VALUE,   char * , VALUE);
    VALUE rb_iv_get (VALUE,   char * );
    VALUE rb_define_class (  char * ,VALUE);
     void  rb_define_method (VALUE,  char * ,VALUE( * )(), int );
}

三、生成动态链接库(Windows DLL)或共享库(Linux so文件)

D语言在Windows上编写DLL，除了要有D源文件以外，还要有DLL定义文件：

//  test.def
LIBRARY         Test
DESCRIPTION      ' Test written in D '

EXETYPE  NT
CODE            PRELOAD DISCARDABLE
DATA            PRELOAD SINGLE

这是一个通用的格式，只是一些描述信息，因为D中可以使用export关键字导出符号，所以不需要在这里声明导出函数，只有在编写COM DLL时才会增加其它一些信息。

另外由于D语言要初始化GC以及其它一些信息，所以还需要在DllMain里面调用初始化及终止代码。由于不同平台的初始化过程不完全相同，这里我简单封闭了一下不同平台的初始化代码：

//  os/library.d
module os.library;

extern (C){
   void  gc_init();
   void  gc_term();
  version(Windows)  void  _minit();
   void  _moduleCtor();
   void  _moduleDtor();
   void  _moduleUnitTests();
  version(linux)  void  _STI_monitor_staticctor();
  version(linux)  void  _STI_critical_init();
  version(linux)  void  _STD_monitor_staticdtor();
  version(linux)  void  _STD_critical_term();
}

extern (C)
void  d_init()
{
   //  writefln("Start init D runtime");
  version(linux) _STI_monitor_staticctor();
  version(linux) _STI_critical_init();
  gc_init();
  version(Windows) _minit();
  _moduleCtor();
  _moduleUnitTests();
   //  writefln("init finished");
}

extern (C)
void  d_fini()
{
   //  writefln("Start term D runtime");
  _moduleDtor();
  gc_term();
  version(linux) _STD_critical_term();
  version(linux) _STD_monitor_staticdtor();
   //  writefln("term finished");
}

现在可以为Windows编写初始化及终止代码：

//  os/dll.d
module os.dll;

private  import os.library;
private  import std.c.windows.windows;

HINSTANCE g_hInst;

extern  (Windows)
BOOL DllMain(HINSTANCE hInstance, ULONG ulReason, LPVOID pvReserved)
{
   switch  (ulReason)
  {
     case  DLL_PROCESS_ATTACH:
      d_init();
       break ;

     case  DLL_PROCESS_DETACH:
      d_fini();
       break ;

     case  DLL_THREAD_ATTACH:
     case  DLL_THREAD_DETACH:
       //  Multiple threads not supported yet
       return   false ;
  }
  g_hInst = hInstance;
   return   true ;
}

由于Linux共享库并没有标准的入口函数(或是我不知道它)，这里使用gcc扩展的初始、终止代码，不过是以C语言实现的：

//  os/so.c
#include  < ruby.h >
static   void  so_init( void ) __attribute__((constructor));
static   void  so_fini( void ) __attribute__((destructor));

extern   void  d_init( void );
extern   void  d_fini( void );

void  so_init( void )
{
  d_init();
}

void  so_fini( void )
{
  d_fini();
}

现在可以尝试编译链接，在Linux上编译命令如下：

gcc  - o os / so.o  - c os / so.c  - I  / usr / lib / ruby / 1.8 / i686 - linux 
gdc  - o Test.so test.d os / so.o ruby.d  - shared  - fPIC  - lruby

你可以在irb下测试：

require  ' Test '
test  =  Test. new
test.add( 1 )
test.add( 2 )
test.add( " a " )

可以看到add总是返回一个array，与期望结果一致。

使用gdc是因为dmd在linux上无法生成共享库。

在Windows上的编译命令如下：

dmd  - oftest.dll test.d test.def ruby18.lib os / dll.d os / library.d

ruby18.lib是使用implib从msvcrt-ruby18.dll导出的，这个编译过程很顺利，不过不幸的是它运行有一些问题，大概是一些初始值错误，我暂时还没有找到原因。或许也应该尝试一下gdc，不过我不知道如何从.DLL文件导出一个gdc支持的ELF格式的导入库文件。

四、项目打算

打算建立一个rubyd项目，除了转换ruby头文件以外，还要作一些扩展，比如转换D类到ruby类，这方面已有借鉴，比如dsource.org上的pyd项目。

由于以前在建立项目方面有过失败经历(asgard项目由于兴趣转移和其它原因比如语法丑陋等而未能进行)，这次还是保守一些，先完成D声明的转换，我已经使用工具转换了所有头文件，不过正如前面所说，宏函数和宏常量都丢失了，所以需要重新手工转换。

五、其它问题

1、如何从.DLL文件导出一个gdc支持的ELF格式的导入库文件？如果你知道可以告诉我，先谢过了。

2、dmd生成可执行文件问题不大，生成动态链接库或共享库有很大缺陷，特别是不能生成共享库，我可不想再找一个只能再Windows上正常运行的编译器。如何让它改进这些方面？

3、gdc使用dmd前端和gcc后端，应该会成熟一些，不过一般会比dmd前端版本稍低，而且gdc发布版本不是很频繁，大概4-5个dmd版本才会有一个gdc版本(初略计算)，所以一些新特性不能够及时加入进来。