Rust実装: debug_assert! と # Panics ドキュメントの契約不一致を修正 #321

概要

Algorithm/BinarySearch/leetcode/69. Sqrt(x)/Claude4.6 extended/Sqrt(x)_rust.md および README_react.html の Rust タブにおいて、doc コメントの # Panics セクションと実装の debug_assert! の間に契約不一致が存在します。

問題の詳細

my_sqrt 関数の doc コメントは「x が負の場合に panic する」と宣言していますが、実装では debug_assert! を使用しています。debug_assert! は release ビルドでは削除されるため、負数が渡された場合でも panic が発生せず、そのまま u32 にラップキャストされて計算が進んでしまいます。

修正案

Option A: panic 契約を維持する場合（assert! に変更）

-        debug_assert!(x >= 0, "x must be non-negative, got {x}");
+        assert!(x >= 0, "x must be non-negative, got {x}");

Option B: LeetCode の入力保証に依存する場合（# Panics セクションと assert コメントを削除）

     /// # Panics
-    /// `x` が負の場合（LeetCode 制約上は発生しない）
-    ///
-    /// # Complexity
+    /// # Complexity

-        // x < 0 は制約上あり得ないが、安全のため assert で明示
-        debug_assert!(x >= 0, "x must be non-negative, got {x}");
         let x = x as u32;

対象ファイル

• Algorithm/BinarySearch/leetcode/69. Sqrt(x)/Claude4.6 extended/Sqrt(x)_rust.md（行 66–77 付近）
• Algorithm/BinarySearch/leetcode/69. Sqrt(x)/Claude4.6 extended/README_react.html（Rust タブの同該当箇所）
• public/Algorithm/BinarySearch/leetcode/69. Sqrt(x)/Claude4.6 extended/README_react.html（公開ディレクトリの同ファイル）

参考リンク

• PR: docs: update README.md and add Sqrt(x) solution #319
• レビューコメント: docs: update README.md and add Sqrt(x) solution #319 (comment)

報告者: @myoshi2891