允许向接口属性添加访问器，但不允许向抽象属性添加访问器

Question

为什么以下是合法的 C#:

public interface ISomeInterface
{
    int SomeProperty
    {
        get;
    }
}

public class SomeClassImplementingInterface : ISomeInterface
{
    public int SomeProperty
    {
        get { return 32; }
        protected set {}
    }
}

而这不是：

public abstract class SomeAbstractClass
{
    public abstract int SomeProperty
    {
        get;
    }
}

public class SomeClassExtendingAbstractClass : SomeAbstractClass
{
    public override int SomeProperty
    {
        get { return 32; }
        protected set {}
    }
}

后者会导致以下编译时错误：

'InterfaceAbstractTest.SomeClassExtendingAbstractClass.SomeProperty.set'： 无法覆盖，因为 'InterfaceAbstractTest.SomeAbstractClass.SomeProperty' 没有 可重写的集合访问器 InterfaceAbstractTest

不禁止后者而允许前者的原因是什么？

Answer 1

因为使用接口的调用者只关心接口的实现者至少实现了接口的定义，如 @davisoa 所说，而示例中的 SomeAbstractClass 定义了一个公共合约，其中准确说明成员的类型、可访问性和（对于属性）可读性/可写性。

如果您使用反射来获取 SomeProperty 的 PropertyInfo（从基类或子类），它需要从某个地方解析该信息。允许子类更改可读性/可写性与更改返回类型或参数列表一样违反合同。

想象一下例如：

SomeAbstractClass sc = new SomeClassExtendingAbstractClass();
PropertyInfo pi = sc.GetType().GetProperty("SomeProperty");
Console.Out.WriteLine(pi.CanWrite); // What should be printed here?

Answer 2

这是因为接口实现承诺将有一个您可以“获取”的属性 SomeProperty。

抽象类实现承诺它的子类将提供具有公共 get 方法的属性 SomeProperty 的实现。

最后，基类定义了一些必须重写的东西，而接口则定义了契约。

Answer 3

这是设计使然。我引用的是 C# 语言规范：

重写属性声明必须指定完全相同的属性
可访问性修饰符、类型和名称作为继承的属性，if
继承的属性只有一个访问器（即...仅准备就绪
或只写），覆盖属性必须仅包括
访问器。

这种决定背后的原因可能是因为接口是比抽象类更灵活的契约类型。接口只关心最小公分母而不是整个实现。我认为选择一种设计而不是另一种设计是有充分理由的。

Answer 4

您正在尝试覆盖不存在的集合运算符。要么在抽象类中定义属性的一组部分，要么不要尝试在具体类中定义属性。由于您在具体类中将集合设置为受保护，因此我猜测您想要做的是在抽象定义中创建一个受保护的集合运算符。

Answer 5

必要的是覆盖现有属性并使用新的读写属性对其进行隐藏。不幸的是，.net 不提供任何方法来覆盖和隐藏单个类中的成员。最好的办法可能是让抽象基类定义一个具体的非虚拟只读属性，其 getter 调用一个抽象函数。然后，派生类可以使用非虚拟读写函数来隐藏该属性，该函数在其 getter 中调用相同的函数，并在其 setter 中调用新的抽象或虚拟函数。