А
Size: a a a
2020 September 06
А
Я думал это чат по игре, а тут программисты сидят. Пока ребята
AZ
а какой есть ближайший возможный аналог для такой вещи?
struct A {
type MyAwesomeAlias = i32;
var: MyAwesomeAlias
}
снаружи алиас делать не хочу, потому что он относится только к этой структуре2020 September 07
MB
Ну, можно завернуть в mod {} и use-нуть только структуру
P
а какой есть ближайший возможный аналог для такой вещи?
struct A {
type MyAwesomeAlias = i32;
var: MyAwesomeAlias
}
снаружи алиас делать не хочу, потому что он относится только к этой структуреstruct<A>{
foo: A
} ?AZ
struct<A>{
foo: A
} ?не хочу я вставлять generic туда - я просто хочу сделать алиас для типа и всё
AZ
Ну, можно завернуть в mod {} и use-нуть только структуру
🤮
P
не хочу я вставлять generic туда - я просто хочу сделать алиас для типа и всё
а конечная цель какая? чтоб потом если что поменять?
MB
Ты про +1 уровень вложенности?
AZ
не хочу я вставлять generic туда - я просто хочу сделать алиас для типа и всё
если его ещё и дернуть можно будет аля
A::MyMyAwesomeAlias извне можно будет - вообще отлично будетAZ
а конечная цель какая? чтоб потом если что поменять?
целей несколько:
1) Не иметь внутри структуры полей вида
2) В реализации трейта заюзать этот тип как placeholder type. Но это уже решается с алиасом в impl
1) Не иметь внутри структуры полей вида
storage: HashMap<i32, Vec<i32>>, а дать такому типу именованность. Делать это внутри структуры хочу потому, что это такой алиас относится собственно только к этой структуре2) В реализации трейта заюзать этот тип как placeholder type. Но это уже решается с алиасом в impl
AZ
Ты про +1 уровень вложенности?
я про то, что это мусор какой-то по сравнению с
class A {
using MyType = int;
};MB
В моем варианте к нему можно обратиться через имя модуля.
Еще кстати можно завести вспомогательный трейт и объявить этот тип как associated type. Тогда потом к нему можно обращаться как Foo::Alias, но для этого нужно будет иметь трейт в скоупе.
Еще кстати можно завести вспомогательный трейт и объявить этот тип как associated type. Тогда потом к нему можно обращаться как Foo::Alias, но для этого нужно будет иметь трейт в скоупе.
MB
я про то, что это мусор какой-то по сравнению с
class A {
using MyType = int;
};Ну я согласен. Довольно странно, что associated types есть, а inherent types нет.
AZ
Ну я согласен. Довольно странно, что associated types есть, а inherent types нет.
rfc там никакого нет на эту тему?
MB
Как раз гуглю :)
AZ
В моем варианте к нему можно обратиться через имя модуля.
Еще кстати можно завести вспомогательный трейт и объявить этот тип как associated type. Тогда потом к нему можно обращаться как Foo::Alias, но для этого нужно будет иметь трейт в скоупе.
Еще кстати можно завести вспомогательный трейт и объявить этот тип как associated type. Тогда потом к нему можно обращаться как Foo::Alias, но для этого нужно будет иметь трейт в скоупе.
это я понимаю, что так можно сделать. но это всё равно костыль того же примерно уровня, что и
modP
pub struct Foo<Bar> {
pub baz: Bar
}
type Qux = f64;
type Bar = foo::Foo<Qux>;
const foo: Bar = Foo{baz: 0.0};
такое слишком страшно выглядит
MB
rfc там никакого нет на эту тему?
Пока я вижу https://rust-lang.github.io/rfcs/0195-associated-items.html, который разрешает type = Foo и в обычных impl-ах тоже. Сейчас поищу историю реализации.
MB
rfc там никакого нет на эту тему?