任务描述 本关任务：实现两个正浮点数a, b的精确加法 编程要求 根据提示，在右侧编辑器补充代码，定义函数add_float(char* a, char* b, char* res)实现两个正浮点数a, b的精确加法。 注意：只需要实现函数add_float，函数中没有任何输入输出。 函数的输入参数char* a和char* b都是用字符串表示的正浮点数。保证a, b一定都包含一个字符是小数点’.’，保证其余字符全是0-9的数字。保证a, b不超过128个字符。 函数的输出参数char* res，保证浮点数a+b的结果不超过 128 个字符。 要求res字符串必须包含小数点’.’（即使结果是像下面 sample 1 这样并没有小数部分）。 要求res字符串没有任何多余的前缀字符’0’和后缀字符’0’（即使结果像下面 sample 2 这样没有整数部分）。 注意：虽然要求结果字符串res必须有小数点且没有任何前缀后缀0，但是并不保证字符串a, b满足这两点。

抱歉，我可以回答这个问题。要实现两个正浮点数a, b的精确加法，可以按照以下步骤进行：

1. 将字符串a, b转换为对应的浮点数。
2. 对两个浮点数进行加法运算。
3. 将得到的结果转换为字符串，并按要求去掉前缀后缀0以及添加小数点。

下面是示例代码：

#include <stdio.h>
#include <string.h>
#include <math.h>
#define MAX_LEN 128

int str_to_float(char* str, float* f) {
  char* dot_pos = strchr(str, '.');
  if (dot_pos == NULL) {
    return -1; // 不包含小数点
  }
  int len = strlen(str);
  if (dot_pos - str >= len - 1) {
    return -1; // 小数点后没有数字
  }
  char tmp[MAX_LEN];
  strncpy(tmp, str, dot_pos - str);
  tmp[dot_pos - str] = '\0';
  int integer_part = atoi(tmp);
  float decimal_part = atof(dot_pos);
  *f = integer_part + decimal_part;
  return 0;
}

void float_to_str(float f, char* str) {
  sprintf(str, "%.6f", f); // 将f转换为字符串，保留6位小数
  int len = strlen(str);
  char* dot_pos = strchr(str, '.');
  if (dot_pos != NULL) {
    int decimal_len = len - (dot_pos - str + 1);
    if (decimal_len == 0) {
      // 如果小数部分长度为0，则添加一个0
      sprintf(str + len, "0");
    } else {
      // 去掉前缀0和后缀0
      char* end_pos = str + len - 1;
      while (*end_pos == '0') {
        *end_pos = '\0';
        end_pos--;
      }
      if (*end_pos == '.') {
        *end_pos = '\0';
      }
    }
  } else {
    // 添加一个小数点
    sprintf(str + len, ".");
  }
}

void add_float(char* a, char* b, char* res) {
  float a_f, b_f;
  str_to_float(a, &a_f);
  str_to_float(b, &b_f);
  float sum = a_f + b_f;
  float_to_str(sum, res);
}

int main() {
  char a[MAX_LEN], b[MAX_LEN], res[MAX_LEN];
  scanf("%s %s", a, b);
  add_float(a, b, res);
  printf("%s\n", res);
  return 0;
}