기본 방법에서 특수화 된 관련 유형을 반환하려면 어떻게해야합니까?

Question

나는 녹 이에 대해 implementing tuple flattening입니다. 그것은

내가 전문화를 사용하여 시도

Cons[ 
    Cons[A, B, Nil], 
    Cons[ 
     C, Cons[D, E, Nil], Nil 
    ], 
    F, 
    Nil 
] 

에

((A,B), (C, (D, E)), F) 

변환이 필요하지만 컴파일러는 그것을 좋아하지 않습니다

/// For non-tuple types. 
impl<T> IntoCons for Val<T> { 
    default type Out = Cons<T, Nil>; 

    default fn into_cons(self) -> Cons<T, Nil> { 
     Cons { 
      head: self, 
      tail: Nil, 
     } 
    } 
} 

내가 어떻게 할 수 있습니까? unsafe을 사용하지 않는 대안은 괜찮습니다.

전체 예제 :

#![feature(specialization)] 
use std::fmt::{Debug, Display}; 

pub trait Tr { 
    type It; 
    fn it(self) -> Self::It; 
} 

impl<T> Tr for T 
where 
    T: Debug, 
{ 
    default type It = u8; 

    default fn it(self) -> Self::It { 
     0 
    } 
} 

impl<T> Tr for T 
where 
    T: Debug + Display, 
{ 
    type It = u16; 

    fn it(self) -> Self::It { 
     0 
    } 
} 

fn main() {} 

playground

컴파일러 출력 :

error[E0308]: mismatched types 
    --> src/main.rs:17:9 
    | 
16 |  default fn it(self) -> Self::It { 
    |       -------- expected `<T as Tr>::It` because of return type 
17 |   0 
    |  ^expected associated type, found integral variable 
    | 
    = note: expected type `<T as Tr>::It` 
       found type `{integer}` 

Answer 1

여기서 문제는 Self::It를 반환하지만, 그것을 누군가가 있다면 어떻게됩니까 0을 제공한다는 것이다 It이 String 인 이걸 구현 하시겠습니까? 이것이 항상 숫자가 될 것이라는 것을 증명할 수있는 방법이 없으므로, 특성 바인딩이 필요하거나 메서드 서명을 변경해야합니다.

그 일을하는 가능한 방법은 다음과 같이이다 :

pub trait Tr { 
    type It: Default; 
    fn it(self) -> Self::It; 
} 

impl<T> Tr for T 
where 
    T: Debug, 
{ 
    default type It = u8; 

    default fn it(self) -> Self::It { 
     Default::default() 
    } 
} 

Playground Link