コード <div class="highlight highlight-source-rust notranslate position-relative ov

<div class="highlight highlight-source-rust notranslate position-relative overflow-auto" dir="auto"

Box化した構造体をDerefした後にメソッド呼び出しが正常に行かない about adelie HOT 1 CLOSED

kumavale commented on August 20, 2024

Box化した構造体をDerefした後にメソッド呼び出しが正常に行かない

from adelie.

Comments (1)

kumavale commented on August 20, 2024

impl Foo { fn b(&self) -> i32 { 42 } }

とした際は正常に42が出力されたことから、バグっているのはメソッド呼び出しではなく、selfのフィールドの取得だと判断できる。

でもこれなら上手く動作するんだよなぁ 🤔

struct Foo { a: i32 }
impl Foo { fn b(&self) -> i32 { self.a } }
fn main() {
    let f: Foo = Foo { 42 }; println!(f.b());
}

ilに手動で以下を挿入したら上手く動作した。
objectをvaluetype Fooに変換したものをローカル変数に格納し、そのアドレスをロードしてメソッドを呼んでいる。

.method static void Main() cil managed {
	.entrypoint
	.maxstack 32
	.locals init (
			object V_0,
		valuetype Foo V_1)
	ldloca 1
	initobj Foo
	ldloca 1
	ldc.i4 42
	stfld int32 Foo::a
	ldloc 1
	box valuetype Foo
	stloc 0
	ldloc 0
	unbox.any valuetype Foo
+       stloc 1
+       ldloca 1
	call instance int32 Foo::b()
	call void [mscorlib]System.Console::WriteLine(int32)
	ldstr "ok"
	box string
	call void [mscorlib]System.Console::WriteLine(object)
	ret
}

こうなのでは！！！

.method static void Main() cil managed {
	.entrypoint
	.maxstack 32
	.locals init (
			object V_0,
		valuetype Foo V_1)
	ldloca 1
	initobj Foo
	ldloca 1
	ldc.i4 42
	stfld int32 Foo::a
	ldloc 1
	box valuetype Foo
	stloc 0
	ldloc 0
-	unbox.any valuetype Foo
+	unbox valuetype Foo
	call instance int32 Foo::b()
	call void [mscorlib]System.Console::WriteLine(int32)
	ldstr "ok"
	box string
	call void [mscorlib]System.Console::WriteLine(object)
	ret
}

from adelie.

Recommend Projects