はじめに

こんにちは。細々とプログラミングをしているsotanengelです。
この記事は以下の記事の連載です。

他の連載記事 (詳細)

また本記事はEffective Rust(David Drysdale (著), 中田秀基 (翻訳))を参考に作成されております。とてもいい書籍ですので興味を持った方は、ぜひ読んでみてください！

今日の内容

概要

RIIとは「Resource Acquisition Is Initialization(リソースの確保(Acquisition)と解放を変数の初期化(Initialization)と破棄に紐付ける)」という概念です。
この概念を用いることでunsafeコードにおける、メモリ管理などにも対応しやすくなります。

dropメソッドを自分で実装してみよう

問(リンク)

MyStruct{には自力でdropすべき資源が紐づけられています。 dropメソッドの引数の型を変更することで、drop`の挙動を実装しましょう。

コード (詳細)

struct MyStruct(i32);

trait MyTrait {
    fn do_something(&self);
}

impl MyTrait for MyStruct {
    fn do_something(&self) {
        println!("Doing something");
    }
}

impl Drop for MyStruct {
    // TODO: dropの引数が間違っています。
    // 引数部分を修正して、drop実行後にはMyStructの資源にアクセスできないようにしてください。
    fn drop(&self) {
        println!("MyStruct is being dropped!");
        // 以降にドロップ処理を書く
    }
}

fn main() {
    let x = MyStruct(57);
    x.do_something();

    // ここで明示的にdropを実行する
    drop(x);
}

解答(リンク)

selfを引数の型にしてしまうと呼び出し後に、その資源にアクセスできてしまう。
そのため可変参照(&mut self)を受け取る必要がある。

let x = MyStruct(57);
x.do_something();

x.drop()
x.0 *= 100; // 呼び出し後にMyStructの資源が使えてしまう。

コード (詳細)

#[allow(dead_code)]
struct MyStruct(i32);

trait MyTrait {
    fn do_something(&self);
}

impl MyTrait for MyStruct {
    fn do_something(&self) {
        println!("Doing something");
    }
}

impl Drop for MyStruct {
    // 引数として「self」ではなく、「&mut self」を利用するのは、通常メソッドのように呼び出さないためである。
    // 仮に呼び出せてしまうと、以下のようなコードが実行できてしまう。
    // # example
    // x.drop()
    // x.0 *= 100; // 呼び出し後にMyStructの資源が使えてしまう。
    fn drop(&mut self) {
        println!("MyStruct is being dropped!");
        // 以降にドロップ処理を書く
    }
}

fn main() {
    let x = MyStruct(57);
    x.do_something();

    // ここで明示的にdropを実行する
    drop(x);
}

さいごに

もしも本リポジトリで不備などあれば、リポジトリのissueやPRなどでご指摘いただければと思います。