Rust: fn 호출에 "제약 없는 유형 매개변수"가 명시적으로 제공될 수 있는 경우 감지

에 만든 2017년 02월 21일 · 3코멘트 · 출처: rust-lang/rust

https://github.com/rust-lang/rust/pull/39361 을 기반으로 사용자가 fn 호출에 명시적 유형 매개변수를 추가해야 하는 경우를 고려할 수 있습니다. 나는 다음과 같은 예를 상상하고 있습니다.

fn foo<T>() { }

fn main() {
    foo();
}

사용자가 명시적인 T $ 에 대해 foo::<T> 를 작성하도록 제안하는 것이 좋습니다. 이것은 약간의 생각이 필요합니다:

지역 변수에 주석을 달기보다 언제 이것을 제안하고 싶습니까? 지역 변수에 주석을 첨부하는 것을 선호하지만 지역 변수의 유형이 내부 깊숙이 유추되지 않은 유형을 언급하는 복잡한 것인 경우에는 그렇지 않을 수도 있습니다. 반면에 함수에 주석을 추가하면 유추되지 않은 유형을 직접 지정할 수 있습니다. .

예:

fn foo<T>() -> Option<T> { }

fn main() {
    let x = foo();
}

x: Option<T> 또는 foo::<T> 레이블을 제안해야 합니까? 이 경우는 경계선이지만 Option 를 좀 더 복잡한 유형으로 바꾸면 균형이 더 기울어집니다.

fn이 많은 유형을 취하고 부분적으로 알고 있을 때 우리는 무엇을 합니까? 우리는 일부 정보가 있지만 전부는 아닐 때 무엇을 해야 하는지에 대한 문제를 회피했습니다. 하지만 여기가 더 중요할 것 같습니다. 예:

fn foo<T, U>() -> T { }

fn main() {
    let x: i32 = foo();
}

여기서 우리는 T 를 알고 있지만 U 는 모릅니다. foo::<_, XXX> 를 제안해야 합니까? 사용자가 제공해야 하는 항목임을 나타내기 위해 XXX 를 어떻게 표현합니까?

cc @cengizIO -- 추구하는 것이 재미있습니까?

cc @estebank @jonathandturner -- 표현 방법에 대한 생각은?

A-diagnostics C-enhancement E-needs-mentor T-compiler WG-compiler-errors

출처

nikomatsakis

가장 유용한 댓글

전류 출력:

error[E0282]: type annotations needed
  --> $DIR/xxx.rs:xx:xx
   |
14 |     let x: i32 = foo();
   |                  ^^^ cannot infer type for `U`
   |
   = note: type annotations or generic parameter binding required

일부 옵션:

error[E0282]: type annotations needed
  --> $DIR/xxx.rs:xx:xx
   |
14 |     let x: i32 = foo();
   |                  ^^^ cannot infer type for `U`
   |
   = note: type annotations or generic parameter binding required
   = note: generic parameter `U` needs to be specified for foo::<T, U>()

error[E0282]: type annotations needed
  --> $DIR/xxx.rs:xx:xx
   |
14 |     let x: i32 = foo();
   |                  ^^^ cannot infer type for `U`
   |                  |
   |                  you can specify the generic parameter here using `foo::<_, U>()`
   |
   = note: generic parameter `U` needs to be specified for `fn foo::<T, U>() -> T`

error[E0282]: type annotations needed
  --> $DIR/xxx.rs:xx:xx
   |
14 |     let x: i32 = foo();
   |                  ^^^ cannot infer type for `U` in `fn foo<T, U>() -> T`
   |                  |
   |                  specify `U` using `foo::<_, U>()`
   |

estebank 에 2017년 02월 21일

👍2

모든 3 댓글

안녕하세요 @nikomatsakis

이 작업을 수행하겠습니다.

다시 한번 감사합니다!

cengizIO 에 2017년 02월 21일

전류 출력:

error[E0282]: type annotations needed
  --> $DIR/xxx.rs:xx:xx
   |
14 |     let x: i32 = foo();
   |                  ^^^ cannot infer type for `U`
   |
   = note: type annotations or generic parameter binding required

일부 옵션:

error[E0282]: type annotations needed
  --> $DIR/xxx.rs:xx:xx
   |
14 |     let x: i32 = foo();
   |                  ^^^ cannot infer type for `U`
   |
   = note: type annotations or generic parameter binding required
   = note: generic parameter `U` needs to be specified for foo::<T, U>()

error[E0282]: type annotations needed
  --> $DIR/xxx.rs:xx:xx
   |
14 |     let x: i32 = foo();
   |                  ^^^ cannot infer type for `U`
   |                  |
   |                  you can specify the generic parameter here using `foo::<_, U>()`
   |
   = note: generic parameter `U` needs to be specified for `fn foo::<T, U>() -> T`

error[E0282]: type annotations needed
  --> $DIR/xxx.rs:xx:xx
   |
14 |     let x: i32 = foo();
   |                  ^^^ cannot infer type for `U` in `fn foo<T, U>() -> T`
   |                  |
   |                  specify `U` using `foo::<_, U>()`
   |

estebank 에 2017년 02월 21일

👍2

이 메모는 특히 내 눈을 반짝거리게 만듭니다.

   = note: type annotations or generic parameter binding required

확실히 제거합시다. :)

nikomatsakis 에 2017년 02월 22일

😄1

이 페이지가 도움이 되었나요?

0 / 5 - 0 등급

Rust: fn 호출에 "제약 없는 유형 매개변수"가 명시적으로 제공될 수 있는 경우 감지

가장 유용한 댓글

모든 3 댓글

관련 문제