Телеграмм чат группы rustlang

Ты утверждаешь что невозможно заменить стдлиб. Приводишь в пример Box — вот я и прошу показать что такого особенного делает компилятор в этом случае, чего нельзя сделать без его билтинов?

источник

23:09пожаловаться #7

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

(((Mike Lubinets)))

Ты утверждаешь что невозможно заменить стдлиб. Приводишь в пример Box — вот я и прошу показать что такого особенного делает компилятор в этом случае, чего нельзя сделать без его билтинов?

https://github.com/rust-lang/rust/blob/5ded394553296d56bb66e925d7001ab3271979ce/compiler/rustc_middle/src/ty/mod.rs#L2352
Компилятор обрабатывает его специально.

GitHub

rust-lang/rust

Empowering everyone to build reliable and efficient software. - rust-lang/rust

источник

23:10пожаловаться #8

(L

(((Mike Lubinets))) in Rust — русскоговорящее сообществo

Emmanuel Goldstein

https://github.com/rust-lang/rust/blob/5ded394553296d56bb66e925d7001ab3271979ce/compiler/rustc_middle/src/ty/mod.rs#L2352
Компилятор обрабатывает его специально.

GitHub

rust-lang/rust

Empowering everyone to build reliable and efficient software. - rust-lang/rust

Продолжай

источник

23:10пожаловаться #9

p

polunin.ai in Rust — русскоговорящее сообществo

(((Mike Lubinets)))

Ты утверждаешь что невозможно заменить стдлиб. Приводишь в пример Box — вот я и прошу показать что такого особенного делает компилятор в этом случае, чего нельзя сделать без его билтинов?

достаточно того, что некоторые части текущего Box уже в компиляторе.

источник

23:10пожаловаться #10

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Этого достаточно. Типы стдлибы обрабатываются не так же, как обычные.

источник

23:10пожаловаться #11

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

Стдлиба — не библиотека. Она не написана как библиотека. Библиотеки не оставляют часть своей реализации компилятору.

источник

23:11пожаловаться #12

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo

(((Mike Lubinets)))

Продолжай

И, кстати, да, UnsafeCell, MaybeUninit, NonZero и ряд других вещей тупо невозможно реализовать сторонне

источник

23:11пожаловаться #13

(L

(((Mike Lubinets))) in Rust — русскоговорящее сообществo

polunin.ai

достаточно того, что некоторые части текущего Box уже в компиляторе.

Нет, недостаточно. Детали реализации Box в stdlib никак не противоречат возможности альтернативной реализации owned pointer, семантически полностью совместимой.

источник

23:11пожаловаться #14

D

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

(((Mike Lubinets)))

Нет, недостаточно. Детали реализации Box в stdlib никак не противоречат возможности альтернативной реализации owned pointer, семантически полностью совместимой.

ну тем не менее компиляторной магии в Box достаточно

источник

23:12пожаловаться #15

p

polunin.ai in Rust — русскоговорящее сообществo

(((Mike Lubinets)))

Нет, недостаточно. Детали реализации Box в stdlib никак не противоречат возможности альтернативной реализации owned pointer, семантически полностью совместимой.

возможность альтернативной реализации owned pointer не противоречит тезису "стдлиб - часть компилятора"

источник

23:12пожаловаться #16

(L

(((Mike Lubinets))) in Rust — русскоговорящее сообществo

Emmanuel Goldstein

И, кстати, да, UnsafeCell, MaybeUninit, NonZero и ряд других вещей тупо невозможно реализовать сторонне

Это не stdlib, это corelib

источник

23:12пожаловаться #17

EG

Emmanuel Goldstein in Rust — русскоговорящее сообществo