(译)tolua参考手册
</div>
<p>项目使用Cocos2dx+lua框架做的,用到luabinding实现C++代码绑定到lua层使用,所以学习一下tolua++工具的原理和使用,在这做个记录。</p>
tolua++是tolua的扩展版本,是一款能够集成C/C++与lua代码的工具。在面向C++方面,tolua++包含了一些新的特性比如:
- 支持
std::string
作为基本类型(这个可以由一个命令行选项关闭) - 支持类模板
tolua这款工具,极大的简化了C/C++代码与lua代码的集成。基于一个干净的头文件(或者从实际头文件中提取),tolua会自动生成从lua访问C/C++功能的绑定代码。使用Lua API和标记方法设施,tolua解析C/C++常数,外部变量、函数、类和方法绑定到Lua。
tolua如何工作 (How tolua works)
使用tolua,我们需要创建一个package文件(译者注:pkg文件),即一个从C/C++实际头文件整理后的头文件,列举出我们想导出到lua环境中的那些常量、变量、函数、类以及方法,然后tolua会解析该文件并且创建自动绑定C/C++代码到lua的C/C++文件,如果将创建的文件同我们的应用链接起来,我们就可以从lua中访问指定的C/C++代码。
让我们先看一些例子。如果我们指定下面的c头文件作为输入到tolua:
1 | #define FALSE 0 |
会自动生成一个绑定上面代码到Lua层的C文件。这样,我们在lua代码里就可以访问C代码。如:
1 | ... |
此外,考虑下面类似C++头文件:
1 | #define FALSE 0 |
如果将上面的C++头文件输入给tolua,会自定生成一个Lua层访问C++代码的C++文件。这样,就可以使用如下Lua代码访问C++:
1 | ... |
传给tolua的package文件(.pkg)不是原本的C/C++头文件,而是手动处理过的版本。例如,外部代码访问的C++方法应该是public的,但并没有public修饰。tolua并没有实现对C/C++代码的完全解析,但它能够导出一些声明用于描述的功能到Lua层。因此,tolua将会提取出用户指定的代码以用于解析头文件。
tolua的使用 (How to use toLua)
tolua由两部分代码组成:可执行程序和静态库(an executable and a library)。可执行程序用于解析,读入package文件,然后输出C/C++代码,该代码提供了从lua层访问C/C++层的绑定。如果package文件是与C++类似的代码(例如包括类的定义),就会生成一份C++代码。如果package文件是与C类似的代码(例如不包括类),就会生成一份C代码。tolua可接受一些选项。运行tolua -h
显示当前可接受的选项。例如,要解析一个名为myfile.pkg
生成一个名为myfile.c
的绑定代码,我们需要输入:
1 | tolua -o myfile.c myfile.pkg |
生成的代码必须编译并和应用程序链接,才能提供给Lua进行访问。每个被解析的文件代表导出到Lua的package。默认情况下,package的名称就是输入文件的根名称(例子中为myfile
),用户可以指定一个不同的名称给package:
1 | tolua -n pkgname -o myfile.c myfile.pkg |
package还应该明确的初始化。为了从C/C++代码中初始化package,我们必须声明和调用初始化函数。初始化函数被定义为:
1 | int tolua_pkgname_open (void); |
其中pkgname表示绑定的package名称。如果我们使用C++,我们可以选择自动初始化:
1 | tolua -a -n pkgname -o myfile.c myfile.pkg |
当前tolua版本还导出绑定的关闭功能,可称为解绑定package:
1 | void tolua_pkgname_close (void); |
还有,open
和close
功能的原型可以输出一个头文件,通过-H
选项设置。
tolua生成的绑定代码使用了一系列tolua库里面的函数。因此,这个库同样需要被链接到应用程序中。tolua.h
也是有必须要编译生成的代码。。
应用程序无需绑定任何package文件也可以使用tolua的面向对象框架。在这种情况下,应用程序必须调用tolua初始化函数(此函数被任何package文件初始化函数调用):
1 | int tolua_open (void); |
如果要使用多个Lua状态(Lua state
),设置一个Lua状态(Lua state
)后,我们需要调用一个函数来恢复tolua内部状态:
1 | void tolua_restorestate (void); |
tolua的一些基本概念 (Basic Concepts)
使用tolua的第一步就是创建package文件。我们从真正的头文件入手,将想要暴露给lua的特性转换成tolua可以理解的格式。tolua能够理解的格式就是一些简单的C/C++声明。我们从下面几个方面来讨论:
文件包含
一个package文件可以包含另外的package文件。一般格式是:
1 | $<include_file> |
基本类型 (Basic types)
tolua会自动映射C/C++的基本类型到lua的基本类型。
char
,int
,float
和double
类型被映射为lua中的number
char*
被映射为lua中的string
void*
被映射为lua中的userdata
C/C++中的数据类型前面可能有修饰语(如unsigned, static, short, const等等)。然而我们要注意到tolua会忽略基本类型前面的修饰语const。因此,我们给lua传递一个基本类型常量然后再从lua中传递回给C/C++代码,常量到非常量的转换会被悄悄的完成。
C/C++函数也可以对lua对象进行明确的操作。lua_Object
被认为是一个基本类型,任何lua值都符合。
tolua++新特性:C++中的string
类型同样被认为是基本类型,会被当作值传递给lua(使用c_str()方法)。这个功能可以使用命令行选项-S
进行关闭。
用户定义的类型 (User defined types)
在package文件里的所有其他类型都会被认为是用户自定义类型。它们会映射到lua的userdata类型。lua只能存储指向用户自定义类型的指针;但是,tolua会自动采取措施来处理引用和值。例如,如果一个函数或方法返回一个用户定义类型的值,当这个值返回给lua的时候,tolua会分配一个克隆对象,同时会设置垃圾收集标记,以便在lua不再使用该对象时会自动释放。
对于用户定义类型,常量是被保留的,因此将用户自定义类型的非常量作为常量传递给一个函数时,会产生类型不匹配的错误。
NULL和nil (NULL and nil)
C/C++的NULL或0指针映射到lua中的nil类型。反之,nil却可以被指定为任何C/C++指针类型。这对任何类型都有效:char*
, void*
以及用户自定义类型指针。
宏定义类型 (Typedefs)
tolua还接受简单类型定义的package文件。任何发生的一种定义是由tolua映射后的基类型。他们是非常有用的,因为几个包定义基本的C/C++类型自己的类型。例如,可以定义一个真正代表两个类型。在这种情况下,真正的可以用来指定变量类型package文件由tolua解释,但前提是我们包括以下定义之前使用的实际类型real
。
1 | typedef double real; |
否则,real
将被解释为一个用户定义的类型和不会被映射到Lua数字(numbers
)。
包含real
的头文件(Including real header files)
在package文件中,我们必须指定哪个是真正(real
)的头文件,应包含生成的代码可以访问常量,变量,函数,类具有约束。package文件中的任意行开始$ (except $<...>, $[ , and $] lines)
插入到生成绑定C/C++代码没有任何变化,但 $
本身的消除。我们使用这个特性,包括真正(real
)的头文件。所以,我们的package文件通常会入手一套 $
开始行指定的文件必须包括在内,也就是说,这些文件是基于package文件。
1 | /* specify the files to be included */ |
额外说明,tolua还接受注释,使用C或C++惯例,包内的文件。也可以使用嵌套C注释。
在下面几节中,我们描述了如何指定C/C++代码绑定到Lua。格式是简单有效的C/C++语句。它非常简单的将是一个真正的C/C++头文件转换成package文件。
绑定常量 (Binding constants)
绑定常量,tolua支持两种绑定常量的方式:define
和 enum
。define
通常的格式是:
1 | #define NAME [ VALUE ] |
上面的VALUE是可选的。如果这样的代码出现在被解析的文件中,tolua会将NAME
作为lua的全局变量,该全局变量是C/C++的常量,值为VALUE。这里只接受数字常量。
tolua++新特性:所有的其他预处理指令会被忽略。
enum
的一般格式:
1 | enum { |
同样的,tolua会创建一系列全局变量,命名为NAMEi
,对应着各自的值。
绑定外部变量 (Binding external variables)
全局的外部变量也可以被导出。在package头文件指定为:
1 | [extern] type var; |
tolua绑定这样的声明Lua全局变量。因此,在Lua中,我们自然地可以访问C/C++变量。如果非恒定的变量,我们也可以从Lua变量分配一个新值。全局变量表示数组的值也可以绑定到Lua。数组可以是任何类型的。相应的Lua对象数组是Lua表与数值索引;然而,请注意,指数1在Lua中映射到索引0 C/C++数组。数组必须预先设置长度。例如:
1 | double v[10]; |
绑定函数 (Binding functions)
函数也指传统C/C++声明:
1 | type funcname (type1 par1[, type2 par2[,...typeN parN]]); |
返回类型可以为空(void),这意味着没有返回值。一个函数也可以没有参数。在这种情况下,void可能的列表中指定的参数。参数类型必须遵守已经发布的规则。tolua会创建一个Lua函数绑定C/C++函数。从Lua调用一个函数时,参数类型必须匹配相应的C/C++类型,否则,tolua会生成一个错误报告指定的参数是错误的。如果省略参数名称,tolua会自动命名,但类型应该是基本类型(basic type)或之前使用过的用户类型(user type)。
Arrays (数组)
tolua也处理函数或方法参数表示数组的值。阵列的优点是,它们的值更新相应的Lua表如果C/C++函数改变数组的内容。
数组必须指定大小。例如:
1 | void func (double a[3]); |
是一个有效的函数声明为tolua和从Lua不调用这个函数,例如:
1 | p = {1.0,1.5,8.6} |
数组维数不需要一个常数表达式,指定的大小也可以由任何表达式,可以在运行时进行。例如:
1 | void func (int n, int m, double image[n*m]); |
也有效的自表达式n * m
绑定函数范围是有效的。然而,请注意,tolua使用动态分配绑定这个函数,能降低性能。
尽管大小规范,重要的是要知道所有数组传递给实际的C/C++函数在本地绑定函数的范围。所以,如果C/C++函数被称为需要保存数组指针以备后用,绑定的代码将无法正常工作。
Overloaded functions (重载函数)
函数重载是支持的。记住名称相同的两个函数之间的区别是基于映射到Lua的参数类型。所以,尽管
1 | void func (int a); |
代表两个不同的函数在C++中,他们是tolua相同的函数,因为int和double映射到相同的Lua类型:数字。
另一个棘手的情况发生在导出指针。假设:
1 | void func (char* s); |
虽然这四个函数代表不同的函数在C++中,Lua声明:
1 | func(nil) |
匹配所有的函数。
重要的是要知道tolua决定函数将调用在运行时,试图匹配每个提供的函数。tolua首先试图调用指定的函数;如果失败了,tolua然后试之前一个。重复这个过程,直到一个函数调用代码匹配或第一个函数。出于这个原因,失配误差信息,当它发生时,是基于第一个函数规范。当然性能是很重要的,我们可以指定最常用函数作为最后一个,因为它将放在第一位。
tolua允许使用重载函数在C语言中,查看详细Renaming
Default parameter values (默认参数值)
最后一个函数参数可以有相关联的默认值。在这种情况下,如果用更少的参数,函数被调用的默认值。格式指定默认值是一样的一个用于C++代码:
1 | type funcname (..., typeN-1 parN-1 [= valueN-1], typeN parN [= valueN]); |
toLua实现这个功能没有使用任何C++机制;因此,它也可以使用绑定C函数。
我们也可以指定数组的元素的默认值(没有办法为数组本身,指定一个默认值)。例如:
1 | void func (int a[5]=0); |
设置默认元素值为零,因此,从Lua函数可以调用未初始化表。
Lua对象类型(lua_Object),tolua定义一个常数,可用于指定空值作为默认值:
1 | void func (lua_Object lo = TOLUA_NIL); |
Multiple returned values (多个返回值)
In Lua, a function may return any number of values. tolua uses this feature to simulate values passed by reference. If a function parameter is specified as a pointer to or reference of a basic type or a pointer to or reference of a pointer to an user defined type, tolua accepts the corresponding type as input and returns, besides the conventional function returned value, if any, the updated parameter value.
For instance, consider a C function that swaps two values:
1 | void swap (double* x, double* y); |
or
1 | void swap (double& x, double& y); |
If such a function is declared in the package file, tolua binds it as a function receiving two numbers as input and returning two numbers. So, a valid Lua code would be:
1 | x,y = swap(x,y) |
If the input values are not used, the use of default parameter value allows calling the function from Lua without specifying them:
1 | void getBox (double* xmin=0, double* xmax=0, double* ymin=0, double* ymax=0); |
In Lua:
1 | xmin, xmax, ymin, ymax = getBox() |
With user defined types, we would have for instance:
1 | void update (Point** p); |
or
1 | void update (Point*& p); |
绑定结构体 (Binding struct fields)
User defined types are nicely bound by tolua. For each variable or function type that does not correspond to a basic type, tolua automatically creates a tagged userdata to represent the C/C++ type. If the type corresponds to a struct, the struct fields can be directly accessed from Lua, indexing a variable that holds an object of such a type. In C code, these types are commonly defined using typedef’s:
1 | typedef struct [name] { |
If such a code is inserted in the package file being processed, tolua allows any variable that holds an object of type typename to access any listed field indexing the variable by the field name. For instance, if var holds a such object, var.fieldnamei
accesses the field named fieldnamei.
Fields that represent arrays of values can also be mapped:
1 | typedef struct { |
绑定类和方法 (Binding classes and methods)
C++ class definitions are also supported by tolua. Actually, the tolua deals with single inheritance and polymorphism in a natural way. The subsections below describe what can be exported by a class definition.
Specifying inheritance (指定继承)
If var is a Lua variable that holds an object of a derived class, var can be used wherever its base class type is expected and var can access any method of its base class. For this mechanism to take effect, we must indicate that the derived class actually inherits the base class. This is done in the conventional way:
1 | class classname : public basename |
Specifying exported members and methods (指定导出成员和方法)
As for struct fields, class fields, static or not, can be exported. Class methods and class static methods can also be exported. Of course, they must be declared as public in the actual C++ code (although the public: keyword may not appear in the package files).
For each bound class, tolua creates a Lua table and stores it at a global variable which name is the name of the C++ class. Static exported fields are accessed by indexing this table with the field names (similar to struct fields). Non static exported fields are accessed by indexing the variable that holds the object. Class methods follow the format of the function declaration showed above. They can be accessed from Lua code using the conventional way Lua uses to call methods, applied of course to a variable that holds the appropriate object or to the class table, for static methods.
There are a few special methods that are also supported by tolua. Constructors are called as static methods, named new. Destructors are called as a conventional method called delete.
Note that tolua does support overload. This applies even for constructors. Also note that the virtual keyword has no effect in the package file.
The following code exemplifies class definitions that can be interpreted by tolua.
1 | class Point { |
1 | class ColorPoint : public Color { |
If this segment of code is processed by tolua, we would be able to write the following Lua statements:
1 | p1 = Point:new(0.0,1.0) |
Note that we can only explicitly delete objects that we explicitly create. In the example above, the point p3 will be garbage-collected by tolua automatically; we cannot delete it.
Of course, we need to specify only the methods and members we want to access from Lua. Sometimes, it will be necessary to declare a class with no member or method just for the sake of not breaking a chain of inheritances.
Overloaded operators(重载的运算符)
tolua automatically binds the following binary operators:
1 | operator+ operator- operator* operator/ |
For the relational operators, toLua also automatically converts a returned 0 value into nil, so false in C becomes false in Lua.
As an example, suppose that in the code above, instead of having:
1 | Point add (Point& other); // add points, returning another one |
we had:
1 | Point operator+ (Point& other); // add points, returning another one |
In that case, in Lua, we could simply write:
1 | p3 = p1 + p2 |
The indexing operator (operator[]
) when receiving a numeric parameter can also be exported to Lua. In this case, tolua accepts reference as returne