类 <SI-Namespace>::skeleton::<SI>Skeleton

方法 OfferService() 在 Skeleton 类的实例上调用，以在系统中提供已准备的服务，并使其可通过 Service Discovery 被使用者发现 [SWS_CM_00101]、ARAComAPI §6.5 “Service Discovery”。一旦服务实现完全实例化并置于可运行状态，调用即以无参数且同步的方式进行 AUTOSAR_AP_EXP_ARAComAPI §5.4.4 “Offering Service instance”。该函数声明为 noexcept 并返回一个 ara::core::Result<void> [SWS_CM_00101]。

提供服务是通过方法、事件、字段或触发器进行功能通信的必要前提条件 AUTOSAR_AP_EXP_ARAComAPI §4.2 “Means of Communication”。例如，如果尝试在未事先提供的情况下发送触发器，这将因 ComErrc::kServiceNotOffered 失败 [SWS_CM_00721]。关于并发性适用：一旦调用 OfferService()，传入的方法调用就已经可以传递给服务实例——即使 OfferService() 的调用尚未返回 AUTOSAR_AP_EXP_ARAComAPI §5.4.4 “Offering Service instance”。

如果提供失败，返回的 ara::core::Result 将包含来自 ComErrc 的相应错误代码 [SWS_CM_00101]、[SWS_CM_10432]：

• ComErrc::kFieldValueNotInitialized：在提供之前，至少有一个配置的字段值尚未初始化 [SWS_CM_00101]。
• ComErrc::kFieldSetHandlerNotSet：对于支持 Setter 的字段，尚未通过 RegisterSetHandler() 注册处理程序 [SWS_CM_00101]。
• ComErrc::kCommunicationFailure：网络绑定报告可恢复的通信错误或安全通信失败 [SWS_CM_00101]。

如果要停止提供服务，必须调用 StopOfferService() AUTOSAR_AP_EXP_ARAComAPI §5.4.4 “Offering Service instance”。

方法 ProcessNextMethodCall() 用于 Skeleton 中的服务提供者在轮询模式下确定性地处理传入的方法调用 [SWS_CM_00199]。仅当 Skeleton 实例配置了模式 ara::com::MethodCallProcessingMode::kPoll 时，才允许使用它 EXP ARAComAPI §2 “Polling”。

用法与语义

该函数不接受任何参数，并在调用者的线程上下文中同步执行待处理的方法调用请求 [SWS_CM_00199]、[SWS_CM_00191]。这尤其使实时应用程序能够在其分配的时间预算内处理服务请求，而无需不受控制的线程上下文切换 EXP ARAComAPI §5.4 “ProcessNextMethodCall”。返回值指示轮询的结果：

• true：队列中存在至少一个待处理的请求并已处理完毕 [SWS_CM_00199]。
• false：不存在待处理的请求；队列为空 [SWS_CM_00199]。在 false 之后直接进行的后续调用通常无效 EXP ARAComAPI §5.4 “ProcessNextMethodCall”。

错误处理与边界条件

该函数被指定为 noexcept 且 exception safe [SWS_CM_00199]。在以 kEvent 或 kEventSingleThread 实例化的 Skeleton 上调用构成违规（WrongMethodCallProcessingModeViolation）[SWS_CM_00199]。解释：由于常规的 C++ 异常已被 noexcept 排除，此类违规可能在平台端被视为严重的运行时错误。 问题 Q-61661dbd6cc37bc7 (未决)

使用

函数 SetTransportFaultConditionHandler 用于在 Skeleton 类的命名空间（<SI-Namespace>::skeleton::<SI>）中注册类型为 ara::com::e2e::TransportFaultConditionHandler 的回调 [SWS_CM_00093]。通过此处理程序报告相应服务实例所有方法上的传输错误 AUTOSAR_AP_SWS_CommunicationManagement §7.4.1 “End-to-end communication protection for SOMEIP”。该函数接收可调用对象 handler 且没有返回值（void）[SWS_CM_00093]。

错误处理

该操作被声明为 noexcept 且为异常安全（exception safe）[SWS_CM_00093]。如果传入的可调用单元不存在或为 null，则会引发 InvalidHandlerViolation [SWS_CM_00093]。在发生错误时，当请求由于传输层中的资源不足或损坏而被丢弃时，配置的处理程序会报告已发生的传输故障（如 TransportFaultCondition::kSampleRejected）AUTOSAR_AP_SWS_CommunicationManagement §7.4.2.3 “Methods”。

并发性与限制

解释：由于此基础接口不接收执行上下文，因此该回调大概率从 Communication Management 的内部线程同步调用。 问题 Q-e4007fa72de6aa12 (未决)如果处理程序应在定义的线程池或工作线程中执行，则应使用带有 ExecutorT&& executor 的重载 [SWS_CM_00094]。

相互作用

该注册将错误处理集中绑定到 Skeleton 实例的所有方法 [SWS_CM_00093]。它融入了 ara::com 的上层错误处理中：

• 虽然 Skeleton 方法通过此处理程序报告传输错误，但客户端方法通过其生成的带有 ComErrc::kCommunicationFailure 的 ara::core::Future 异步指示传输故障 [SWS_CM_00090]。
• 对于 Skeleton 级别的字段操作（Get/Set），存在单独的接口 [SWS_CM_00096]。
• 在 Proxy 级别，为事件 [SWS_CM_00099]、触发器 [SWS_CM_00106] 以及通知器 [SWS_CM_00109] 提供了类似的注册函数。

Skeleton 类命名空间中的模板函数 SetTransportFaultConditionHandler 用于为服务实例的所有方法的传输错误注册错误处理程序 [SWS_CM_00094]。它为无参基础函数 [SWS_CM_00093] 扩展了一个执行上下文：

• 调用与参数：传递类型为 ara::com::e2e::TransportFaultConditionHandler 的可调用对象 handler 以及通用引用 executor [SWS_CM_00094]。任何异步计算和回调执行都必须在该 Executor 对象中启动。该函数没有返回值。
• 错误处理：该接口被声明为 noexcept 并指定为异常安全 [SWS_CM_00094]。如果传入的可调用对象不存在或为空，则存在 InvalidHandlerViolation [SWS_CM_00094]。
• 交互：作用域包括 Skeleton 的所有方法 [SWS_CM_00094]，而对于 Field 的 Get 和 Set 操作提供了单独的注册函数（[SWS_CM_00096]、[SWS_CM_00097]）。在 DDS 网络绑定中，配置的处理程序会报告传输错误，例如 TransportFaultCondition::kSampleRejected [SWS_CM_00216]；相反，在客户端，此类错误会在结果 Future 中通过 ComErrc::kCommunicationFailure 指示 [SWS_CM_00090]。
• 并发性：解释：传递 Executor 将错误处理与通信层的内部上下文解耦；推测注册应该在 Skeleton 初始化时在第一个方法调用到达之前尽早完成。 问题 Q-e56b2a1928cf32ad (未决)

构造函数 [SWS_CM_00130] 基于具体的 ara::com::InstanceIdentifier 实例化一个服务 Skeleton。Skeleton 将应用侧的服务实现连接到 Communication Management 的传输层，以便分布式服务使用者可以对其进行访问（ARAComAPI §5.1 “Proxy Skeleton Pattern”）。

通过参数 mode 确定如何处理传入的方法调用。基于事件的模式 ara::com::MethodCallProcessingMode::kEvent 被指定为默认值 [SWS_CM_00130]。如果改为选择基于轮询的模式，则待处理的方法调用将在 ProcessNextMethodCall() [SWS_CM_00199] 的调用上下文中同步执行。

错误处理与边界条件

构造函数被声明为 noexcept 且不抛出 C++ 异常 [SWS_CM_00130]。可能的违规行为通过运行时系统发出信号：如果由于授权强制执行（Grant-Enforcement）拒绝创建，则存在 InsufficientPermissionsViolation；在传递无效的处理模式时，会导致 WrongMethodCallProcessingModeViolation [SWS_CM_00130]。解释：处理模式的验证大概率直接在构造函数执行期间进行。 问题 Q-80e02c0079757082 (未决)

复制操作对于 Skeleton 已被显式删除 [SWS_CM_00134]，而移动构造受到支持 [SWS_CM_00135]。为了使服务在网络中可被发现，必须在实例化后调用 OfferService() [SWS_CM_00101]（ARAComAPI §6.5 “Service Discovery”）。在销毁实例 [SWS_CM_11370] 之前，可以通过 StopOfferService() [SWS_CM_00111] 再次终止提供。

该构造函数根据实例说明符[SWS_CM_00152]实例化服务骨架。它用于将具体服务实现连接到 Communication Management 的传输层。作为参数传递一个ara::core::InstanceSpecifier以及可选的处理模式ara::com::MethodCallProcessingMode，后者默认预设为kEvent[SWS_CM_00152]。

关于错误处理和异常行为，构造函数被声明为noexcept且异常安全（exception safe）[SWS_CM_00152]。在配置错误或建模偏差的情况下，指定了以下违规（Violations）：

• InstanceSpecifierMappingIntegrityViolation，如果说明符在执行上下文中无法解析，或者未引用 PortPrototype[SWS_CM_00152]。
• PortInterfaceMappingViolation和ProcessMappingViolation，当映射类型与接口类型不匹配时[SWS_CM_00152]。
• InstanceSpecifierAlreadyInUseViolation，如果 InstanceSpecifier 已被使用[SWS_CM_00152]。
• WrongMethodCallProcessingModeViolation以及权限不足时的InsufficientPermissionsViolation[SWS_CM_00152]。

解释：由于构造函数被声明为noexcept，指定的违规可能不会在运行时作为抛出的 C++ 异常进行传播，而是通过平台侧检查或授权强制执行（Grant Enforcement）被拦截。 问题 Q-f1a1a0baeb56e482 (未决)

关于生命周期和并发性，复制构造函数被删除[SWS_CM_00134]，而移动构造函数可用[SWS_CM_00135]。释放通过虚析构函数完成[SWS_CM_11370]。构造成功后，服务通常通过[SWS_CM_00101]（OfferService）在网络上提供。如果选择了kPoll作为处理模式，则应用程序必须通过[SWS_CM_00199]（ProcessNextMethodCall）显式处理传入的服务方法调用[SWS_CM_00191]。

使用

构造函数基于实例标识符容器（instanceIDs）实例化服务骨架，并在服务器端将服务实现与 Communication Management 的传输层连接 [SWS_CM_00153]、ARAComAPI §5.1 “Proxy Skeleton Pattern”。通过参数 mode 指定如何处理传入的方法调用；默认情况下，通过 kEvent 进行事件驱动的处理 [SWS_CM_00153]。或者，可使用针对单个实例标识符 [SWS_CM_00130] 或实例说明符 [SWS_CM_00152] 的构造函数。

错误处理与并发

该函数声明为 noexcept，并被规范为异常安全（exception safe）[SWS_CM_00153]。创建时可能出现的违规包括：传递无效处理模式时的 WrongMethodCallProcessingModeViolation，以及授权检查（Grant Enforcement）失败时的 InsufficientPermissionsViolation [SWS_CM_00153]。

如果为 mode 配置了轮询模型（kPoll），则服务器应用程序必须通过调用 ProcessNextMethodCall() 在其自身的线程上下文中同步处理挂起的方法调用 [SWS_CM_00199]。骨架类的拷贝构造函数已被删除（delete）[SWS_CM_00134]；而移动构造函数则支持移动操作 [SWS_CM_00135]。

相互作用

成功实例化后，该服务通过 OfferService() 提供给远程或本地使用者 [SWS_CM_00101]、ARAComAPI §6.5 “Service Discovery”。在使用析构函数 [SWS_CM_11370] 销毁骨架之前，应通过 StopOfferService() 终止提供 [SWS_CM_00111]。传入的方法调用在服务器端各返回一个 ara::core::Future [SWS_CM_00191]。

虚析构函数~<SI>Skeleton()[SWS_CM_11370]结束服务骨架实例的生命周期。作为生成构件，服务骨架将具体服务实现与 Communication Management 的传输层相连接，使服务使用者能够访问所提供的方法和功能（ARAComAPI §5.1 “Proxy Skeleton Pattern”）。

销毁在派生实现类析构时同步进行。该方法不接收任何参数，也不声明任何返回值。与骨架的构造函数（如[SWS_CM_00130]或[SWS_CM_00152]）不同，析构函数在规范中被明确归类为 not exception safe[SWS_CM_11370]。

关于错误处理和约束条件，规范规定在违反前置条件时可能发生DanglingSamplesViolation[SWS_CM_11370]。如果先前已通过OfferService()[SWS_CM_00101]对外提供了该服务（ARAComAPI §6.5 “Service Discovery”），则在调用析构函数之前推测可能必须调用方法StopOfferService()[SWS_CM_00111]，以便彻底结束正在进行的通信关系。 问题 Q-c430a7f0fc838eba (未决)

对于骨架，复制构造函数已被删除[SWS_CM_00134]，但支持移动操作[SWS_CM_00135]。正在进行的处理过程——例如通过ProcessNextMethodCall()[SWS_CM_00199]处理待处理的调用——应在开始销毁之前完成。

方法 [SWS_CM_00111] 终止 ara::com 中服务提供者应用程序对服务实例的提供。该调用在命名空间 <SI-Namespace>::skeleton::<SI> 中的具体 Skeleton 实例上无参数执行，并且不返回值（EXP_ARAComAPI §5.4.1 “Skeleton Class API’s”）。

以下条件适用于使用和运行时行为：

• 调用上下文与前置条件：当先前通过 OfferService() 提供的实例不再可用时（例如由于状态变更），调用该方法（EXP_ARAComAPI §5.4.4 “Offering Service instance”）。
• 保证（Contract）：根据契约，一旦 StopOfferService() 返回，就不会再有方法调用被转发到该服务实例（EXP_ARAComAPI §5.4.4 “Offering Service instance”）。
• 生命周期与析构函数：如果服务实例在调用 Skeleton 类的析构函数时仍处于活动提供状态，则析构函数会在内部强制执行 StopOfferService()（EXP_ARAComAPI §5.4.4 “Offering Service instance”）。
• Service Discovery：通过此调用，本地注册表或中间件的 Service Discovery 协议将随着服务的撤回而更新（EXP_ARAComAPI §7.2.1 “Central vs Distributed approach”）。

该函数被声明为 noexcept，并被视为异常安全（[SWS_CM_00111]）。它既不通过异常，也不通过错误消息或返回代码来指示错误。