Rust: 이중 중첩 컨테이너 유형의 오버플로

에 만든 2016년 06월 07일 · 3코멘트 · 출처: rust-lang/rust

다음 코드가 있습니다.

https://play.rust-lang.org/?gist=b8c78d5084a9b9ab7c53a2a9faa022af&version=stable&backtrace=0

보시다시피 #[test]는 잘 작동하지만 화물 테스트를 실행하려고 하면 doc_test에서 다음 오류가 발생합니다.

실패:

---- vec::<&' 벡터>::add_0 표준 출력 ----
오류: <&_ as std::ops::Add<_>>::Output 요구 사항을 평가하는 오버플로 [E0275]
:1:1: 1:1 참고: 상자에 #![recursion_limit="128"] 속성을 추가하는 것을 고려하십시오.
오류: 이전 오류로 인해 중단

어떤 함수가 실패할지는 컴파일러에 따라 다릅니다. 집에서 Add for &Vector의 두 가지 구현이 모두 실패할 것이라는 인상을 받았지만 내가 잘못 알고 집에 도착하면 이 문제를 업데이트할 것입니다.

이것은 내가 여기에서 사용하는 녹 버전입니다.

Rustc 1.10.0-dev (14f61c87f 2016-04-18)
바이너리: Rustc
커밋 해시: 14f61c87ff02e57d565d4fab4ce790156c9a596e
커밋 날짜: 2016-04-18
호스트: x86_64-unknown-linux-gnu
릴리스: 1.10.0-dev

Rust 포럼에 대한 토론은 여기에서 찾을 수 있습니다.
https://users.rust-lang.org/t/weird-problems-with-recursion-in-type-bounds-in-tests-on-libs/6101/4

업데이트 : 내가 착각했습니다. 집에서 같은 행동을합니다. 그러나 @mbrubeck 이 포럼 토론에서 말했듯이 마지막 두 개의 Add impls를 제거하면 모든 것이 작동합니다.

A-typesystem C-bug T-compiler

출처

pedrohjordao

모든 3 댓글

유용한 경우 이 훨씬 더 짧은 프로그램은 유사한 동작을 제공합니다.
https://play.rust-lang.org/?gist=2f793999729aec2cd8274157f7012e5d&version=stable&backtrace=0

잘 컴파일되고 실행되는 이 버전을 비교하십시오.
https://play.rust-lang.org/?gist=6ff433c8cc94c22985180210cc3a8e7d&version=stable&backtrace=0

apt1002 에 2016년 11월 22일

👍1

다음은 @apt1002 의 프로그램을 추가로 최소화한 것입니다.

https://play.rust-lang.org/?gist=0a77e1bd0f8e539d8a85ee30ed63b1f6&version=stable&backtrace=0

이 모든 실패한 프로그램에 대한 공통 스레드는 & , Vector 또는 래퍼 구조에 상관없이 "컨테이너화"의 2개 계층이 있다는 것입니다.

goertzenator 에 2017년 02월 14일

👍1

평생 말도 안되는 소리를 제거하는 것이 좋습니다. 훨씬 더 명확합니다.

우리 둘 다 실수를 한 것 같아요! 내 것은 "where Target: From<&'m T>"가 " where Target: for<'a> From<&'a T> "여야 한다는 것이었습니다. 방금 이것에 대해 배웠습니다. "(a.0).0"은 " C((a.0).0) "이어야 합니다.

오류 메시지는 두 경우 모두 변경되지 않습니다. 즉, 여전히 컴파일러 버그처럼 보입니다. 이 예제가 작동해야 한다고 생각하지만 최소한 컴파일러는 올바른 오류 메시지를 제공하지 않습니다.

apt1002 에 2017년 02월 14일

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

0 / 5 - 0 등급

Rust: 이중 중첩 컨테이너 유형의 오버플로

모든 3 댓글

관련 문제