是否有经过认证的（ISO 26262或类似）C++；是否存在标准库？ P.C. +，虽然存在认证的C++工具链（编译器等），但我没有发现任何认证的C++标准库（STL）。

有人知道有人提供此服务吗？

认证要求严格遵守ISO26262和ASPICE标准，这意味着要编写从系统到单元级的所有文档，以及与文档平行的所有级别的测试（见ISO26262中的V模型）。此外，这将要求STL的安全案例为“上下文之外的安全元素”，这将要求对所有库部件的使用进行假设，并为用户创建安全手册，该手册将仅要求以预期方式使用库。这将在数量级上增加开发成本，然后市场将不存在，因为使用它需要编写自定义内存管理器，从静态分配的空间分配内存，然后分析完整的应用程序，证明它需要比预分配数量更多的内存，这将是一项重大任务，因此理论上可以存在经认证的STL，但提到的原因可能会阻止STL的发展。

认证要求严格遵守ISO26262和ASPICE标准，这意味着从系统到单元级编写所有文档，并在所有级别上进行测试，与文档平行（参见ISO26262中的V模型）。此外，这将要求STL的安全案例为“上下文之外的安全元素”，这将要求对所有库部件的使用进行假设，并为用户创建安全手册，该手册将仅要求以预期方式使用库。这将在数量级上增加开发成本，然后市场将不存在，因为使用它需要编写自定义内存管理器，从静态分配的空间分配内存，然后分析完整的应用程序，证明它需要比预分配数量更多的内存，这将是一项重大任务，因此理论上可以存在经认证的STL，但提到的原因可能会阻止其发展。

由谁认证？TUV、exida或其他认证机构。当然。如果你能贡献一些东西，请这样做。C++是一个有趣的空间。大多数时候，当我看到有人在调用安全关键的C++时，他们首先通过丢弃大多数使C++使用的工具而不是C来删除++。但是我们希望提供C++而不是C解决方案。谁认证？TUV，ExEDA或其他认证机构。当然。如果你能贡献一些东西，请这样做。C++是一个有趣的空间。大多数时候，当我看到有人在调用安全关键的C++时，他们首先通过丢弃大多数使C++使用的工具而不是C来删除++。但是我们希望提供C++而不是C解决方案。