@rustlang_ru - страница 1778

Anton

так чет какие то двойные стандарты, например в модуле где я определил паблик трейт - он мне дает заимлементить трейт для Uuid, а если я делаю это же в другом модуле посылает нафиг

Anton

В чем тайп сафети?

պլհկ

do you even coherence rules bro

Aleksey

так чет какие то двойные стандарты, например в модуле где я определил паблик трейт - он мне дает заимлементить трейт для Uuid, а если я делаю это же в другом модуле посылает нафиг

а это разве не на уровне крейтов работает?

պլհկ

1.можешь заимплементить свой трейт для чужого типа 2.можешь заимплементить чужой трейт для своего типа

Anton

1.можешь заимплементить свой трейт для чужого типа 2.можешь заимплементить чужой трейт для своего типа

я не понимаю случая 1.

պլհկ

trait MyTrait {} impl MyTrait for i32 {}

Anton

если есть импл для чужого трейта и типа, приходится плодить ньютайпы

Marat

А это как-то собираются решать?

պլհկ

ну естественно. подумай о том, что два васяна сделают импл одного трейта для одного типа. что делать будешь?

Anton

trait MyTrait {} impl MyTrait for i32 {}

Я в смысле не понимаю зачем ограничение

Anton

ну естественно. подумай о том, что два васяна сделают импл одного трейта для одного типа. что делать будешь?

error: previously impliemented here

Anton

как вариант

Anton

правда если имл в разный крейтах - тогда конечно боль

պլհկ

exactly

Marat

ну естественно. подумай о том, что два васяна сделают импл одного трейта для одного типа. что делать будешь?

Надо заставлять импортировать реализацию трейтов

-__-

А это как-то собираются решать?

Собираются https://github.com/rust-lang/rfcs/issues/493

Cuno

Собираются https://github.com/rust-lang/rfcs/issues/493

issue 2014 года с последним комментом в 2017-ом, не то что бы собираются

-__-

Ну да, они так-то много чего "собираются".

պլհկ

https://internals.rust-lang.org/t/orphan-rules/1322/7

Alexander

Без coherence может получиться так, что в одном случае какой-нибудь Heap подхватит один impl Ord, а другой Heap - другой инстанс для того же самого типа и получится очень интересно когда кто-то попытается слить оба хипа в один.

Alexander

Кто-нибудь придумал вменяемое решение чтобы не путаться в инстансах без coherence?

Anton

Надо заставлять импортировать реализацию трейтов

как вариант?

Alexander

как вариант?

Не вариант. Ты импортируешь одну реализацию и создаёшь свой Heap, а второй хип получаешь из сторонней библиотеки, которая импортирует ХЗ какую реализацию. Где гарантии, что эти два хипа можно слить? Как компилятор должен отслеживать кто какую реализацию трейта использует?

Anton

использовать реализацию иимпортированую в текущем модуле, но это гемор, да

Alexander

использовать реализацию иимпортированую в текущем модуле, но это гемор, да

Как предполагается заставить левую библиотеку использовать реализацию, импортированную в текущем модуле?