Skip to main content

次のタグが付いている話題の回答:

3
承認済み

Rustにおけるトレイト実装を用いた関数の多重定義とコンパイラの振る舞いに関して

https://github.com/rust-lang/rust/issues/64373 に基づいて説明してみます。 「特殊ケース」まではそこそこ自信ありますが、「本題」は挙動から見た推論になってしまったことをご了承ください。 高階トレイト境界 (HRTB) 既にご存じかもしれませんが一応。 ご提示のコードに、 P: Fn(&T) -> bool のようなトレイト境界がありますが、...
eduidl's user avatar
  • 466
2
承認済み

RustのMutexがドロップされる条件について

式の途中では一時的な値というものが生じます。 簡単な例として let foo = 1+2+5; という文があったとするとまず 1+2 が計算されて 3 になり、 3 と 5 が足し算されて 8 が生まれてそれが foo に入ります。 このとき 3 は変数と結びついていません。 変数のスコープとして説明できない存在です。 こういった一時的なものがいつ解体されるのかは Temporary scope ...
齊藤敦志's user avatar
  • 1,473
1

Rustのトレイト並びに関数のライフタイム注釈に関して

完全な回答では無いですが、現在における一定の解釈を構築できたので此処にまとめておきます。この解釈は、traitを用いた実装が拒絶される理由になります。 質問に提示していた、 fn use_trait<'a, T: Dump<'a>>(item: T) { let reference = &item; Dump::dump(reference) } ...
時計屋's user avatar
  • 1,050
1

DIMACS CNF 形式のファイルを読み込みたい

rustにはdimacsというクレートがあってDIMACS CNFファイルをパースできるみたいです。 https://docs.rs/dimacs/latest/dimacs/index.html
Jogenara's user avatar
  • 664
1

RustのMutexがドロップされる条件について

以下の場合、最後の戻り値以外(途中のMutexGuard等)は一時的なオブジェクトなので、その文の末尾でドロップされてunlockされます。 let job = receiver.lock().unwrap().recv().unwrap(); それに対して以下の場合は、MutexGuardをjobとして保持しているため、そのオブジェクトがドロップされるまで(スコープを抜けるまで)、...
alpha's user avatar
  • 1,796
1

The Rust Programming Language 17章 リスト17-15 のコードを解説いただきたい

最初から Option を使わなければこの問題も避けられるのでは?と思いました。 その形でやってみれば問題を避けられないことをコンパイラが教えてくれるはずです。 The Rust Programming Language で前提とする状況がややこしいのですごく単純化したコードにするとこんな感じだと思いますが…… struct Foo {} impl Foo { fn ...
齊藤敦志's user avatar
  • 1,473
1
承認済み

traitのConstにconst genericsを引き渡すことは可能か?

定数パラメタとして受け取ったものを使うときは波括弧で囲まなければならないという構文上の制限があるようです。 #![feature(generic_const_exprs)] #![feature(associated_const_equality)] trait ArrayReturn { const SIZE: usize; fn get_array(&self) -&...
齊藤敦志's user avatar
  • 1,473
1

Rustにおけるトレイト実装を用いた関数の多重定義とコンパイラの振る舞いに関して

あんまり自身がないのですが、自分の見解を記事にしてみました 参考になれば幸いです https://zenn.dev/skanehira/articles/2023-09-23-rust-closure-lifetime-binder
skanehira's user avatar

無効化に投票