Я этого упорно не понимаю,т.е он считает разные инстансы кложур

Question

Rust — русскоговорящее сообщество

M V

Я этого упорно не понимаю,т.е он считает разные инстансы кложур

одного типа - разными типами?

#backend #embedded #programming #russian #rust

0

25.09.2019

3 ответов

13 просмотров

Adam K

Каждое замыкание в расте уникальное

0

25.09.2019

Alexander Chichigin

Да, конечно. Тут нужно понять, что для сравнения объекта с веткой матча (которая как бы тоже объект), как минимум должно быть определено равенство между этими объектами (тем, что матчится и веткой). Равенство определено только между объектами одного и того же типа. Разные типы - сразу не равны, даже пытаться нельзя. При этом, трейты - просто ограничения (интерфейсы) для каких-то конкретных типов (которые их реализуют). Поэтому, если всё что мы (тайпчекер) знаем - это то, что наличиствующие объекты реализуют один и тот же трейт (ограничения), мы вообще не можем сравнить их на равенство, так как "под капотом" там могут быть разные фактические типы, реализующие этот трейт. Ну и поскольку операционно сравнивать функции (замыкания) на равенство затруднительно, мы "волевым решением" распихиваем их все по разным типам, чтобы даже вопроса такого не возникало. 😊

0

25.09.2019

hirrolot · Accepted Answer

hirrolot

У разных кложур разные типы

0

25.09.2019

172 похожих чатов

Я этого упорно не понимаю,т.е он считает разные инстансы кложур

3 ответов

Похожие вопросы