源代码语言 (-lang)

源文件编译

对于同时包含 C 和 C++ 文件的工程，如果您使用 C-CPP 语言，则每个文件将根据文件扩展名确定的语言标准进行编译。在编译后，Polyspace 将此类混合工程作为 C++ 工程进行验证。

具体来说，分析会将所有文件作为 C++ 文件进行链接。由于 C 和 C++ 在链接行为上存在差异，当混合 C-C++ 工程中的 C 文件使用 C-CPP 语言进行编译时，与使用 C 语言进行编译相比，您可能会发现在链接错误或警告方面存在差异。

源文件链接

C 和 C++ 编译器在假设方面存在一些差异。例如，对于 C 编译器，enum 的基础类型是 int。然而，对于 C++ 编译器，enum 的基础类型是由实现定义的。当使用 C-CPP 作为语言时，C 和 C++ 编译器的差异假设可能会导致分析失败。

测试生成

如果您使用源代码语言设置为 C-CPP 的工程配置生成测试，则测试将以 C++ 文件形式生成，并使用 C++ 编译规则进行编译。

需要特别说明的是，如果您的源代码包含在 C++ 中属于保留关键字的标识符名称，则即使源文件是 C 文件，在 C-CPP 模式下生成的测试也会是 C++ 文件形式并且可能会编译失败。