&Trait

Указатель на тип трейт

Нет, это к трейту не имеет вообще отношения

&str указатель на стр

Может быть и стр не существует?

Тебя смущает, что &T и &Trait имеют один синтаксис?

Может быть и стр не существует?

ложки нет, лол

Тебя смущает, что &T и &Trait имеют один синтаксис?

Меня не смущает, так как это такой же тип

Ну, ты волен считать как хочешь

Реальность не должна подстраиваться под твои убеждения )

Почему логика обобщения в контексте "множественных типажей" у тебя работает, а тут нет

С каким из моих тезисов ты не согласен?

Почему ты обосабливаешь трейт от типов

Потому что трейт это не тип

С тем что Trait не тип например

Ок, ща сек

Тип это мн-во допустимых значений и операций над ними. Типаж же это набор ограничений

Типаж не задаёт мн-во значений. Это не тип.

А вот trait-object это тип, да, потому что задаёт мн-во DxV, где D — данные, V — виртуальная таблица

Причина, по которой сейчас нельзя заюзать Sized как bound для трейт объекта в том, что оно конфликтуает с CoerceUnsized. Почему это сейчас так, тоже было, вроде в babysteps, но искать лень

https://play.rust-lang.org/?gist=59c7e55edb20d9769bdc6c7e71e0838d&version=stable

trait Trait {} trait TraitForTrait {} impl TraitForTrait for Trait {} fn main() { }

Ну и что?

Если трейт не тип, почему он юзается в контексте типа?

Трейт может быть как и "ограничением" для существующего типа. Так и сам он по себе тип

Может ты засунешь что-то в твой Trait?

И посмотришь уже на сообщение?)

никогда не видел &(T₁ + T₂) синтаксис 🤔

Что мне засунуть в трейт?)

Что мне засунуть в трейт?)

функцию к примеру

trait Trait {} trait TraitForTrait {} impl TraitForTrait for Trait {} fn main() { }

этот импл же будет юзлес

потому что мы не можем сконструировать такой тип

как и impl Meme for str

как и impl Meme for str

Нет, разные случаи

ну похожие

Только синтаксически )

то есть оба названия раст готов принять как типы, но ни один из них нельзя сконструировать

из-за отсутствия размеров

https://play.rust-lang.org/?gist=cdbe950ee4dc0ae8c42875be0171cfcd&version=undefined

trait Trait { fn test(&self) -> () {} } trait TraitForTrait { fn test2(&self) -> (); } impl TraitForTrait for Trait { fn test2(&self) -> () {self.test()} } impl Trait for u8 {} fn main() { let x = &2u8 as &Trait; x.test2(); }

?

let x = &2u8; x.test2();это уже работать не будет

Не пойму, что ты пытаешься доказать

лолл

смысле что

Где ты тут Trait как тип сконструировал?

я сконструировал &Trait

я не могу получить ЗНАЧЕНИЕ TRAIT

но это не значит, что он не тип

ты путаешь два понятия

точно также я не могу получить значение str

Эм. Я тебе точно дал определения

то есть нет разницы кому имплементить, &Trait или Trait?

попросили запихнуть функцию в трейт

вот

функция выполняется для трейта?

или для чего

Ну, с функцией да, я думал, что заругается. Не заругался, окей. Но как это всё доказывает то, что Тип == Трейт?

Ну, вот ты сконструировал trait-object, который тип, да

Я вызвал функцию для экземпляра ссылки на трейт

в чем проблема твоя?

нет, еще раз говорю

Так, ещё раз

str тоже тип

сконструируй его

Покажи мне, что Trait == Type

ты путаешь два понятия "тип" и "значение"

ты хочешь чтоб я показал тебе, что Trait имеет значения

str тоже тип

Лол. Ты ещё и &str путаешь с &T

?

ты путаешь два понятия "тип" и "значение"

Я не понимаю о чём ты

Дай мне определение типа и типажа

всмысле стр я путаю?

Я фигею

Это как интерфейс с классом путать

Дай мне определение типа и типажа

Дай мне их

создай мне str

тогда поговорим

Эм

эт интересный вопрос, может кто в irc спросить?