制約付き構造体のFrom/Intoの実装

Question

の場合、.max()は機能しませんので、引数がNaNではないことを示すForceOrd構造体を記述しています。しかし、私はエラーでコンパイルするInto特性の実装を取得することはできません

let m = xs.iter().map(|&x| ForceOrd(x)).max().unwrap().into(); 

：意図した使用法のようなものです

conflicting implementations of trait `std::convert::Into<_>` for type `ForceOrd<_>` 

コード（playground）：

#[derive(PartialEq, PartialOrd)] 
pub struct ForceOrd<X: PartialEq + PartialOrd>(pub X); 
impl<X: PartialEq + PartialOrd> Eq for ForceOrd<X> { } 
impl<X: PartialEq + PartialOrd> Ord for ForceOrd<X> { 
    fn cmp(&self, other: &Self) -> std::cmp::Ordering { 
     self.0.partial_cmp(&other.0).unwrap() 
    } 
} 
/// doesn't work 
impl<X: PartialEq + PartialOrd> Into<X> for ForceOrd<X> { 
    fn into(x: Self) -> X { x.0 } 
} 
/// doesn't work either 
impl<X: PartialEq + PartialOrd> From<ForceOrd<X>> for X { 
    fn from(x: ForceOrd<X>) -> Self { x.0 } 
} 

Answer 1

FromとIntoの両方を1つのタイプに実装することはできません。つまり、impl From<ForceOrd<X>> for Xもありますimpl Into<X> for ForceOrd<X>。あなたにも1つだけ必要です。 IntoとFrom両方の状態のためのドキュメントとして：

​​

あなたはおそらくちょうどFrom実装して行く必要があります。編集When should I implement std::convert::From vs std::convert::Into?

：あなたは、一般的に選ぶことについては、次の質問を見ることができますが、これがいかに見ることができるの下Fromを実装するとして、（この場合は）ちょうどimpl Intoを削除するだけで、簡単ではありませんf64のために達成：

#[derive(PartialEq, PartialOrd, Debug)] 
pub struct ForceOrd<X: PartialEq + PartialOrd>(pub X); 

impl<X: PartialEq + PartialOrd> Eq for ForceOrd<X> { } 

impl<X: PartialEq + PartialOrd> Ord for ForceOrd<X> { 
    fn cmp(&self, other: &Self) -> std::cmp::Ordering { 
     self.0.partial_cmp(&other.0).unwrap() 
    } 
} 

impl<X: PartialEq + PartialOrd> From<X> for ForceOrd<X> { 
    fn from(x: X) -> ForceOrd<X> { 
     ForceOrd(x) 
    } 
} 

fn main() { 
    let xs = vec![1.1f64, 3.5, 2.2]; 

    let max = xs.iter().map(|&f| <ForceOrd<f64>>::from(f)).max().unwrap(); 

    println!("{:?}", max); // prints "ForceOrd(3.5)" 
} 

は、残念ながら、私は、これは限りあなたが得ることができるようになり怖いです。あなたは、実装することはできません。

impl<X: PartialEq + PartialOrd> From<ForceOrd<X>> for X 

f64このクレートにローカルではないので、最終的な

<f64>::from(xs.iter().map(|&f| <ForceOrd<f64>>::from(f)).max().unwrap()) 

を行うことができるように。この制限の詳細については、this very detailed blog entry by Niko Matsakisとthis question in StackOverflowを参照してください。