Метод перегрузки разрешения и тизеры мозга Джона Скита

Question

Головоломки Джона

Здесь будут спойлеры ...

Я смотрю на ответ на # 1, и должен признать, что никогда не знал, что это был случай разрешения перегрузки Но почему это это так. В моем крошечном уме Derived.Foo(int) кажется логичным путем спуска.

Какая логика стоит за этим дизайнерским решением?

ВРЕМЯ БОНУСА!

Является ли это поведение результатом спецификации C #, реализации CLR или компилятора?

Answer 1

Это поведение продуманное и тщательно продуманное. Причина в том, что этот выбор смягчает воздействие одной из форм хрупкого базового класса.

Прочтите мою статью на эту тему для более подробной информации.

http://blogs.msdn.com/ericlippert/archive/2007/09/04/future-breaking-changes-part-three.aspx

Answer 2

Это результат компилятора, мы изучили код IL.

Answer 3

Вот возможное объяснение:

Когда компилятор связывает вызовы метода, первое место он ищет в классе, который является самым низким в цепочке наследования (в данном случае класс Derived). Это методы экземпляра проверены и сопоставлены. Переопределенный метод Foo не является методом экземпляра Derived, это метод экземпляра класса Base.

Причиной может быть производительность, как предлагал Jack30lena, но также и то, как компилятор интерпретирует намерение кодера. Это безопасное предположение, что предполагаемое поведение кода разработчика лежит в коде в нижней части цепочки наследования.

Answer 4

Причина в том, что это неоднозначно.Компилятор просто должен выбрать один.И кто-то думал, что менее косвенный будет лучше (производительность может быть причиной).Если разработчик только что написал:

((Base)d).Foo (i);

, это понятно и дает ожидаемый результат.

Answer 5

причина: производительность. вызов виртуального метода занимает немного больше времени. вызов делегата для виртуального метода занимает гораздо больше времени и т. д.

см: Стоимость вызовов метода