为什么 MATLAB 会尝试实例化抽象属性？

Question

在 MATLAB 中将类属性验证与抽象属性结合使用时会出现（对我而言）意外行为。这是一个涉及三个类的简短示例：

classdef TestClass
    properties (Abstract)
        aprop (1,1) TestClassB
    end
end

classdef TestClassB
    methods
        function obj = TestClassB(a)
            disp(a);
        end
    end
end

classdef TestClassC < TestClass
    properties
        aprop
    end
end

然后，当尝试实例化 TestClassC 对象时，我收到以下错误：

>> TestClassC()
Error defining property 'aprop' of class 'TestClass'. Unable to construct default
object of class TestClassB.

显然，MATLAB 正在尝试在 TestClass 中实例化抽象属性 aprop，然后由于 aprop 的类定义 TestClassB 中缺少有效的零参数构造函数而失败。我意识到零参数构造函数问题在理论上是可以修复的（尽管只有当您有权修改 TestClassB 时），但 MATLAB 正在实例化一个抽象属性这一事实似乎很奇怪。维基百科关于抽象类型的文章的第一行字面意思是：

...抽象类型是主格类型系统中不能直接实例化的类型...

也许这是 MATLAB 作为弱类型语言实现属性验证的唯一方式，但这是一个不幸的结果。

附带说明，如果 TestClassB 有一个有效的零参数构造函数但被定义为抽象的，那么您最终会落入同一个陷阱，但会出现稍微不同的错误：

>> TestClassC()
Error defining property 'aprop' of class 'TestClass'. Class TestClassB is abstract.
Specify a default value for property aprop.

这种行为有充分的理由吗？

编辑：

额外的测试类观察

1. 删除TestClass 中的大小验证可消除错误。显然，MATLAB 在没有有效的零参数构造函数的情况下初始化一个空对象数组是没有问题的。注意：这仅适用于 TestClassB 是非抽象的。
2. 如果TestClassB 是抽象的并且TestClassC 用TestClassB 的具体子类在属性块中初始化aprop，则没有错误（假设具体子类具有有效的零参数构造函数）。注意：如果aprop 在TestClassC 的构造函数中被初始化，这不为真。

激励例子

上面的UML图是一个典型的继承与组合结合的例子。 GenericCar 和 GenericEngine 是抽象类。 GenericCar 包含 GenericEngine，但 Racecar 将其引擎指定为具体的 V8（其中“isa”GenericEngine）。不幸的是，这不能在 MATLAB 中使用属性验证来构造，因为 MATLAB 不允许您重新定义抽象属性的类，即使它是原始定义的子类。

假设您接受不能将Racecar 中的engine 定义为V8。即便如此，如果您没有为engine 提供初始值在Racecar 的属性块 中，MATLAB 在创建 Racecar 对象时会抛出错误，因为它会尝试初始化 @987654353 @ 使用抽象类型GenericEngine。即使Racecar 的构造函数将引擎初始化为V8 对象也是如此。 这突出了属性验证和对象实例化之间的奇怪联系。

Answer 1

看来应该回答两个问题：

1 - “显然，MATLAB 正在尝试在 TestClass 中实例化抽象属性 aprop。那么，为什么 MATLAB 会尝试实例化抽象属性？”

根据documentation（重点是我）：

您可以为抽象属性定义属性验证。验证适用于实现该属性的所有子类。

MATLAB 正在尝试在TestClassC 中实例化属性aprop，它是TestClass 的具体 子类。但它使用与TestClass 相同的验证规则。 TestClassC 的 aprop 属性不是抽象的。

2 - “如果 TestClassB ... 被定义为抽象的，你最终会落入同一个陷阱...”

参考documentation：

抽象类 — 不能实例化的类，但它定义了子类使用的类组件。

TestClassC 使用与TestClass 相同的验证规则。它尝试实例化其 aprop 成员，该成员属于 TestClassB 类，但 TestClassB 是抽象的，无法实例化。