значимых типов?
В смысле в стеке или в куче?
ты про то где хранятся функции у структур?)*
В общем, работает это так. Компилятор сишарпа сохраняет в IL-коде метаинформацию о вызовах всех нужных методов: например, если ты пишешь 2.ToString(), у него там есть информация о том, что в стеке лежит число 2 типа Int32, и что у него вызывают метод object.ToString(). Исходя из этого, рантайм понимает, какой метод в реальности нужно вызывать. В коде после JIT этой метаинформации по большому счёту не остаётся, но она и не нужна: JIT резолвит методы, потому что он знает, какого типа структура на стеке. Ему не нужен type handle и никакой динамической информации о типе. Если же у тебя структура забоксена, и ты на ней выполняешь полиморфный вызов — в этой ситуации у неё есть и обычный объектный заголовок, так что виртуальные вызовы работают как на любых других объектах.
Обсуждают сегодня