当我编译这段代码时发生错误C6308，说realloc可以返回NULL，并且可能导致内存泄漏

void inf_int:: Sub(const char num, const unsigned int index)    
    {
        if (this->length < index) {
            this->digits = (char*)realloc(this->digits, index + 1);     
            if (this->digits == NULL) {     
                cout << "Memory reallocation failed, the program will terminate." << endl;
    
                exit(0);
            }
    
            this->length = index;                   
            this->digits[this->length] = '\0';
        }
    
        if (this->digits[index - 1] < '0') {    
            this->digits[index - 1] = '0';
        }
    
        this->digits[index - 1] -= num - '0';   
        if (this->digits[index - 1] < '0') {    
            this->digits[index - 1] += 10;  
            Sub('1', index + 1);            
        }
    }

在第四行中，编译器返回错误，realloc 可以返回 null。我添加了第五行 if 为了处理这种情况，并在这种情况下退出程序，但它似乎不起作用。有人可以给我任何关于如何解决这个问题的指示吗？谢谢。

功能realloc在这种情况下可以返回空指针，如果将函数调用的返回值分配给初始指针，则先前分配的内存的地址将丢失。您需要使用中间指针，例如

        char *tmp = (char*)realloc(this->digits, index + 1);     
        if (tmp == NULL) {     
            cout << "Memory reallocation failed, the program will terminate." << endl;
            // free( this->digits ); provided that the destructor does not call free itself
            exit(0);
        }

        this->digits = tmp;
        //...