Mutex、RWLock、CondVar、Durationにデフォルトが実装されていないのはなぜですか？

Question

Defaultの特性は、導出タイプの内容にもDefaultを実装している場合にのみ、#[derive(..)]dになることがあります。これは、形質がより多く使用されるようになることを意味します。しかし、私はstdからいくつかの型が完全に有効なデフォルト（generic paramsによることもある）を持っていますが、実装が欠落していることに気付きました。

• Mutex<T>とRWLock<T>は
• CondVarは単にCondVar::new()
• Durationで実装できnew(_)で（where T: Default）を実装することができ（賢明なデフォルトでゼロ期間、を取得するために）

を導き出すことができ

これらの省略には技術的な理由がありますか？

Answer 1

Debugの実装で同様の質問をした人もいますが、“Missing Debug Implementations — #31869”を参照してください。Defaultと同様の条件でしか導出できません。

残念なことに、対応するPR "libcore: add Debug implementations to most missing types #32054"は、Debugの実装が書かれていないため、一部のタイプがDebugではないことを示唆しているようです。他のいくつかのタイプは、実装が何をすべきかについて議論の余地があり、標準ライブラリに追加することに対するいくつかの懸念があります。

同じ非技術的理由で、少なくともいくつかのタイプがDefaultではないと仮定することは合理的です。