DIY评论卸妆无法正常工作，我在做什么错？ （无效读取的大小为1，segfault）

Question

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

char *delete_comments(char *input) {
    unsigned int i = 0;
    unsigned int a = 0;

    char* dest = malloc(    (strlen(input) + 1) * sizeof(char)  );

    while (i < strlen(input)) {
         if(input[i] == '/' && input[i + 1] == '/') {
            while (input[i - 1] != '\n') {
            }         
         }
         else if (input[i] == '/' && input[i+1] == '*') {
            while (input[i-1] != '*' || input[i] != '/') {
                i++;
            }
         }

         dest[a] = input[i];
         i++;
         a++;
    }

    free(input); 
    return dest;
}

构建日志：

make -C test valgrind
make[1]: Entering directory '/home/agent/test'
sed -e 's/int[ \t]\{1,\}main[ \t]*[(]/int _no_main(/g;s/void[ \t]\{1,\}main[ \t]*[(]/void _no_main(/g;s/^main[ \t]*[(]/_no_main(/g' ../src/source.c >../src/source.c.nomain.c
gcc -pthread -g -Wall -Wvla -std=c99 -o test test_source.c tmc-check.c checkhelp.c ../src/source.c.nomain.c -lcheck_pic -pthread -lrt -lm -lsubunit
valgrind -q --log-file=valgrind.log --track-origins=yes --leak-check=yes ./test
Running suite(s): Test-08_cleaner
0%: Checks: 1, Failures: 0, Errors: 1
test_source.c:67:E:test_delete_comments:test_delete_comments:0: (after this point) Received signal 11 (Segmentation fault)
make[1]: Leaving directory '/home/agent/test'

Valgrind output:
==44== Invalid read of size 1
==44==    at 0x402FB9: delete_comments (source.c.nomain.c:19)
==44==    by 0x401E3D: test_delete_comments (test_source.c:74)
==44==    by 0x406DE2: srunner_run (in /home/agent/test/test)
==44==    by 0x402492: tmc_run_tests (tmc-check.c:134)
==44==    by 0x402127: main (test_source.c:206)
==44==  Address 0x105b3cc4f is not stack'd, malloc'd or (recently) free'd
==44== 
==44== 
==44== Process terminating with default action of signal 11 (SIGSEGV): dumping core
==44==  Access not within mapped region at address 0x105B3CC4F
==44==    at 0x402FB9: delete_comments (source.c.nomain.c:19)
==44==    by 0x401E3D: test_delete_comments (test_source.c:74)
==44==    by 0x406DE2: srunner_run (in /home/agent/test/test)
==44==    by 0x402492: tmc_run_tests (tmc-check.c:134)
==44==    by 0x402127: main (test_source.c:206)
==44==  If you believe this happened as a result of a stack
==44==  overflow in your program's main thread (unlikely but
==44==  possible), you can try to increase the size of the
==44==  main thread stack using the --main-stacksize= flag.
==44==  The main thread stack size used in this run was 2048000

这是代码和valgrind报告。 我究竟做错了什么？ 这是用C语言编写的注释删除程序的代码。我试图查看以前关于无效读取大小和段错误的线程，但我并没有真正解决我的问题。 我知道如果删除任何注释，我会分配过多的内存，但是我不认为这会引起问题吗？

编辑：哦，如果您需要用于测试此功能的主要功能，我也可以附加它。

Answer 1

您有一个永久循环

        while (input[i - 1] != '\n') {
        }

这无处可去。 您至少需要在每次迭代中更新循环变量i 。

Answer 2

段发生在这里：

while (input[i - 1] != '\n') ...

您的柜台i是一个未签名的整数。 开始时，您有i == 0而i - 1是一个非常大的数字，可能是2³²−1。这可能会导致段错误。

请注意，Valgrind说该地址不是“堆栈的，malloc的”。 通常，如果您突破了数组的界限，它会说有问题的地址是“超出malloc的内存一个字节”或类似的东西。

将unsigned int用作计数器是一个不错的选择，但是在向后移动时要小心。 就您而言，您根本不需要向后看：您应该超越// ，然后根据需要向前移动。

strlen()一句：在循环条件下测试strlen()在C语言中并不是一个好主意，因为strlen遍历整个字符串并寻找空终止符。 一个聪明的编译器可能会优化它，但是最好只计算一次字符串长度，或者测试“ input [i]！='\\ 0'是否更好。

在跳过带有否定条件的字符时，也需要考虑终止空值。 例如，仅检查当前字符是否不是换行符还不够。 您还必须确保它不是空终止符：

while (input[i] && input[i] != '\n') i++;