为什么我的C代码为下一个回文提供错误的输出

Question

我有一个C代码（查找下一个最小的回文 ），当我在本地Mac（osx：10.11.4）和ideone中ideone ，对于相同的输入它给出错误的结果。 对于所有输入而言，它并不会出错，但对于某些输入而言，它不会出错。

例如，这里是由ideone运行的： http ://ideone.com/T4tqak

这是我对相同输入的结果：

在本地输入：

8
97795375756122352572879826552151654387112262
1892388497169516734992356528466
19891859448286167812
47737795782241879811566697829238862994263278849942632926438725
857751275744476297149515661
699
5119783738665448121162642286
4177118624313412937235746451

在本地输出：

97795375756122352572877827525322165757359779
1892388497169516159617948832981
19891859444495819891
47737795782241879811566697829233292879666511897814228759773774
857751275744474447572157758
707
5119783738665445668373879115
4177118624313443134268117714

这是C代码供参考：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int all_nine(char* input){
  int result = 1, i;
  for(i = 0; i < strlen(input); ++i){
    if(input[i] != '9')
      return 0;
  }
  return result;
}

char* increase_one(char* input){
  int i;
  for(i = strlen(input) - 1; i >= 0; --i) {
    if(input[i] < '9'){
      input[i] += 1;
      break;
    }
    else{
      input[i] = '0';
    }
  }
  return input;
}


char* increase_make_palin(char* input){
  int input_len = strlen(input);
  int half_len = input_len%2 ? input_len/2 : input_len/2 - 1;
  int carry = 1, i;
  for(i = half_len; i >= 0; --i) {
    int cur_val = input[i] - '0';
    carry = (cur_val + carry) / 10;
    int new_val = (cur_val + carry) % 10;
    input[i] = input[input_len - 1 - i] = '0' + new_val;
  }
  return input;
}
char* next_palin_for_me(char* input){
    int input_len = strlen(input);
    int half_len = input_len/2  - 1, i;
    for(i = half_len; i >= 0; --i) {
      if(input[i] > input[input_len - 1 - i]){
        input[input_len - 1 - i] = input[i];
      } else {
        return increase_make_palin(input);
      }
    }
    return input;
}

char* next_palin(char* input){
  int input_len = strlen(input);
  if(all_nine(input)){
    return next_palin_for_me(increase_one(input));
  }
  if(input_len == 1){
    input[0] += 1;
    return input;
  }
  input = increase_one(input);
  return next_palin_for_me(input);
}

int main() {
  int n, i;
  scanf("%d", &n);
  char input[1000010];
  for(i = 0 ; i < n ; i++){
    scanf("%s", input);
    char* result = next_palin(input);
    printf("%s\n", result);
  }
  return 0;
}

Answer 1

问题在这里：

char* increase_make_palin(char* input){
    ...
    carry = (cur_val + carry) / 10;
    int new_val = (cur_val + carry) % 10;
    ...
}

需要注意的是你改变carry 在使用它之前。 颠倒这两行的顺序，您的代码将按预期工作。

您可以使用8799作为测试输入，以了解其工作原理。 您可以通过调试器逐步解决，或者将失败的情况减少到更简单的情况，从而亲自发现这一点。

至于为什么它用ideone上的错误代码给出了正确的答案（如果确实如此；我还没有尝试过），我只能猜测也许那里的数字编码是不同的，这会给您的“ -'0'“方法。

编辑：

char* increase_make_palin(char* input){
  int input_len = strlen(input);
  int half_len = input_len%2 ? input_len/2 : input_len/2 - 1;
  int carry = 1, i = half_len;
  while(i > 0){
    if(input_len%2 == 0){
      if(input[i] == input[input_len - 1 - i]) {
        i--;
        continue;
      }
      if(input[i] > input[input_len - 1 - i]) {
        carry = 0;
        break;
      }
      else{
        break;
      }
    }
    if(input_len%2){
      if(input[i-1] == input[input_len - i]){
        i--;
        continue;
      }
      if(input[i-1] > input[input_len - i]){
        carry = 0;
        break;
      }
      else{
        break;
      }
    }
  }
  for(i = half_len; i >= 0; --i) {
    int cur_val = input[i] - '0';
    int new_val = (cur_val + carry) % 10;
    carry = (cur_val + carry) / 10;
    input[i] = input[input_len - 1 - i] = '0' + new_val;
  }
  return input;
}