最近の検索

検索履歴はありません

検索オプション

mastodon.cardina1.redでは利用できません。
mastodon.cardina1.red は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。

管理者

サーバーの情報

3
人のアクティブユーザー

mastodon.cardina1.red: 概要プライバシーポリシー

Mastodon: 概要アプリを入手キーボードショートカットソースコードを表示v4.4.1

らりお・ザ・何らかの🈗然㊌ソムリエ

UnsafeCell が ?Sized 付けてるからといって Mutex がそれを継承する必要があるわけでもないので、やっぱり多分なにか理由はあるんだよね……

らりお・ザ・何らかの🈗然㊌ソムリエ

impl<T: ?Sized + Default> Default for Mutex<T>

とかシレっと書いてあるけどさ、 Default は Self を返すから ?Sized な型は実際ありえないでしょ……

らりお・ザ・何らかの🈗然㊌ソムリエ

impl<T> From<T> for Mutex<T> でちゃんと T: Sized になってるあたりそれは意識してるっぽいし、「将来的に unsized な値を扱えるようになったとき (???) Mutex 関連の制約を変化させずに済むように」みたいなお気持ちはあるのかもしれないけど……

·
0ブースト·0お気に入り
らりお・ザ・何らかの🈗然㊌ソムリエ

意識してるっぽいというか、単に ?Sized では実装書けないというだけの話だけど

らりお・ザ・何らかの🈗然㊌ソムリエ

そういえば実用上のケースでは Mutex は Arc や参照で用いられるので、 Arc<Mutex<T>> や &Mutex<T> (なお T は unsized) な場合に特別な最適化をかけるみたいなことがありえるのか。ありえそう。

らりお・ザ・何らかの🈗然㊌ソムリエ

Why unsized local is not allowed in user code but it's widely mentioned in docs? - help - The Rust Programming Language Forum
users.rust-lang.org/t/why-unsi

これ、まさにこれっぽい話題だ
コメントしとこ

users.rust-lang.orgWhy unsized local is not allowed in user code but it's widely mentioned in docs?Just read some documentation for vector, pub trait Index<Idx> where Idx: ?Sized, { type Output: ?Sized; fn index(&self, index: Idx) -> &Self::Output; } parameter index is a unsized local. I wonder if rust internally uses unsized local a lot? Unsized local is widely used in the doc but it's not allowed for the user. So it's hard to read the doc because this contradicts to what we are told to use (trait object or slice). source impl<T, I: SliceIndex<[T]>> Index<I> for Vec<T> { ...
リアルタイムフィード
概要