AO
Эээээ, ну если так рассуждать то ни у каких методов нет тайп параметров
Size: a a a
2020 January 10
AO
Только у типов
Oℕ
Я не рассуждаю, я рассказываю, как сейчас работает.
На момент тайпчека нет никакой информации, что вызов конверсии будет устранён, мало того, он и в байткоде останется
На момент тайпчека нет никакой информации, что вызов конверсии будет устранён, мало того, он и в байткоде останется
Oℕ
Т.е.
implicit class FooOps[A](foo: Foo[A])
extends AnyVal{
def bar[B]
Будет превращать
во что-то вроде
implicit class FooOps[A](foo: Foo[A])
extends AnyVal{
def bar[B]
Будет превращать
foo.barво что-то вроде
FooOps.bar(FooOps(foo))Oℕ
Аллокации не будет, но вызов конверсии останется
AO
Т.е.
implicit class FooOps[A](foo: Foo[A])
extends AnyVal{
def bar[B]
Будет превращать
во что-то вроде
implicit class FooOps[A](foo: Foo[A])
extends AnyVal{
def bar[B]
Будет превращать
foo.barво что-то вроде
FooOps.bar(FooOps(foo))падажжи, FooOps() то с херали там останется?
Oℕ
падажжи, FooOps() то с херали там останется?
Ну вот так работает конверсия
Oℕ
имплисит класс энивал не отличается от не энивала с точки зрения компилятора
Oℕ
Он сгенерирует метод, который вызывает конструктор
Oℕ
А сам конструктор уже будет устранён на следующей стадии
Oℕ
Поэтому для тайпчекера вообще неизвестно, что тут не будет промежуточного объекта
Oℕ
И списки параметров для тайпчекера останутся списками разных методов
Oℕ
@sugakandrey рассуди нас
AO
FooOps.bar(FooOps(foo))Вот тут получается, что в реализации статического метода вызывается метод класса, но насколько я помню из байткода, всё наоборот, внутри метода класса делается вызов статического метода
Oℕ
FooOps.bar(FooOps(foo))Вот тут получается, что в реализации статического метода вызывается метод класса, но насколько я помню из байткода, всё наоборот, внутри метода класса делается вызов статического метода
тут ничего не говорится про реализацию никакого статического метода
ЮБ
Я короче спросил в дотти гиттере. Я думаю, это просто ещё не сделано
ЮБ
Хотя ошибка намекает, что так и задумано
M
Т.е.
implicit class FooOps[A](foo: Foo[A])
extends AnyVal{
def bar[B]
Будет превращать
во что-то вроде
implicit class FooOps[A](foo: Foo[A])
extends AnyVal{
def bar[B]
Будет превращать
foo.barво что-то вроде
FooOps.bar(FooOps(foo))implicit class FooOps[A](protected val foo: Foo[A]) extends AnyVal {
def map[B](f: A => B): B = ???
}даст
p
ublic final <B extends java.lang.Object, A extends java.lang.Object> B map$extension(TestApp$Foo<A>, scala.Function1<A, B>);оно не принимает фуопс. только сам фу и f
M
теперь посмотри строку 28 и :javap maccc/Foo$FooOps$