а если убрать - иногда не будет ,как показали замеры

я так понимаю, это зависит от использования этого RichInt, а не от его определения

JIT там что-то колдует и сам иногда обнуляет враппинг

типа если инт под ним (val self: Int) нужно боксить, то будет создан инстанс RichInt

вот вопрос в том, как себя скомпилирует еще implicit

поправьте, если не прав

вот вопрос в том, как себя скомпилирует еще implicit

implicit class Foo(x: X)- это просто сахар для implicit def Foo(x: X): Foo = new Foo(x)

а если сделать implicit def chota(x: Int) = x.toString то по сути будет новое поведение без нового обьекта?

а кто как DI решает у себя? scaldi кто-нибудь юзает? как оно? иль просто имплиситами обходитесь?

типа если инт под ним (val self: Int) нужно боксить, то будет создан инстанс RichInt

не инт под ним, а если нужна ссылка на сам объект

если ты запихиваешь в какой-то метод, который делает апкастинг

или в класс, где тип стирается

ну понятно

Например, в List[RichInt] всегда будут лежать инстансы обёрток

но при этом List[Int](1,2,3).map(_.toHexString) не будет

а если написать List[Int] и где-то потом дернуть метод из RichInt

то ок

а если сделать implicit def chota(x: Int) = x.toString то по сути будет новое поведение без нового обьекта?

это не новое поведение, ты просто неявно конвертишь Int в String

listInt.map(_.foo)

это не новое поведение, ты просто неявно конвертишь Int в String

это ж пример, я могу там вместо x.toString сделать маининг биткоинов

это ж пример, я могу там вместо x.toString сделать маининг биткоинов

wat?

а кто как DI решает у себя? scaldi кто-нибудь юзает? как оно? иль просто имплиситами обходитесь?

Мне нравится =)

это ж пример, я могу там вместо x.toString сделать маининг биткоинов

просто ты очень активно пытаешься ввести в одно поле рассмотрения extends AnyVal и implicit def, хотя это ортогональные фичи

просто ты очень активно пытаешься ввести в одно поле рассмотрения extends AnyVal и implicit def, хотя это ортогональные фичи

нет, я пытаюсь понять, для чего нужен extends Anyval

у них есть точки, где они успешно юзаются вместе, но нет точек, где они конкурируют

нет, я пытаюсь понять, для чего нужен extends Anyval

тогда перестань упоминать implicit def

нет, я пытаюсь понять, для чего нужен extends Anyval

для реализации дюрейшенов бесплатно

50 seconds , не будет создавать временный объект , а сделает только операцию умножения 50 * 1000

тогда перестань упоминать implicit def

implicit def extends AnyVal with AnyRef // ккомбо

Cents(50)

у них есть точки, где они успешно юзаются вместе, но нет точек, где они конкурируют

а че Duration эт value class ?

а че Duration эт value class ?

implicit final class DurationInt(val n: Int) extends AnyVal with DurationConversions { override protected def durationIn(unit: TimeUnit): FiniteDuration = Duration(n, unit) }

Промежуточный тип, у которого есть методы seconds, minutes, hours - value class

пнятненько

implicit final class DurationInt(val n: Int) extends AnyVal with DurationConversions { override protected def durationIn(unit: TimeUnit): FiniteDuration = Duration(n, unit) }

это не велью класс

кстати

это не велью класс

ну конечно

extends AnyVal ни о чём не говорит?

extends AnyVal ни о чём не говорит?

extends AnyVal

да, это и означает value class

… cannot be extended by another class.

with все портит

with все портит

не портит, это universal trait

она специально сделана для этого

ознакомьтесь с мануалом, пожалуйста http://docs.scala-lang.org/overviews/core/value-classes.html

ок, тогда сорямба,и спасибо за пояснение

из скаладоки: "Universal traits allow basic inheritance of methods for value classes, but they incur the overhead of allocation." то есть они все таки форсят инастанцирование, или это что-то другое значит?

получается что форсят , завалили Голиафа

что значит форсят?

насильно продвигают

типо того

что значит форсят?

значит у тебя будет гарантировано создаваться Доп объект

из скаладоки: "Universal traits allow basic inheritance of methods for value classes, but they incur the overhead of allocation." то есть они все таки форсят инастанцирование, или это что-то другое значит?

они привносят проблему аллокации, в доке явно указан пример с println

если бы метод универсального трейта не ссылался на this, проблем не было бы, как мне кажется

получается при наследовании unversal trait создание инcтанса будет только при вызове метода universal trait

тоже с нюансом если метод переопределить во враппере то используется статический метод и инстанциирования нет

получается при наследовании unversal trait создание инcтанса будет только при вызове метода universal trait

Интересно, можно scala.meta переписать value class с universal trait-ом, чтобы не было инстанциирования

в таком же виде как сейчас потребуется проходить по всем сорцам и реагировать на инстансы класса это не для макросов, а для отдельной тулзы (такая уже есть)

получается при наследовании unversal trait создание инcтанса будет только при вызове метода universal trait

нет, проверил, метод, определённый в universal trait, не инстанцирует, если нет необходимости

trait Uni extends Any { def self: Int def foo: Unit = println(self) } implicit class Bar(self: Int) extends AnyVal with Uni 1.foo // Создаст?

Мне просто интересно тогда что значит та строчка в доках или я что то пропустил

ща проверб

trait Printable extends Any { def print(): Unit = println("sfafa") } class Wrapper(val underlying: Int) extends AnyVal with Printable object M { def main(args: Array[String]) = { val w = new Wrapper(3) w.print() } } вполне создает public void main(java.lang.String[]); Code: 0: iconst_3 1: istore_2 2: new #16 // class Wrapper 5: dup 6: iload_2 7: invokespecial #19 // Method Wrapper."<init>":(I)V 10: invokevirtual #22 // Method Wrapper.print:()V 13: return

trait Printable extends Any { def print(): Unit = println("sfafa") } class Wrapper(val underlying: Int) extends AnyVal with Printable object M { def main(args: Array[String]) = { val w = new Wrapper(3) w.print() } } вполне создает public void main(java.lang.String[]); Code: 0: iconst_3 1: istore_2 2: new #16 // class Wrapper 5: dup 6: iload_2 7: invokespecial #19 // Method Wrapper."<init>":(I)V 10: invokevirtual #22 // Method Wrapper.print:()V 13: return

так ты его явно создаешь

туплю )

Мне просто интересно тогда что значит та строчка в доках или я что то пропустил

создаёт ^(

если метод переопределять в value class то не создает

создаёт ^(

а какой кейс ты проверял что не создавал?

а какой кейс ты проверял что не создавал?

trait MyDescr extends Any{ def descr = "descr descr" }

trait Printable extends Any { def print(): Unit = println("sfafa") } class Wrapper(val underlying: Int) extends AnyVal with Printable { override def print(): Unit = println("sfafa") } object M { def main(args: Array[String]) = { val w = new Wrapper(3) w.print() } } превращается в public void main(java.lang.String[]); Code: 0: iconst_3 1: istore_2 2: getstatic #19 // Field Wrapper$.MODULE$:LWrapper$; 5: iload_2 6: invokevirtual #23 // Method Wrapper$.print$extension:(I)V 9: return

а какой кейс ты проверял что не создавал?

я достаточно тупо проверяю, т.к. мне влом каждый раз декомпилить

подключаюсь через JMX

вот так ничего не инстанцирует trait MyDescr extends Any{ def self: Long def descr = self % 3 }

вот так ничего не инстанцирует trait MyDescr extends Any{ def self: Long def descr = self % 3 }

потому что это trait ?

Ник отличный шутник

Так что, я полагаю, можно ссылаться на self в univarsal trait безопасно

лан, в этот раз немножко смешно получилось)

Но лучше бы бросали ворнинги компиляции

вот так ничего не инстанцирует trait MyDescr extends Any{ def self: Long def descr = self % 3 }

скорее всего то же самое что у меня переопределение почему-то роляет

скорее всего то же самое что у меня переопределение почему-то роляет

ключевое отличие от твоего кейза в том, что у меня юниверсал трейт имеет доступ к обёрнутому значению, что, мне кажется, значительно повышает его полезность

т.е. сам класс выглядит так implicit class DescrOps(val self: Long) extends AnyVal with MyDescr

в плане применимости да я о причинах инстанциирования говорю

ну, в общем, выяснили, что юниверсал трейт не подразумевает инстанцирование даже при использовании методов из валью класса, осталось понять, что значит incur в их доке. Вероятно то, что очень легко споткнуться о боксинг

погодь

trait MyDescr extends Any { def self: Long def descr = self % 3 } class DescrOps(val self: Long) extends AnyVal with MyDescr object M { def main(args: Array[String]) = { val d = new DescrOps(3) d.descr () } } тадамс public void main(java.lang.String[]); Code: 0: ldc2_w #15 // long 3l 3: lstore_2 4: new #18 // class DescrOps 7: dup 8: lload_2 9: invokespecial #21 // Method DescrOps."<init>":(J)V 12: invokevirtual #25 // Method DescrOps.descr:()J 15: pop2 16: return

def main(args: Array[String]): Unit = { var i = 0L while (true) { i += i.descr } }

что измениться должно? public void main(java.lang.String[]); Code: 0: lconst_0 1: lstore_2 2: lload_2 3: new #16 // class MyDescr$DescrOps 6: dup 7: getstatic #21 // Field MyDescr$.MODULE$:LMyDescr$; 10: lload_2 11: invokevirtual #25 // Method MyDescr$.DescrOps:(J)J 14: invokespecial #28 // Method MyDescr$DescrOps."<init>":(J)V 17: invokevirtual #32 // Method MyDescr$DescrOps.descr:()J 20: ladd 21: lstore_2 22: goto 2

да, у меня тоже new

интересно, вероятно, JIT включается

JIT заранее не предскажешь, не стоит особо полагаться

зато работает вот так implicit class DescrOps(val self: Long) extends AnyVal with MyDescr { override def descr = super.descr }

ощущение, что надо заоверрайдить всё

Ну, значит, как Денис сказал

зачем они вообще нужны эти юниверсал трейты тогда

подозреваю, что реализовали как смогли в багтрекере почти все открытые ишью на тему value class о крашах)

override def descr = super.descr для этого уже в теории можно макрос написать))

с другой стороны странно, если нет переопределения метода (определить это можно, так как для AnyVal наследников нет), то что мешает реализовать сразу оптимальный вариант

зачем они вообще нужны эти юниверсал трейты тогда

Вот этот вопрос у меня с самого начала