なぜこれは迷惑な参照ではありませんか？

Question

TRPL book（第2版）の第2版に従っていますが、タスクの1つで少し混乱しています。 section 10.2（特性）の末尾に、Clone形質を使用してlargest関数を再実装するように求められます。 （この時点で私はまだ寿命については何も学んでいないことに注意してください。）私は、次の

fn largest<T: PartialOrd + Clone>(list: &[T]) -> &T { 
    let l = list.clone(); 
    let mut largest = &l[0]; 

    for item in l { 
     if item > &largest { 
      largest = item; 
     } 
    } 

    largest 
} 

を実装これは、クローン化されたリストの項目への参照を返します。そして、見て、それはコンパイルされます。これはなぜ迷惑な参照ではないのですか（section 4.2に記載されています）？

は、私の知る限りそれを理解するよう、largestはlistの（クローン化）コピーの項目への参照が含まれていますが、lスコープの外に出るので、largestが終了した後の参照を無効にはなりませんか？タイプをlがないため

Answer 1

あなたはそれがないと思う：

fn largest<T: PartialOrd>(list: &[T]) -> &T { 
    let l: &[T] = list.clone(); 
    let mut largest = &l[0]; 

    for item in l { 
     if item > &largest { 
      largest = item; 
     } 
    } 

    largest 
} 

lが実際にちょうど同じ寿命で、スライス自体を返すスライスをクローニングしすぎ参照、です。

したがって、参照をスライスに入れても問題ありません。戻り値は元のスライスを借りています。