继承：内部类与内部接口

Question

在表达对防止暴露基类的担忧时，我了解到（通过测试）类public不能从类继承internal；但是，public类可以从接口继承internal。我真的很好奇为什么这是可能的。我认为这可能是由于以下原因之一（或任意组合）造成的：

1. 接口仅包含必须实现的签名。
2. 类可能具有可通过派生类型访问的属性、方法等。
3. 类可能具有可由派生类型重写的方法。

---

情况1

我相信，由于接口只是一个包含签名并声明派生类型必须实现这些签名的契约，因此允许继承。这是因为接口并不关心谁访问这些签名，只关心派生类型实现它们。

---

案例2和案例3

与 不同的是interfaces，类可以具有public可由派生类型访问的属性。例如：

private class A {
    public int SomeProperty { get; set; } = 0;
}
public class B : A {
    // Some cool code.
}
public class C : B {
    public int MyInt => SomeProperty;
}

该结构具有不一致的可访问性，因为SomeProperty所有public派生类型都可以访问该结构；因此A，B必须具有相同的访问级别以防止暴露。

---

这就是为什么public类可以从 an 派生internal interface但不能从 a派生的原因internal class吗，还是我遗漏了一些东西？另外，还有其他原因可以实现这一点吗？

---

笔记

我不是在寻找基于意见的答案；我正在寻找技术上正确的原因来解释为什么这是可能的。

这不是重复的，因为我想知道为什么你不能从一个派生，但你可以从另一个派生。

Answer 1

我认为您缺少的关键概念是继承和接口实现之间的区别。

当一个类继承另一个类时，这意味着它基本上是基类的更具体类型 - 例如，狗是动物的特定类型，因此当您有这样的类时：

class Animal {/* implementation here */}
class Dog : Animal {/* dog implementation here */}

该类Dog已经包含 Animal 的所有实现，除了它的构造函数（静态和实例）和终结器。

然而，当一个类实现一个接口时，这意味着它必须提供该接口的成员（即方法、属性、事件和索引器），所以如果你有一个IAnimal接口和一个Dog直接实现它的类，你的代码如下所示：

interface IAnimal 
{
    void Eat();
}

class Dog : IAnimal 
{
    public void Eat() {/* implementation here */}
}

请注意，所IAnimal声明的所有内容都必须在类中显式或隐式地实现Dog- 因此接口提供的契约将保留在类中 - 无论类的用户是否知道该接口。

所以总而言之 - 要使用该类，您不需要了解它实现的接口的任何信息，但您确实需要了解该类的所有内容，并且由于狗是动物，如果狗是公共的，那么必须成为动物。
另一方面，IAnimal 接口可以保留在内部。

关于实现内部接口的另一点，已经在 user2864740 对问题的评论中提到 - 由于所有隐式接口实现都必须是公共的 - 如果您正在实现内部接口，则应该考虑显式实现它- 这样实现就保持在内部并且不暴露在包含组件之外。