узнаёт о том, какой тип у этого элемента на стеке, какой у того. Это неправильное утверждение, да?
Я решил залезть в глоссарий и определение к процессу верификации байткода звучит так:
A step in the linking process of a class where the methods bytecodes are analyzed to ensure type-safety.
Верификатор тут ни при чём. (JIT-)компилятор знает о типах, и поэтому может трекать, где мы работаем с референсами, инфа о которых в итоге должна попасть в gc map.
Обсуждают сегодня