ダウンキャスト配列の長さとインデックス

Question

私はバイナリ検索を実装しています。この関数は、配列に見つかったときにターゲット値のインデックスを返します。それ以外の場合は-1です。

usizeではなく、i32のインデックスを扱うことをお勧めします。ターゲットが見つからない場合は、-1を返すためにネガを許可する必要があります。私は関数の端に明示的にキャストしています。これの周りには、より錆びた方法は何ですか？

fn binary_search(nums: &[i32], target: i32) -> i32 { 
    let num_size: i32 = nums.len() as i32;   // This seems bad 
    bsearch(nums, target, 0, num_size as usize) 
} 

fn bsearch(nums: &[i32], target: i32, lo: usize, hi: usize) -> i32 { 
    if hi < lo { 
     return -1; 
    } 

    let mid_idx = lo + ((hi - lo)/2); 
    let guess = nums[mid_idx]; 

    if guess > target { 
     bsearch(nums, target, lo, mid_idx - 1) 
    } else if guess < target { 
     bsearch(nums, target, mid_idx + 1, hi) 
    } else { 
     mid_idx as i32      // This seems bad 
    } 
} 

Answer 1

あなたは不必要に言語と戦っています。 i32は配列インデックスには適切な型ではありません。代わりに、あなたはOptionを使用する必要があります。

fn binary_search(nums: &[i32], target: i32) -> Option<usize> { 
    let num_size = nums.len(); 
    bsearch(nums, target, 0, num_size) 
} 

fn bsearch(nums: &[i32], target: i32, lo: usize, hi: usize) -> Option<usize> { 
    if hi < lo { 
     return None; 
    } 

    let mid_idx = lo + ((hi - lo)/2); 
    let guess = nums[mid_idx]; 

    if guess > target { 
     bsearch(nums, target, lo, mid_idx - 1) 
    } else if guess < target { 
     bsearch(nums, target, mid_idx + 1, hi) 
    } else { 
     Some(mid_idx) 
    } 
} 

指標のためusizeを使用するを持って配列を扱う関数であることを考えると、代わりにi32を使用するように強制するには利点がありません。 i32が見つからないようにするには、-1にする必要がある場合は、関数の終了後に変換を実行できます。

---

注：また、i32を使用しているとき、あなたは本当に境界チェックを行う必要があることに留意してください。 64ビットシステムでは、配列の長さはi32を大幅に上回り、32ビットマシンでも負の配列インデックスを持つリスクがあります。