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

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

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

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

Answer 2

如果您将 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 方法前面基类中的抽象或虚拟版本。你没有这个，所以编译失败。

Answer 3

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

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

摘自MSDN
http://msdn.microsoft.com/en-我们/库/scsyfw1d(v=VS.71).aspx

Answer 4

根据C#规范

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

公共接口I
{
  字符串属性 { get; }
}
公开课C：I
{
  公共道具 {
  得到{返回“四月”; } // 这里不能有修饰符
        Internal set {...} // 好的，因为 I.Prop 没有 set 访问器
  }
}

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