C APIのセーフティネットのメッセージを改善する #625
Conversation
|
あ、 |
|
なんだこれ... (手元のSphinx v5.3.0はちゃんと動いている) https://github.com/VOICEVOX/voicevox_core/actions/runs/6355234113/job/17263086343?pr=625 追記: #626 で解決 |
これについて補足すると、「重複」が起きる時点でUBであり、それはテストされるべきではないからです。 テスト側から構造体中のフィールドを弄るという手もあるかもしれませんが、何に対するテストかわからなくなるかと思いました。 |
| let ptr = s.as_ptr(); | ||
| let duplicated = !owned_str_addrs.insert(ptr as usize); | ||
| if duplicated { | ||
| panic!( | ||
| "別の{ptr:p}が管理下にあります。原因としては以前に別の文字列が{ptr:p}として存在\ | ||
| しており、それが誤った形で解放されたことが考えられます。このライブラリで生成した\ | ||
| オブジェクトの解放は、このライブラリが提供するAPIで行われなくてはなりません", | ||
| ); | ||
| } |
There was a problem hiding this comment.
意図的に重複を引き当てるケースを作ることが難しいことに気付きました。
たぶんダメなんだろうなと思いつつのコメントなのですが、同じ変数を２回指定するのはだめですか。
let s: CString = "hoge"; // これで動くかわからないのですが、適当なCStringを定義したいくらいの意図です
whitelist(s);
whitelist(s);There was a problem hiding this comment.
slice_ownerの方は厳しいですが、drop_checkの方だと(例示して下さったコードのままだと無理ですが)確かにいけますね!
There was a problem hiding this comment.
slice_ownerの方も、Allocatorが安定化(stabilized)してくれればそれっぽいアロケータを作ってVecの第2型引数に入れればいけるんですけどね。今のstable Rustで挿げ替えることができるのはGlobalAllocだけなので、例えプロセスを分離した上であってもSliceOwnerの中で使っているBTreeMapが死んでしまう... (それ以前にtest harness自体とかも死ぬ可能性すらある)
内容
関連 Issue
Resolves #544.
ref #545
その他
と書いていたのですが、意図的に重複を引き当てるケースを作ることが難しいことに気付きました。そのためメッセージの変更のみです。