AUTOSAR RTE：数组实现数据类型的叶子类型是否遵循TYPE_REFERENCE？

首先引用SWS_Rte_07111原文：

对于每个数组实现数据类型，其叶子ImplementationDataTypeElement由ImplementationDataType类型化[...]

核心判定规则 #

定位此处的“叶子”ImplementationDataTypeElement时，必须追踪类别为TYPE_REFERENCE的元素，直至到达不可再分解的底层类型节点，再根据最终指向的类型确定适用条款：

• 若TYPE_REFERENCE最终指向BaseType，适用条款 SWS_Rte_02317 和 SWS_Rte_07110
• 若TYPE_REFERENCE追踪后指向的仍为非BaseType的ImplementationDataType（可继续分解），则需持续追踪到真正的叶子节点（不可再分解的实现类型），此时适用条款 SWS_Rte_07111 和 SWS_Rte_02318

规则依据 #

AUTOSAR规范中，TYPE_REFERENCE属于类型引用别名，并非独立的底层实现类型。“叶子”节点的定义是指不可向下分解的最终实现数据类型，因此必须穿透TYPE_REFERENCE的引用关系，找到其实际指向的类型，才能准确匹配对应的RTE条款要求。

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