MATLAB抽象类中如何正确声明function_handle类型的属性？

问题根源 #

MATLAB无法自动构造function_handle类型的默认对象，而你在抽象接口中声明带类型约束的抽象属性时，子类若未显式初始化该属性，MATLAB会尝试创建默认function_handle，从而触发报错。另外，抽象属性不允许在接口类中设置默认值，你之前在IMyInterfaceClass中添加默认值的尝试会被系统忽略。

解决方案1：在最终具体子类中显式初始化属性 #

保持接口类的类型约束不变，在最终可实例化的子类中强制初始化MyFuncHandle，确保符合类型要求。

1. 接口类代码（不变）：

classdef (Abstract) IMyInterfaceClass < handle
    properties (Abstract)
        MyFuncHandle(1,1) function_handle
    end

    methods (Abstract, Access = public)
        % 抽象方法声明
    end
end

2. 中间抽象类代码（不变）：

classdef (Abstract) MyClassThatInheritsTheInterface < IMyInterfaceClass & SomeOtherAbstractClass
    properties
        MyFuncHandle
    end

    methods (Abstract)
        % 抽象方法声明
    end

    methods
        function this = MyClassThatInheritsTheInterface()
            this@SomeOtherAbstractClass();
        end

        % 具体方法声明
    end
end

3. 最终具体子类代码：

classdef ConcreteClass < MyClassThatInheritsTheInterface
    methods
        function this = ConcreteClass(funcHandle)
            this@MyClassThatInheritsTheInterface();
            % 显式赋值并做前置类型检查
            if ~isa(funcHandle, 'function_handle')
                error('参数必须为function_handle类型');
            end
            this.MyFuncHandle = funcHandle;
        end
    end
end

实例化时传入合法函数句柄即可：

obj = ConcreteClass(@sin);

解决方案2：在中间抽象类中设置合法默认值 #

如果希望子类无需手动初始化，可在中间抽象类中给MyFuncHandle设置一个有效的默认函数句柄，同时保留类型约束：

修改中间抽象类的属性声明：

classdef (Abstract) MyClassThatInheritsTheInterface < IMyInterfaceClass & SomeOtherAbstractClass
    properties
        MyFuncHandle(1,1) function_handle = @(x) x % 默认匿名函数句柄
    end

    % 其余代码不变
end

这样最终具体子类实例化时会自动使用默认值，且接口的类型约束依然生效——若尝试给属性赋值非function_handle类型的值，MATLAB会直接抛出类型转换错误。

类型约束有效性验证 #

无论采用哪种方案，接口中的类型约束都会严格生效。例如尝试传入非法类型：

obj = ConcreteClass('invalid input');

系统会直接报错：无法将类 'char' 的值转换为类 'function_handle'。，确保属性始终为function_handle类型。

内容的提问来源于stack exchange，提问作者Matt