LHS 및 RHS 유형이 지정된 추가 구현의 출력 유형 가져 오기

녹에서 LHS (Self) 및 RHS 유형을 사용하여 유형 레벨에서 Add 구현을 소환 할 수있는 방법이 있습니까? Output 유형 (예 : 일반 함수의 반환 유형)?LHS 및 RHS 유형이 지정된 추가 구현의 출력 유형 가져 오기

2016-10-20 lloydmeta

약간의 흑 마법처럼 보입니다.

유형의 특성 구현에 액세스 할 <Type as Trait>
RHS를 지정하는 것은 단순히 매개 변수 Add<???>
로 전달하고 마지막으로지고 필요로 :

당신은 구문의 3 개 비트를 결합해야 연관된 형질은 단순히 Trait::OutputType을 사용해야 만합니다 (모호 할 수 있음)

3을 합치면 <Self as Add<RhsType>>::Output이됩니다.

2016-10-20 07:08:29

감사합니다. 이것은 내가 찾고 있었던 바로 그 것이었다. RHS를 제네릭 매개 변수로 지정하는 것은 필자의 경우 퍼즐의 빠진 부분이었습니다. – lloydmeta

답변