Rust: Переполнение на двойных вложенных типах контейнеров

Созданный на 7 июн. 2016 · 3Комментарии · Источник: rust-lang/rust

У меня такой код:

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

Как видно, # [test] работает нормально, но если я попытаюсь запустить на нем грузовой тест, я получу следующую ошибку в doc_test:

сбои:

---- vec :: <& 'Вектор> :: add_0 stdout ----
ошибка: переполнение при оценке требования <&_ as std::ops::Add<_>>::Output [E0275]
: 1: 1: 1: 1 примечание: подумайте о добавлении атрибута #![recursion_limit="128"] в свой ящик
ошибка: прерывание из-за предыдущей ошибки

Похоже, какая функция выйдет из строя, зависит от компилятора. У меня сложилось впечатление, что дома обе реализации Add for & Vector не работают, но я могу ошибаться и обновлю эту проблему, когда вернусь домой.

Это версия ржавчины, которую я использую здесь:

rustc 1.10.0-dev (14f61c87f 18.04.2016)
двоичный: rustc
коммит-хеш: 14f61c87ff02e57d565d4fab4ce790156c9a596e
Дата фиксации: 2016-04-18
хост: x86_64-unknown-linux-gnu
выпуск: 1.10.0-dev

Обсуждение на форумах по ржавчине можно найти здесь:
https://users.rust-lang.org/t/weird-problems-with-recursion-in-type-bounds-in-tests-on-libs/6101/4

update: я ошибся, дома у меня такое же поведение. Но, как сказал @mbrubeck в обсуждении на форуме, если я удалю последние два добавления, все будет работать.

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 22 нояб. 2016

👍1

Вот дальнейшая минимизация программы @ apt1002 :

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

Общей чертой всех этих программ с ошибками является то, что существует 2 уровня «контейнеризации», будь то & , Vector или структура-оболочка.

goertzenator 14 февр. 2017

👍1

Хорошая идея убрать пожизненную чушь. Намного понятнее.

Думаю, мы оба сделали ошибки! Моим было то, что «где Target: From <& 'm T>» должно было быть « where Target: for <' a> From <& 'a T> ». Я только что узнал об этом. Ваше мнение, что "(a.0) .0" должно быть " C ((a.0) .0) ".

Сообщение об ошибке не изменилось в обоих случаях, т.е. оно по-прежнему похоже на ошибку компилятора. Я думаю, что эти примеры должны работать, но, по крайней мере, компилятор не выдает правильное сообщение об ошибке.

apt1002 14 февр. 2017

Была ли эта страница полезной?

0 / 5 - 0 рейтинги