锈毁灭者和所有权

客人

前几天,我几乎是在c ++的情况下问同样的问题。

我尝试在我的C编程中复制析构函数和构造函数。这意味着对于每个对象或结构,都有一个初始化函数和一个析构函数,它们释放所有对象资源,如下所示:

struct MyObject {
  struct string a;
  struct string b;
  struct string c;
};

 void ConstructMyObject(struct MyObject *obj) {
   ConstructString(&obj->a);
   ConstructString(&obj->b);
   ConstructString(&obj->c);
}

 void DestructMyObject(struct MyObject *obj) {
   DestructString(&obj->a);
   DestructString(&obj->b);
   DestructString(&obj->c);
}

就像在Rust中一样,在每个函数作用域的结尾都调用了destruct函数,只是我手动将其放在那里,而不是由编译器替我完成工作。因此,现在在DestructMyObject函数中,我会调用每种结构字符串类型的析构函数,因为对于结构字符串对象,我还将有一个析构函数,就像为结构MyObject对象编写的那样。因此,struct MyObject已分配的所有内容都将被释放。

我的问题的例子:

int main {
 struct MyObject Object1;
 ConstructMyObject(&Object1);
 ...
 ...
 ...
 TransferOwnershipFunction(Object1.b); /*takes a struct string object as argument*/
 ...
 ...
 ...

 DestructMyObject(&Object1);

 return 0;
}

我将一个成员(结构字符串b)的ownersnip转移Object1到另一个函数。但是struct string b会被该main函数释放,因为我有一个规则,即当对象超出范围时,我会调用其destruct函数。但是我不希望main函数释放此资源。TransferOwnershipFunction(...)现在负责释放object1的该成员。Rust编译器如何处理这种情况?在Rust中,我是否必须克隆字符串b?

无伴奏合唱

Rust编译器足够智能,可以看到何时仅使用结构的单个字段。只有该特定字段才拥有其所有权,其余字段则在作用域末尾删除(或以其他方式使用)。在下面的示例中可以看到。

struct MyObject {
    a: String,
    b: String,
    c: String,
}

fn consume_string(_string: String) {}

fn main() {
    let object = MyObject {
        a: "".to_string(),
        b: "".to_string(),
        c: "".to_string(),
    };
    consume_string(object.b);
    // We can still access object.a and object.c
    println!("{}", object.a);
    println!("{}", object.c);
    // but not object.b
    // println!("{}", object.b);
}

(操场)

但是,如果该结构具有非平凡的析构函数,即实现该Drop特征,则不会发生这种情况。尝试移动该结构的单个字段将导致编译器错误,如下所示。

struct MyObject {
    a: String,
    b: String,
    c: String,
}

// This is new
impl Drop for MyObject {
    fn drop(&mut self) {
        println!("dropping MyObject");
    }
}

fn consume_string(_string: String) {}

fn main() {
    let object = MyObject {
        a: "".to_string(),
        b: "".to_string(),
        c: "".to_string(),
    };
    consume_string(object.b);
}

尝试编译会产生错误

error[E0509]: cannot move out of type `MyObject`, which implements the `Drop` trait
  --> src/main.rs:22:20
   |
22 |     consume_string(object.b);
   |                    ^^^^^^^^
   |                    |
   |                    cannot move out of here
   |                    move occurs because `object.b` has type `std::string::String`, which does not implement the `Copy` trait

error: aborting due to previous error

For more information about this error, try `rustc --explain E0509`.
error: Could not compile `playground`.

(游乐场)[E0509]

我认为您已经理解了这样做的原因,但是值得重复。如果Drop为某个结构实现,则析构函数在字段之间可能具有非平凡的交​​互;它们可能不只是被独立丢弃。因此,这意味着该结构必须保持为一个连贯的片段,直到被删除为止。

例如,Drop用于Rc<T>检查是否有剩余数据的(强)引用,如果没有,则删除基础数据。如果Rc<T>分别删除(指针,强引用计数和弱引用计数)字段,则将无法检查掉指针时剩下多少强引用。如果仍然有强大的引用,将无法保留基础数据。

如您所料,在Drop实施的情况下,如果您仍想使用它,则必须克隆该字段。

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章