ArduinoJson项目中字符串比较异常问题的技术分析

问题现象描述

在嵌入式开发环境中，当使用ArduinoJson库处理JSON数据时，开发者遇到了一个字符串比较异常的问题。具体表现为：从JSON文档中提取的字符串（const char*类型）与另一个字符串进行比较时，当第一个字符串是第二个字符串的前缀时，strcmp或strncmp函数会错误地返回0（表示相等），而实际上这两个字符串并不相同。

环境背景

该问题出现在以下开发环境中：

• 硬件平台：STM32F767ZI微控制器
• 开发框架：Arduino Core for STM32 2.2.0
• 开发工具：PlatformIO Core 6.1.16

问题复现与分析

开发者最初提供的复现代码片段如下：

StaticJsonDocument<128> doc;
doc["str1"] = "0.0";
const char* str1 = doc["str1"].as<const char*>();
const char* str2 = "0.0.0";
if (strcmp(str1, str2) == 0) {
  Serial.println("strcmp: str1 equals str2");
}

正常情况下，这段代码不应该输出任何内容，因为"0.0"和"0.0.0"明显不同。然而实际上却输出了"str1 equals str2"的错误结果。

深入调查过程

经过深入排查，发现以下几个关键点：

1. ArduinoJson库验证：在最新版本的ArduinoJson库（v6.21.5和v7.3.0）中无法复现该问题，说明问题可能不在JSON序列化/反序列化过程中。

2. 字符串类型差异：发现Arduino String类也存在类似问题，而原始C字符串(char*)比较则表现正常，这提示问题可能出在底层实现而非JSON处理。

3. 环境因素排查：更新STM32核心框架和工具链后问题仍然存在，排除了这些组件本身的问题。

根本原因定位

最终发现问题的根源在于wolfboot引导加载程序。wolfboot重写了标准库中的strcmp函数实现，其实现逻辑如下：

当比较两个字符串时，如果第一个字符串(s1)是第二个字符串(s2)的前缀，当s1结束时，wolfboot的实现会直接返回当前比较结果（此时差异为0），而不是继续比较s2剩余的部分。这与标准C库的strcmp行为不符，标准实现会继续比较直到发现差异或两个字符串都结束。

解决方案建议

针对这一问题，开发者可以采取以下几种解决方案：

1. 避免使用wolfboot的strcmp实现：在项目中明确链接标准C库的字符串比较函数。

2. 自定义比较函数：实现一个符合项目需求的字符串比较函数，替代标准库函数。

3. 更新wolfboot版本：检查是否有新版本修复了这一问题。

4. 使用长度明确的比较：在知道字符串长度的情况下，优先使用memcmp等函数。

经验总结

这个案例给我们带来以下启示：

1. 在嵌入式开发中，底层库的函数重写可能会带来意料之外的行为差异。

2. 当遇到标准函数行为异常时，应考虑是否被其他库或框架重写。

3. 问题排查应从最简环境开始，逐步添加组件以定位问题来源。

4. 字符串处理在嵌入式系统中需要特别注意，不同实现可能有细微但重要的差异。

通过这个案例，我们了解到在嵌入式开发中，即使是看似简单的字符串比较操作，也可能因为底层实现的不同而产生非预期结果。开发者在遇到类似问题时，应当全面考虑整个软件栈中可能的影响因素。