C语言strstr函数异常求助：仅首次识别UART缓冲区大括号

我用strstr函数查找大括号首尾，过滤UART传输的无效数据、提取目标信息。UART中断会把字符存入数组并递增计数器，主函数代码如下：

volatile char     UART_RX_Buffer[128]; // updated in UART
volatile uint16_t UART_Byte_Counter = 0; // updated in UART

while (1)
{
      if(strstr(&UART_RX_Buffer[0], "{") != NULL)
      {
          if(strstr(&UART_RX_Buffer[0], "}") != NULL)
          {
              char *ret;
              int startindex;

              ret = strstr(&UART_RX_Buffer[0], "{");
              startindex = (ret - UART_RX_Buffer);

              // Clear out UART array and counter
              char Empty_Buffer[128] = {0};
              memcpy (UART_RX_Buffer, Empty_Buffer, sizeof(UART_RX_Buffer));
              UART_Byte_Counter = 0;
          }
      }
}

测试时发送012{345,678}，首次能正确识别{和}，计算startindex为3，也能正常清空缓冲区和计数器。但第二次发送相同数据时，明明缓冲区已有对应数据，strstr却无法识别{，进不了判断循环。使用芯片为STM32L4R5ZI，求C语言层面的可能原因。

可能的原因及解决思路 #

• strstr依赖字符串以'\0'结尾：
  strstr是C标准库函数，仅处理以空字符'\0'结尾的字符串。第一次运行时缓冲区可能刚好有残留的'\0'，或者数据长度巧合让后续内存为0，所以能正常识别。但第二次UART中断写入数据后，若没有在有效数据末尾主动添加'\0'，strstr会越界读取内存，导致查找结果不可预测。建议在处理前手动给有效数据加结束符：

  char temp_buf[128];
  // 仅拷贝当前收到的有效字节
  memcpy(temp_buf, UART_RX_Buffer, UART_Byte_Counter);
  temp_buf[UART_Byte_Counter] = '\0'; // 手动添加字符串结束符
  if(strstr(temp_buf, "{") != NULL) {
      // 后续处理逻辑
  }
  

• volatile限定符被隐式丢弃导致编译器优化：
  UART_RX_Buffer是volatile char类型，目的是告诉编译器该数组会被中断异步修改，不能缓存其值。但直接将其传给strstr（参数为const char*）会隐式去掉volatile限定符，编译器可能优化掉对缓冲区的重新读取，第二次查找时直接复用第一次的缓存结果，导致无法识别新写入的数据。解决方式是先将volatile数组的内容拷贝到普通数组再处理，避免标准库函数处理volatile指针的兼容性问题。

• 缓冲区清空操作不原子：
  主函数中清空缓冲区和计数器的过程可能被UART中断打断——比如刚执行完memcpy清空缓冲区，还没把UART_Byte_Counter设为0，中断就写入了新字符，导致计数器和缓冲区内容不一致。此时缓冲区里的有效数据长度混乱，strstr自然无法正确查找。解决方法是关中断后执行清空操作，保证原子性：

  __disable_irq();
  memset(UART_RX_Buffer, 0, sizeof(UART_RX_Buffer));
  UART_Byte_Counter = 0;
  __enable_irq();
  

  另外，用memset直接清空数组比定义空数组再memcpy更高效，还能避免栈上数组的初始化开销。

• UART中断缓冲区溢出：
  检查中断里的写入逻辑，是否在UART_Byte_Counter达到数组长度（128）时停止写入？如果没有做溢出检查，数据溢出后会覆盖数组内存甚至其他变量，导致第二次查找时缓冲区内容异常，strstr无法正常工作。

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