Исправление www_linux_org_ru, (текущая версия) :
Открываем для себя Box<Trait>.
а оттуда можно вытащить реальный тип значения после анбокса?
речь идет о существовании такого бокса, который не знает ничего, кроме Trait, и не скажет реального типа даже под пытками (ну там unsafe)
з.ы. если возникает вопрос «как так может быть без нарушения type safety» — так может быть, но возможно не в расте
Исправление www_linux_org_ru, :
Открываем для себя Box<Trait>.
а оттуда можно вытащить реальный тип значения после анбокса?
речь идет о существовании такого бокса, который не знает ничего, кроме Trait, и не скажет реального типа даже под пытками (ну там unsafe)
з.ы. если возникает вопрос «как так может быть» — так может быть, но возможно не в расте
Исправление www_linux_org_ru, :
Открываем для себя Box<Trait>.
а оттуда можно вытащить реальный тип значения после анбокса?
речь идет о существовании такого бокса, который не знает ничего, кроме Trait, и не скажет реального типа даже под пытками (ну там unsafe)
Исправление www_linux_org_ru, :
Открываем для себя Box<Trait>.
а оттуда можно вытащить реальный тип значения после анбокса?
речь идет о существовании такого бокса, который не знает ничего, кроме Trait, и не скажет даже под пытками (ну там unsafe)
Исходная версия www_linux_org_ru, :
Открываем для себя Box<Trait>.
а оттуда можно вытащить реальный тип значения после анбокса?
речь идет о существовании такого бокса, который не знает ничего, кроме Trait, и не скажет даже под пытками