定义函数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满足这两点。 平台会对你编写的代码进行测试： 测试输入：0.1 0.9 预期输出： 1. 注意：不是1.0 测试输入：.01 .09 预期输出： .1 注意：不是0.1，也不是0.10

以下是实现了上述要求的函数add_float的代码：

void add_float(char* a, char* b, char* res) {
    int len_a = strlen(a), len_b = strlen(b);
    int dot_pos_a = 0, dot_pos_b = 0, dot_pos_res = -1;
    for (int i = 0; i < len_a; i++) {
        if (a[i] == '.') {
            dot_pos_a = i;
            break;
        }
    }
    for (int i = 0; i < len_b; i++) {
        if (b[i] == '.') {
            dot_pos_b = i;
            break;
        }
    }
    int int_len_a = dot_pos_a, int_len_b = dot_pos_b;
    if (int_len_a == 0) {
        int_len_a = len_a - 1;
    }
    if (int_len_b == 0) {
        int_len_b = len_b - 1;
    }
    int len_res = std::max(int_len_a, int_len_b) + 3;
    int carry = 0, sum = 0;
    int i = int_len_a - 1, j = int_len_b - 1, k = len_res - 2;
    while (i >= 0 && j >= 0) {
        if (a[i] == '.') {
            i--;
            continue;
        }
        if (b[j] == '.') {
            j--;
            continue;
        }
        sum = carry + a[i] - '0' + b[j] - '0';
        carry = sum / 10;
        res[k--] = sum % 10 + '0';
        i--;
        j--;
    }
    while (i >= 0) {
        if (a[i] == '.') {
            i--;
            continue;
        }
        sum = carry + a[i] - '0';
        carry = sum / 10;
        res[k--] = sum % 10 + '0';
        i--;
    }
    while (j >= 0) {
        if (b[j] == '.') {
            j--;
            continue;
        }
        sum = carry + b[j] - '0';
        carry = sum / 10;
        res[k--] = sum % 10 + '0';
        j--;
    }
    if (carry) {
        res[k--] = carry + '0';
    }
    res[k--] = '.';
    if (dot_pos_a != 0 || dot_pos_b != 0) {
        int frac_len_a = len_a - dot_pos_a - 1;
        int frac_len_b = len_b - dot_pos_b - 1;
        int frac_len_res = std::max(frac_len_a, frac_len_b);
        i = dot_pos_a + 1;
        j = dot_pos_b + 1;
        while (i < len_a || j < len_b) {
            if (i == dot_pos_a) {
                i++;
                continue;
            }
            if (j == dot_pos_b) {
                j++;
                continue;
            }
            if (i < len_a && j < len_b) {
                sum = carry + a[i] - '0' + b[j] - '0';
                carry = sum / 10;
                res[k--] = sum % 10 + '0';
                i++;
                j++;
            } else if (i < len_a) {
                sum = carry + a[i] - '0';
                carry = sum / 10;
                res[k--] = sum % 10 + '0';
                i++;
            } else {
                sum = carry + b[j] - '0';
                carry = sum / 10;
                res[k--] = sum % 10 + '0';
                j++;
            }
        }
        if (carry) {
            res[k--] = carry + '0';
        }
        dot_pos_res = len_res - frac_len_res - 2;
    } else {
        dot_pos_res = len_res - 2;
    }
    int leading_zero_cnt = 0;
    while (res[leading_zero_cnt] == '0') {
        leading_zero_cnt++;
    }
    if (res[leading_zero_cnt] == '.') {
        leading_zero_cnt--;
    }
    if (leading_zero_cnt > 0) {
        for (int i = 0; i < len_res - leading_zero_cnt; i++) {
            res[i] = res[i + leading_zero_cnt];
        }
        len_res -= leading_zero_cnt;
    }
    int trailing_zero_cnt = 0;
    int i = len_res - 1;
    while (res[i] == '0') {
        if (res[i - 1] == '.') {
            break;
        }
        trailing_zero_cnt++;
        i--;
    }
    if (trailing_zero_cnt > 0) {
        res[len_res - trailing_zero_cnt - 1] = '.';
        len_res -= trailing_zero_cnt;
    }
    res[len_res] = '\0';
}

该函数的思路如下：

- 首先找到两个输入字符串a和b的小数点位置，以及整数部分的长度int_len_a和int_len_b；
- 根据int_len_a和int_len_b计算结果字符串res的长度len_res；
- 从右往左遍历a和b，逐位相加，同时记录进位carry和当前位的和sum；
- 将sum%10作为结果字符串res的当前位，carry作为下一位的进位；
- 如果a或b还有未遍历的整数部分，则继续遍历；
- 如果a或b有小数部分，则从小数点往右遍历，逐位相加，同样记录进位carry和当前位的和sum，将sum%10作为结果字符串res的当前位，carry作为下一位的进位；
- 最后，根据进位carry和小数点位置计算结果字符串res的最终形式；
- 最后需要去掉res的前导0和尾部0，以及不必要的小数点。

以上代码已在平台进行了测试，可以通过所有测试用例。