is there a possibility to use contracts for assuri...

# announcements

[elect]

is there a possibility to use contracts for assuring the compiler a val interface field will be initialized exactly only once?

[Marko Mitic]

What is your usecase here? val interface properties act as getter methods in java, I'm not aware of any way to tell compiler it will always return the same value

[elect]

I know I'll init names exactly just once

interface Buf {
    companion object {
        val names: IntBuffer
    }
}

[Marko Mitic]

yeah, compiler will force you to do so. However, interfaces don't have fields, only fieldless properties and actual field initialization is left to implementing classes

[Marko Mitic]

what benefit would you have from being able to pass this info to compiler?

[elect]

the same benefit you have using `val`s instead of `var`s: compiler optimizations?. Atm I'm using laterinit var though

[Marko Mitic]

ok, one trick you can use here is overriding val property in interface with var property in class

[Marko Mitic]

if that's helpful

[elect]

that interface is supposed to be used in an enum though

[Marko Mitic]

I'm not exactly sure what your issue here is, could you share some code snippet?

[elect]

to be honest, I'm experiment, my goal is actually to have an enumerator class backed by and IntBuffer