5

私のプログラムは次のようなものです（main.c）：

#include <stdlib.h>
#include <stdio.h>
void main(){
  char *first="hello ";
  char *second="world!";
  char *seq=(char *)malloc((strlen(first)+1)*sizeof(char));
  strcat(strcpy(seq,first),second);
  printf("%s\n",seq);
  free(seq);
}

ツール valgrind でデバッグすると、($:valgrind --tool=memcheck --leak-check=full --track-origins=yes ./main):

==5118== Memcheck, a memory error detector.
==5118== Copyright (C) 2002-2008, and GNU GPL'd, by Julian Seward et al.
==5118== Using LibVEX rev 1884, a library for dynamic binary translation.
==5118== Copyright (C) 2004-2008, and GNU GPL'd, by OpenWorks LLP.
==5118== Using valgrind-3.4.1, a dynamic binary instrumentation framework.
==5118== Copyright (C) 2000-2008, and GNU GPL'd, by Julian Seward et al.
==5118== For more details, rerun with: -v
==5118== 
==5118== Invalid write of size 1
==5118==    at 0x402575B: strcat (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so)
==5118==    by 0x80484EB: main (main.c:7)
==5118==  Address 0x418a02f is 0 bytes after a block of size 7 alloc'd
==5118==    at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so)
==5118==    by 0x80484C3: main (main.c:6)
==5118== 
==5118== Invalid write of size 1
==5118==    at 0x4025777: strcat (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so)
==5118==    by 0x80484EB: main (main.c:7)
==5118==  Address 0x418a034 is 5 bytes after a block of size 7 alloc'd
==5118==    at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so)
==5118==    by 0x80484C3: main (main.c:6)
==5118== 
==5118== Invalid read of size 1
==5118==    at 0x4025963: strlen (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so)
==5118==    by 0x40A0FA4: puts (in /lib/libc-2.10.1.so)
==5118==    by 0x80484F7: main (main.c:8)
==5118==  Address 0x418a02f is 0 bytes after a block of size 7 alloc'd
==5118==    at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so)
==5118==    by 0x80484C3: main (main.c:6)
==5118== 
==5118== Invalid read of size 1
==5118==    at 0x40ACEFE: _IO_default_xsputn (in /lib/libc-2.10.1.so)
==5118==    by 0x40AA3D0: _IO_file_xsputn@@GLIBC_2.1 (in /lib/libc-2.10.1.so)
==5118==    by 0x40A1020: puts (in /lib/libc-2.10.1.so)
==5118==    by 0x80484F7: main (main.c:8)
==5118==  Address 0x418a02f is 0 bytes after a block of size 7 alloc'd
==5118==    at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so)
==5118==    by 0x80484C3: main (main.c:6)
hello world!
==5118== 
==5118== ERROR SUMMARY: 17 errors from 4 contexts (suppressed: 13 from 1)
==5118== malloc/free: in use at exit: 7 bytes in 1 blocks.
==5118== malloc/free: 1 allocs, 0 frees, 7 bytes allocated.
==5118== For counts of detected errors, rerun with: -v
==5118== searching for pointers to 1 not-freed blocks.
==5118== checked 47,492 bytes.
==5118== 
==5118== 
==5118== 7 bytes in 1 blocks are definitely lost in loss record 1 of 1
==5118==    at 0x402522D: malloc (in /usr/lib/valgrind/x86-linux/vgpreload_memcheck.so)
==5118==    by 0x80484C3: main (main.c:6)
==5118== 
==5118== LEAK SUMMARY:
==5118==    definitely lost: 7 bytes in 1 blocks.
==5118==      possibly lost: 0 bytes in 0 blocks.
==5118==    still reachable: 0 bytes in 0 blocks.
==5118==         suppressed: 0 bytes in 0 blocks.

その理由と修正方法を誰が教えてくれますか。

4

5 に答える 5

17 
 char *seq=(char *)malloc((strlen(first)+1)*sizeof(char));

「最初」のサイズの文字列にメモリを割り当てています。

  strcat(strcpy(seq,first),second);

そして、1 番目と 2 番目の両方をその中に収めようとします。それは決してうまくいきません。それ以上のstrcatメモリは作成されません。.malloc

純粋な C では、malloc の結果をキャストする必要はありません。

また、 はsizeof(char)1 であることが保証されているため、実行する必要はありません。タイプが変更された場合に備えてタイプを明示するために、とにかくそこに置くことを好む人もいれば、混乱を招くと考える人もいます。

于 2009-07-15T04:14:03.457 に答える
3

に対応するのはどこfree()ですかmalloc()?

于 2009-07-15T04:36:29.747 に答える
2

first in seq に十分なスペースを割り当てているだけです。

于 2009-07-15T04:13:15.613 に答える
1

seq の長さは (strlen(first)+1)*sizeof(char) だけで、連結された文字列 first + second を保持するには不十分です。

于 2009-07-15T04:14:56.140 に答える
-1

私はその行を見ることができました：

strcat(strcpy(seq,first),second);

間違って組み立てられていません。その理由は、適切なソースを提供していない文字列連結を行っているためです。上記の構文を 2 行に分割すると、問題なく動作します。

strcpy(seq,first); strcat(seq,second);

これは、文字列をコピーすると、文字列が「first」から「seq」にコピーされるためです。さて、文字列の連結については、適切なソースが見つからなかったため [ソースが「seq」であると明確に言及していないことを思い出してください]、無効な書き込みメモリ リークの問題が発生しています。

これで質問が明確になることを願っています。さらに情報が必要な場合は、元に戻してください。

于 2009-07-15T04:15:52.050 に答える