为什么VB6在编译时不检查对象类型的对应关系？

Question

我仍然必须处理Visual Basic 6.

我刚刚发现只有在运行时强制执行对象类型的对应关系。例如参见this question。

---

我很震惊地发现这一点，我总是依靠对物体进行类型安全检查。

有人知道这是否存在体系结构原因（这使得它至少是一个复杂的问题）？

如果涉及到多态性，我会理解它，但是当参数的类型是一个没有被其他类实现的类时，我在编译时就没有发现类型检查有问题...？

Answer 1

历史教训

VB版本1至3是严格。类型一致性检查仍然在运行时进行，但是它更严格。如果您将字符串分配给一个整数，则会出现运行时错误。我不知道为什么只在运行时进行一致性检查 - 在猜测编译时检查很难实现。

在VB版本4语言已更改，以便（例如）将字符串分配给整数不会引发错误，但会隐式地将字符串值转换为整数。例如，如果字符串包含"0"或""它将被转换为0。如果包含字符串，比如说"1E40"，则会发生溢出错误。许多VB程序员（包括呃，我）都不喜欢这种变化，并称之为邪恶类型的强制。例如。大师Karl Peterson看到这个article。

所以这个架构方法是“在猜测的时候尝试在运行时转换类型，只在不可能的时候引发错误”。这意味着，检查有在运行时。我想原则上编译器可以检测到对象类型是私有的，并且没有被其他类实现的情况，并且在编译时检查，但我想这对编译器开发者来说不是优先考虑的。开发人员甚至可能会弄糊涂了解为什么某些任务在运行时被检查，而其他人则在编译时被检查。

在VB.Net中，默认行为与VB6相同，以便升级遗留代码。在VB.Net中优先采用Option Strict On，以便在编译时进行检查。编译时检查很有用，因为它们可以及早标记错误。

Answer 2

只有接口被实现，而不是类。 VB6类Car隐式定义接口_Car，可以在任何外部项目（DLL）来实现，并且可以在组件类与任何其他接口（包括_Boat）捆绑

当你Dim c As Car它的界面_Car，这些会用来编译器，所以c可以在任何对象上持有对_Car接口的引用，而不仅仅是Car类的实例。例如。你可以编写一个实现了_Car和_Boat接口的协调器Mix，所以Set c = New Mix编译和运行，所以在Sail c接口的QI实际上成功（认为“强制转换”成功）。

请注意，这不是upcast也不是downcast，因为_Car和_Boat不受任何继承形式的约束。但这是COM允许你通过IUnknown接口实现的。

在现代语言中，他们决定你总是需要在代码中明确地向下转换（否则会出现编译错误），并且与“侧投”（如在设计的汽车/船例子中一样）你自己在腿上。