Доступ к скрытому члену через производный экземпляр выбирает член базового класса ⇐ C#

[Anonymous]

Обзор искусственного интеллекта Google гласит:

В C#, если производный класс скрывает член базового класса (с помощью new), но скрывающий член недоступен (например,

Код: Выделить всё

private

или protected в другом контексте), компилятор не автоматически возвращается к базовому члену. Вместо этого он обычно выдает ошибку компилятора (CS0122: «недоступен из-за уровня защиты»), поскольку компилятор сначала видит скрытый элемент и блокирует доступ, даже если базовый элемент является общедоступным.

Однако следующий код компилируется без ошибок:

Код: Выделить всё

public class Base
{
private readonly int value = 42;

public int Value => value;

public Base() { }
}

public sealed class Derived : Base
{
private new int Value => throw new NotSupportedException();
}

static void Main()
{
Base b = new();
int bValue = b.Value;
Derived d = new();
int dValue = d.Value;
Console.WriteLine($"bValue: {bValue}; dValue: {dValue}");
}

Если Derived.Value становится общедоступным, то ошибки времени компиляции нет, но исключение NotSupportedException выдается, показывая, что компилятор действительно выбирает скрывающий элемент, когда он общедоступен.
Я предполагаю, что это пример того, как ИИ Google ошибается, и что компилятор возвращается к доступному Base.Value, когда Derived.Value недоступен — это предполагаемое поведение. Если это так, то другие варианты, такие как применение ObsoleteAttribute с ошибкой: true, все равно могут заставить не использовать Derived.Value напрямую через экземпляр типа Derived, оставив модификатор доступа одинаковым между Base и Derived.
Мой вопрос заключается в том, действительно ли резервный вариант компилятора является задуманным, поскольку результаты Google AI явно указаны другое поведение.
Чтобы было понятно, чего я пытаюсь достичь, я хотел изменить имя общедоступного API свойства базового класса. Имя имеет разные значения для базового и производного классов. При доступе к экземпляру через базовый класс нет проблем или конфликтов с именованием, и я хочу предоставить то же значение через свойство с другим именем в производном классе. Моей целью было скрыть свойство базового класса, чтобы оно не использовалось по ошибке (неправильная интерпретация/недоразумение) при доступе через производный класс. Для этого достаточно атрибута ObsoleteAttribute, и этот вопрос больше для любопытства и ясности.

Подробнее здесь: https://stackoverflow.com/questions/798 ... ass-member