汎用関数型の境界を再利用する方法は？

Question

pub type ESign = i8; 
const CONCAVE: i8 = -1; 
const TANGENTIAL: i8 = 0; 
const CONVEX: i8 = 1; 

fn signum_enum(a: f64) -> ESign { 
    if a > 0.0 { CONVEX } else if a < 0.0 { CONCAVE } else { TANGENTIAL } 
} 

pub fn area_tri_signed_v2_alt_2x(v1: &[f64; 2], v2: &[f64; 2], v3: &[f64; 2]) -> f64 { 
    ((v1[0] * (v2[1] - v3[1])) + (v2[0] * (v3[1] - v1[1])) + (v3[0] * (v1[1] - v2[1]))) 
} 

pub fn span_tri_v2_sign(v1: &[f64; 2], v2: &[f64; 2], v3: &[f64; 2]) -> ESign { 
    return signum_enum(area_tri_signed_v2_alt_2x(v3, v2, v1)); 
} 

私はこれらを汎用関数にすることができましたが、型境界を複製する必要がありました。

use std::ops::{Mul, Sub, Add}; 

fn signum_enum<T: Default + PartialOrd>(a: T) -> ESign { 
    let zero = T::default(); 
    if a > zero { CONVEX } else if a < zero { CONCAVE } else { TANGENTIAL } 
} 

pub fn area_tri_signed_v2_alt_2x<T: Default + PartialOrd + Copy + Mul<Output=T> + Sub<Output=T> + Add<Output=T>>(
    v1: &[T; 2], 
    v2: &[T; 2], 
    v3: &[T; 2]) -> T 
{ 
    ((v1[0] * (v2[1] - v3[1])) + (v2[0] * (v3[1] - v1[1])) + (v3[0] * (v1[1] - v2[1]))) 
} 

pub fn span_tri_v2_sign<T: Default + PartialOrd + Copy + Mul<Output=T> + Sub<Output=T> + Add<Output=T>>(
    v1: &[T; 2], 
    v2: &[T; 2], 
    v3: &[T; 2]) -> ESign 
{ 
    return signum_enum(area_tri_signed_v2_alt_2x(v3, v2, v1)); 
} 

これらの機能を1か所で定義し、複数の汎用関数で再利用する方法はありますか？

pub trait Floatlike: Default + PartialOrd + Copy + 
    Mul<Output=Self> + Sub<Output=Self> + Add<Output=Self> {} 

、これらの境界を満たすすべてのタイプによって実装されています：

impl<T> Floatlike for T where T: Default + PartialOrd + Copy + 
    Mul<Output=T> + Sub<Output=T> + Add<Output=T> {} 

とを

Answer 1

最も簡単な方法は、両方のは、あなたが扱っているすべての境界を必要とする新しい形質を定義することですその形質に拘束される：

pub fn area_tri_signed_v2_alt_2x<T: Floatlike>(...) 
pub fn span_tri_v2_sign<T: Floatlike>(...)