А
и для каждого foo<A>, foo<B> заново посещаем foo
Size: a a a
2020 March 04
А
по другому никак, если уж выбрали мономорфизацию
M中
мы знаем это при анализе foo<User>(...), значит мы должны знать это при посещении foo<T>, то есть вместо абстрактного T должен быть уже User
нет, не знаем
foo<User>()
function foo<T>() {
// no validate call
}
validate<User>()
M
Сразу скажу в один проход такое не провернуть. Можно сделать хинт и добавить декоратор а-ля
Вот тогда получиться
@serializable
function bar<T>() {}
Вот тогда получиться
А
нет, не знаем
foo<User>()
function foo<T>() {
// no validate call
}
validate<User>()
когда написали foo<User> мы уже знаем, что должны зайти в foo с T=User
А
зайти в foo с неизвестным T для кодогенерации не выйдет
А
сорян
А
нет, не знаем
foo<User>()
function foo<T>() {
// no validate call
}
validate<User>()
надо знать
M中
когда написали foo<User> мы уже знаем, что должны зайти в foo с T=User
хорошо :)
function foo<T>() {
// no validate call
}
foo<User>()
validate<User>()M中
но я вообще о том что нам вообще не надо трогать foo в этом случае
M中
потому что это просто левая функция с дженериком которая в своем теле validate не зовет
А
что?
А
неее, так не выйдет
А
заходить надо всегда
А
вне зависимости от validate
M中
MaxGraey
Сразу скажу в один проход такое не провернуть. Можно сделать хинт и добавить декоратор а-ля
Вот тогда получиться
@serializable
function bar<T>() {}
Вот тогда получиться
вы имеете ввиду именно декоратором серализаровать все в рантайм или на одном проходе добавить хинты в виде декораторов и на втором ими воспользоваться?
А
дженерик есть дженерик
M
вы имеете ввиду именно декоратором серализаровать все в рантайм или на одном проходе добавить хинты в виде декораторов и на втором ими воспользоваться?
Я имею вииду по декоратору понимать что эту функцию нужно трансформировать и подготовить все для этого
А
MaxGraey
Я имею вииду по декоратору понимать что эту функцию нужно трансформировать и подготовить все для этого
вот это кстати вариант
M
Просто подсказка, такая же как tailrec или inline для aot компиляторов