将设置器添加到覆盖中的属性

Question

为什么允许在实现接口时更改属性中 getter 或 setter 的可见性和存在？

interface IFoo
{
    string Bar { get; }
}

class RealFoo : IFoo
{
    public RealFoo(string bar)
    {
        this.Bar = bar;
    }

    public string Bar { get; private set; }
}

class StubFoo : IFoo
{
    public string Bar { get; set; }
}

...在实现抽象类时这样做不合法吗？

abstract class AbstractFoo : IFoo
{
    public abstract string Bar { get; }
}

class RealFoo : AbstractFoo
{
    public RealFoo(string bar)
    {
        this.Bar = bar;
    }

    // Cannot override because 'Bar' does not have an overridable set accessor
    public override string Bar { get; private set; }
}

Answer 1

接口声明了类必须具有的公共属性（它只是一个契约）。这意味着您需要拥有这些属性，但可以添加它们。

抽象类声明了这些属性的实际结构。因此，如果您在抽象基础中没有设置器，则无法在实现中添加它。
当您编写 override 修饰符时，它会在基类中查找要覆盖的内容。

Answer 2

抽象类是不能实例化但必须继承的类。抽象类可以完全实现，但更常见的是部分实现或根本不实现，从而封装了继承类的通用功能。

相比之下，接口是一组完全抽象的成员，可以被认为是定义行为契约。接口的实现完全留给开发人员。

取自 MSDN http://msdn.microsoft.com/en-us/library/scsyfw1d(v=VS.71).aspx

Answer 3

根据 C# 规范

用于实现的访问器 接口可能没有 访问器修饰符。如果只有一个 访问器用于实现一个 接口，其他访问者可能是 用访问器修饰符声明：

public interface I
{
  string Prop { get; }
}
public class C: I
{
  public Prop {
  get { return "April"; }     // Must not have a modifier here
        internal set {...}    // Ok, because I.Prop has no set accessor
  }
}

这意味着可以在实现接口的类上修改访问权限。但是，抽象类声明了一个实现，您不能使用派生类更改它。

Answer 4

如果您将 getter 和 setter 视为它们最终成为的方法，可能会更清楚。

在你定义这个接口的情况下：

interface IFoo
{
    string GetBar();
}

可以理解为“所有实现这个接口的类必须包含这个方法”。 你的两个班级都这样做：

class RealFoo : IFoo
{
    public string GetBar();
    private void SetBar(string value);
}

他们也实现了 SetBar()，但这并不重要；他们已经履行了接口定义的契约并且是有效的。

另一方面，抽象类是这样的：

abstract class AbstractFoo : IFoo
{
    public abstract string GetBar();
}

这意味着所有子类都必须为 GetBar() 提供方法体

你制作的课程是这样的：

class RealFoo : AbstractFoo
{
    public override string GetBar();
    public override void SetBar(string value);
}

通过将 override 修饰符放在 SetBar 方法前面，编译器期望在基类中找到抽象或虚拟版本。你没有那个所以编译失败。