Что имеет в виду Рихтер (CLR Via C#) в 6-ой главе?

Question

[Геннадий Круглов]

Помогите разобраться, что имеется в виду.
В 6-ой главе про вызов виртуальных методов, свойств - Рихтер пишет, что компилятор использует два метода:
call и callvirt .
Последний отличается тем, что у него есть проверка на null экземпляра, на котором он вызывается. Так же callvirt используется в том числе и для вызова обычных, экземплярных, невиртуальных методов.
А дальше - он пишет - что иногда, компилятор может использовать метод call для вызова виртуальных(!) методов и в качестве примера он приводит вызов base.ToString(). Объясняет он это тем, что если бы при вызове данного метода использовался callvirt то возникала бы рекурсия и переполнение стека.

Вопрос - почему она должна возникать? И из-за чего?

Comments

[ApeCoder]

callvirt передается адрес объекта, он посмотрит на VMT класса этого объекта. найдет там реализацию метода и вызовет его. Если внутри реализации вызвать его же не указав какой конкретно класс использовать, то он найдет его же и будет бесконечная рекурсия. А если указывать какой конкретно класс использовать (какую именно реализацию метода) то это уже будет невиртуальный вызов по определению.

Answer 1

[Артур Мустафин]

Ну, видимо, потому что сигнатура метода base.ToString() уже находится в таблице виртуальных функций, и он вызывал бы сам себя при обращении к этому методу, потому что в коде, который вызывает base.ToString(), уже очевидно, что сигнатура вызова совпадает с сигнатурой базового класса (переопределен метод ToString()), тогда, нашелся бы вызов метода дочернего класса callvirt, то есть собственно, исполняемый перегуженный в дочернем классе метод, и он вызвал бы сам себя, вместо простого вызова call без поиска по таблице сигнатур виртуальных методов (переопределяемых).