Тавзеҳ диҳед дар бораи консепсияи беинтиҳо дар генераторҳои Kotlin ва чаро истифода мешавад.

Инвариантӣ дар Kotlin маъно дорад, ки агар шумо як навъи умумии Generic<T> дошта бошед, пас Generic<A> ва Generic<B> бо ҳам вобаста нестанд бо муносибати мерос, ҳатто агар A як навъи зерини B бошад. Яъне, Generic<A> навъи зерини Generic<B> нест ва баръакс.

Ин муҳим аст, барои пешгирӣ кардани хатоҳои навъ дар кор бо структураҳои маълумоти тағйирёбанда. Масалан, агар MutableList<String> навъи зерини MutableList<Any> буд, пас метавонистем ба рӯйхат объекти дигар навъро илова кунем, ки амнияти навъро вайрон мекунад.

Дар Kotlin, invariance ба таври пешфарз барои коллексияҳои тағйирёбанда ва дигар навъҳо, ки мундариҷаашон метавонад тағйир ёбад, истифода мешавад. Барои бештар флексиблӣ, ковариансия (out) ва контравариансия (in) мавҷуданд, ки имкон медиҳанд, ки навъҳоро бехатарона васеъ ё маҳдуд кунанд.

Масалан, навъи инвариант:

class Box<T>(var value: T)

val boxString: Box<String> = Box("матн")
// val boxAny: Box<Any> = boxString // Хатои компилятсия: Box<String> навъи зерини Box<Any> нест.

Инчунин, invariance кӯмак мекунад, ки бехатарии қатъии навъҳо ҳангоми кор бо навъҳои умумӣ нигоҳ дошта шавад.