这次,我们来关注一下Rust语言的基本特性到C的映射。
我们已经了解了,Rust语言是多泛式(混合泛式)的语言,它可以做命令式(过程式)编程,也可以做面向对象编程,也可以做函数式编程。把Rust简单地归类为某种泛式的编程语言,都不太合适。Rust就是Rust。
C语言是比较传统的过程式编程语言,因此,从Rust到C的转换,就会有一些无法直接对标的东西。于是,做这种映射工作就需要一些额外的规范或约定。
本文我们来关注:
结构体的方法的处理
泛型的处理
Type alias
Enum 到 C 的映射
结构体的方法的处理
我们知道,Rust中,可以对结构体(或 enum 等)添加方法。这是属于面向对象的特性,而纯C是不支持这种特性的。于是,我们必须将这些方法单独实现为一批函数,在这批函数名前面加上统一的前缀,看下面代码:
rust 代码
// rust
#[repr(C)]
struct Foo {
a: isize,
b: isize
}
impl Foo {
pub fn method1() {
...
}
pub fn method2(x: isize) -> isize {
...
}
pub fn method3(x: isize, y: isize) -> isize {
...
}
}
这段代码翻译成C的时候,对应的大概会是下面这个样子:
struct Foo {
int a;
int b;
}
void foo_method1(Foo* foo);
int foo_method2(Foo* foo, int x);
int foo_method1(Foo* foo, int x, int y);
然而,这种映射是不能自动转换的(毕竟只是我们自己的约定),需要手动写出来。于是我们需要实现接口层的Rust代码:
// We have struct Foo now
#[n