2. Stateflow数据对象全景
在Stateflow中，数据对象是状态机与外部世界交换信息的唯一载体。一个状态迁移能否被触发、一个动作能否被正确执行，最终都取决于数据对象是否被正确定义。很多模型在仿真阶段表现正常，一旦生成代码就出现变量未定义、数据竞争或内存占用异常，根源往往不在状态逻辑本身，而在于数据对象的类型、作用域、生命周期和存储类别没有形成一致的闭环。本节从这四个维度建立数据对象的完整认知框架，并说明它们在模型中的具体表达方式。
一、数据对象类型：值语义与引用语义的分界
Stateflow数据对象按语义分为两大类。第一类是值类型数据，包括 double、single、int8、uint16、boolean、fixdt 定点类型以及枚举类型。它们直接存储数值，参与表达式计算时按值传递。第二类是消息与事件类对象，包括 Simulink.Bus 总线、ml 消息、event 事件对象，它们承载结构化数据或触发信号，具有引用或广播语义。
选择类型时，关键判断依据是数据的取值范围和精度需求。例如一个计数器最大值为 200，用 uint8 即可覆盖，无需 double；而涉及浮点运算的控制器输出则应保留 double 或 single。定点类型需要同时指定字长和小数位，如 fixdt(1,16,8) 表示有符号 16 位、8 位小数，其可表示范围为 -128 到 127.99609375，分辨率约为 0.00390625。若实际信号超出该范围，仿真中会出现饱和或回绕，必须在定义阶段就核对量程。
二、作用域：数据可见性与访问边界
作用域决定数据对象在模型层级中的可见范围，是接口治理的核心。Stateflow提供四种主要作用域：
- Local（局部）：仅在当前状态机内部可见，不参与外部接口，生命周期与状态机激活周期绑定。
- Input from Simulink（输入）：由Simulink侧信号驱动，状态机只读，是外部数据进入状态机的主要通道。
- Output to Simulink（输出）：状态机写入，供Simulink侧消费，是状态机影响外部系统的主要通道。
- Parameter（参数）：在仿真和代码生成中作为常量使用，通常来自工作区变量或
Simulink.Parameter对象，不可在状态机内被赋值。
作用域选择错误会直接导致接口不匹配。例如把本应作为输入的信号定义为Local，Simulink侧就无法通过端口连接；把需要在线调整的阈值定义为Parameter，运行时就无法通过标定修改。一个实用的检查方法是：在Stateflow的Model Explorer中按作用域分组查看数据对象，确认每个Input都有对应的Simulink源端口，每个Output都有对应的目标端口，Local对象不跨越状态机边界。
三、生命周期：从初始化到终止的时间维度
生命周期描述数据对象在仿真或运行过程中的有效时段。Stateflow中需要区分三种生命周期：
状态机生命周期：数据对象随状态机被激活而初始化，随状态机退出而失效。对于Local数据，每次状态机重新进入时是否重置，取决于是否勾选“Initialize from”或使用 entry 动作显式赋值。
状态生命周期：在某个状态内部定义的数据，其有效范围通常限于该状态激活期间。状态退出后，该数据不再被维护，再次进入时按定义重新初始化。
仿真周期生命周期：对于Input和Output数据，其值在每个仿真步长更新一次，生命周期贯穿整个仿真过程，但值的有效性由外部驱动决定。
生命周期管理中最容易出问题的是Local数据的初始化时机。如果Local计数器在状态机每次进入时都期望从0开始，就必须在状态机的默认迁移或 entry 动作中显式写 count = 0;，否则它可能保留上一次运行的值，导致逻辑偏差。
四、存储类别：代码生成后的内存归属
存储类别决定数据对象在生成代码中的存储位置和访问方式，是连接模型与嵌入式代码的桥梁。常见存储类别包括：
- Auto：由代码生成器自动决定，通常作为局部变量或临时变量，适合纯内部计算。
- ExportedGlobal：生成全局变量，可在其他C文件中通过
extern访问，适合需要跨模块共享的数据。 - ImportedExtern：引用外部已定义的全局变量，适合与手写代码或已有模块集成。
- ImportedExternPointer：通过指针引用外部变量，适合需要动态切换数据源的场景。
- Model Default：使用模型配置中的默认存储类别，适合统一管理。
存储类别与作用域需要配合使用。例如一个Output数据若设置为ExportedGlobal，生成代码中会得到一个全局变量，其他模块可以直接读取；若设置为Auto，则可能被优化为局部变量，外部无法访问。在AUTOSAR或MISRA合规项目中，通常要求所有跨模块接口数据使用ExportedGlobal或通过 Simulink.Parameter 和 Simulink.Signal 对象统一管理存储类别。
五、在模型中的表达方式与一致性检查
在Stateflow编辑器中，数据对象通过Model Explorer的“Data”节点统一管理。每个对象需要填写名称、作用域、类型、初始值、存储类别等字段。对于总线对象，还需要在 Simulink.Bus 中定义元素结构，并在Stateflow中引用该总线类型。
一个典型的工程示例是发动机转速控制状态机。输入 rpm 定义为 uint16、Input from Simulink、ImportedExtern，对应外部传感器信号；输出 fuelCut 定义为 boolean、Output to Simulink、ExportedGlobal，供执行器模块读取；内部计数器 idleCnt 定义为 uint8、Local、Auto，在 entry 动作中初始化为0。这四个字段一旦确定，生成代码中 rpm 会以 extern uint16_T rpm; 形式出现，fuelCut 会以全局变量形式导出，idleCnt 则作为局部变量存在于状态机函数内部。
数据对象的四维属性不是孤立的选择，而是一个相互约束的系统。类型决定存储宽度，作用域决定接口方向，生命周期决定初始化时机，存储类别决定代码形态。只有四者一致，模型才能从仿真平滑过渡到代码生成，并在嵌入式目标上稳定运行。