C ++ while循环奇怪的行为

Question

我正在用C ++写一段代码，将一个char数组作为输入，其中包含一个类似JSON的文本。 这个想法是从JSON获取值。

给出错误的函数如下：

variable * getVariableInfo(const char * variableInfo){
        /*get {...}*/
        printf("%s\n",variableInfo);
        int start, countWord=0;
        int order=-1, type=-1;
        char * value;
        variable * returnValue;
        const char * aux;
        while(*(variableInfo++)){
            if(*variableInfo=='"'){
                variableInfo++;
                aux=variableInfo;
                countWord=0;
                while(*(variableInfo++)!='"'){
                    countWord++;
                }
                char *word = (char *) calloc(1, sizeof(char) * ( countWord + 1 ) );
                strncpy(word, aux, countWord);
                word[countWord]='\0';
                printf("\nWORD %s", word);

                while(*(variableInfo++)!='"');
                aux=variableInfo;
                countWord=0;
                while(*(variableInfo++)!='"'){
                    countWord++;
                }
                char *str = (char *) calloc(1, sizeof(char) * ( countWord + 1 ) );
                strncpy(str, aux, countWord);
                str[countWord]='\0';
                printf("\nSTR %s\n",str);
                if(strcmp(word,ORDER)==0){
                        order=a2i(str);
                        printf("ORDER = %i", order);
                }
                /*TYPE*/
                else if(strcmp(word,TYPE)==0){
                        if(strcmp(str, valueINT)==0) type=TYPE_INT;
                        else if(strcmp(str, valueSTR)==0) type=TYPE_STRING;
                        else if(strcmp(str, valueBOOL)==0) type=TYPE_BOOLEAN;
                        else return 0;
                        printf("TYPE = %i", type);
                /*VALUE*/
                }
                else if(strcmp(word,VALUE)==0){
                        value =  (char *) calloc(1, sizeof(char) * ( countWord + 1 ) );
                        strncpy(value, str, countWord);
                        value[countWord]='\0';
                        printf("VALUE = %s", value);
                }
                else{
                        printf("ELSE");
                        return 0;
                }
            }
            printf("\nCHAR %c\n---------", *variableInfo);
        }

        printf("Pass");
        if(type==-1||order==-1||!value){
            if(!type) printf("NOT");
            if(!order) printf("NOO");
            if(!value) printf("NOV");
            return 0;
        } 
        returnValue = (variable *) calloc(1,sizeof(variable)+(sizeof(char)*(strlen(value)+1)));
        returnValue->order=order;
        returnValue->type=type;
        strncpy(returnValue->value,value,strlen(value));
        returnValue->value[strlen(value)]='\0';
        return returnValue;
}

变量“ variableInfo”是从另一个函数发送的，并按照以下操作从aux指针创建，该aux指针包含原始的完整JSON式文本：

variableInfo = (char *) calloc(1, sizeof(char) * ( countWord + 1 ) );
strncpy(variableInfo, aux, countWord);
variableInfo[countWord]='\0';                               
variables[variableCount]=getVariableInfo(variableInfo);

如您所见，我添加了一些printf，输出如下所示：

{"ORDER":"0","TYPE":"int","VALUE":"9999"}

WORD ORDER
STR 0
ORDER = 0
CHAR ,
---------
WORD TYPE
STR int
TYPE = 0
CHAR ,
---------
WORD VALUE
STR 9999
VALUE = 9999
CHAR }
---------
CHAR 
Segmentation fault (core dumped)

我打印了“ variableInfo”变量，它显示了应该发送到“ getVariableInfo”函数的正确文本，然后正确地从类似JSON的文本中获取ORDER，TYPE和VALUE的值。 但是，我得到了分段错误错误，因为while的最后一轮，即使最后一个char为'\\ 0'，它也仍然停留在while循环中（请参阅输出“ CHAR}”应该是上一次，下一次检查while语句应该结束它，但随后显示“ CHAR”）。

谢谢你的帮助。

亲切的问候。

Answer 1

您正在使用后递增运算符来递增variableInfo 。 该运算符返回旧指针值的副本，该副本不指向\\0 。 使用预增量代替：

while(*(++variableInfo))

预增值将返回增值。 有关增加前和增加后的更多信息，请参见此问题 。

Answer 2

在这种情况下，如果我要调试，则可以选择存储'variableinfo'的原始值并打印'variableinfo-originalPointer'-以获取合理的索引值。

我没有C编译器，但是我确实想知道您的while循环：也许

while (*(variableinfo++)=='"') 

总是增加'variableinfo'。 如果是这样，可以将其增加3倍（三个while循环），然后再检查是否可以到达字符串的末尾。 如果是这种情况，它可以越过字符串的结尾，而不会检测到它越过了字符串的结尾。

解决方案：（1）将while循环拆开以使增量明确，（2）在增加字符串指针时始终检查“ \\ 0”：

while(*variableinfo == '"' && *variableinfo!='\0')
{
    variableinfo++;
}

并可能：

if ('\0' == *variableinfo)
    break;

立即退出最外层循环。