定义函数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 点击复制后，将打开C知道体验页

下面是实现两个正浮点数精确加法的函数add_float：

void add_float(char* a, char* b, char* res)
{
    int len_a = strlen(a);
    int len_b = strlen(b);
    int dot_pos_a = strchr(a, '.') - a; // 小数点在字符串a中的位置
    int dot_pos_b = strchr(b, '.') - b; // 小数点在字符串b中的位置
    int len_res = 0; // 结果字符串的长度
    int carry = 0; // 进位标志

    // 把a和b的小数点移动到同一位置，方便计算
    if (dot_pos_a > dot_pos_b) {
        for (int i = dot_pos_b; i < dot_pos_a; i++) {
            b[i] = b[i + 1];
        }
        b[dot_pos_a] = '.';
        dot_pos_b = dot_pos_a;
    }
    else if (dot_pos_a < dot_pos_b) {
        for (int i = dot_pos_a; i < dot_pos_b; i++) {
            a[i] = a[i + 1];
        }
        a[dot_pos_b] = '.';
        dot_pos_a = dot_pos_b;
    }

    // 计算结果字符串的整数部分
    for (int i = dot_pos_a - 1, j = dot_pos_b - 1; i >= 0 || j >= 0; i--, j--) {
        int num_a = (i >= 0 ? a[i] - '0' : 0);
        int num_b = (j >= 0 ? b[j] - '0' : 0);
        int sum = num_a + num_b + carry;
        res[len_res++] = sum % 10 + '0';
        carry = sum / 10;
    }

    // 如果有进位，需要在结果字符串的最高位加1
    if (carry) {
        res[len_res++] = '1';
    }

    // 翻转结果字符串，得到正确的整数部分
    for (int i = 0, j = len_res - 1; i < j; i++, j--) {
        char temp = res[i];
        res[i] = res[j];
        res[j] = temp;
    }

    // 在结果字符串中插入小数点
    res[len_res++] = '.';

    // 计算结果字符串的小数部分
    for (int i = dot_pos_a + 1, j = dot_pos_b + 1; i < len_a || j < len_b; i++, j++) {
        int num_a = (i < len_a ? a[i] - '0' : 0);
        int num_b = (j < len_b ? b[j] - '0' : 0);
        int sum = num_a + num_b + carry;
        res[len_res++] = sum % 10 + '0';
        carry = sum / 10;
    }

    // 如果有进位，需要在结果字符串中加上进位
    while (carry) {
        res[len_res++] = carry % 10 + '0';
        carry /= 10;
    }

    // 去掉结果字符串中的前缀0
    while (len_res > 1 && res[len_res - 1] == '0') {
        len_res--;
    }

    // 如果最后一位是小数点，也要去掉
    if (res[len_res - 1] == '.') {
        len_res--;
    }

    // 翻转结果字符串，得到最终结果
    for (int i = 0, j = len_res - 1; i < j; i++, j--) {
        char temp = res[i];
        res[i] = res[j];
        res[j] = temp;
    }
}

这个函数的实现思路是：

1. 先将a和b的小数点移动到同一位置，方便计算。
2. 从小数点往前逐位计算结果字符串的整数部分，注意进位。
3. 如果有进位，需要在结果字符串的最高位加1。
4. 翻转整数部分的字符串，得到正确的整数部分。
5. 在结果字符串中插入小数点。
6. 从小数点往后逐位计算结果字符串的小数部分，注意进位。
7. 如果有进位，需要在结果字符串中加上进位。
8. 去掉结果字符串中的前缀0和小数点后面的0。
9. 翻转结果字符串，得到最终结果。

注意在实现过程中要注意细节，例如字符串长度的计算、进位标志的使用、小数点的处理等等。