Я просто прочитал эту интересную статью Эрика Липперта, Топ-10 худших функций С#. Ближе к концу он утверждает:
Правила для разрешения имен после вышеупомянутого двоеточия не являются хорошо обоснованный; вы можете оказаться в ситуациях, когда вам нужно знать, что базовый класс должен определить, что такое базовый класс.
По двоеточию он ссылается на оператор наследования (например, Dog : Animal).
В какой ситуации относится Эрик? Может ли кто-нибудь предоставить образец кода?
Это может произойти в свернутых сценариях с дженериками, наследованием и вложенными классами:
class Base<T> {
public class Inner {}
}
class Derived : Base<Derived.Inner2> {
public class Inner2 : Inner {}
}
Derived, нам нужно привязать Derived.Inner2.Derived.Inner2, нам нужно разрешить символ Inner.Inner наследуется от его содержащего базовый класс видимости, поэтому нам нужно снова определить базовый класс Derived.SLaks дает хороший ответ; см. мои комментарии для некоторых дополнительных заметок.
Как я уже сказал в комментариях, я ищу свои старые заметки по этому вопросу, и если я их найду, я напишу блог. Здесь интересный дополнительный пример. Эта программа является законной. Являются ли значения N в декларации класса и полевые декларации одинаковыми или разными? Если они одинаковы, что для них является полностью квалифицированным типом? Если они разные, почему спецификация требует, чтобы они были разными?
public class N {}
public class B<T>
{
public class N {}
}
public class D : B<N> // base class
{
N n; // field
}
Это иллюстрирует основную проблему: поиск имени требует, чтобы базовый класс был известен, но базовый класс просматривается по имени.
Теперь подумайте о том, как интерфейсы работают в миксе. Предположим, что класс D также реализует интерфейс IN, аналогично вложенный в B и доступный глобально. Определяет ли интерфейс поиск базового класса или глобального пространства имен? Это те вопросы, которые вы должны решить, когда пишете компилятор.