編集履歴

質問編集履歴

誤字修正

2020/04/27 00:53

投稿

aardvark

スコア17

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -474,7 +474,7 @@
-このように、smatrix_readやsmatrix_transposesmatrix_freeで新しい行列を作成し、そこに順次リストの要素を挿入していく際に確保したリスト要素のメモリはsmatrix_freeやその中のslist_freeで全て解放しているはずなのですが、どうやら全部解放しきれていないようです。(問題がありそうな個所はコードの中でその旨をコメントしておきました)
+このように、smatrix_readやsmatrix_transposesで新しい行列を作成し、そこに順次リストの要素を挿入していく際に確保したリスト要素のメモリはsmatrix_freeやその中のslist_freeで全て解放しているはずなのですが、どうやら全部解放しきれていないようです。(問題がありそうな個所はコードの中でその旨をコメントしておきました)

コードを編集し、valgrindを使ってデバッグした結果を追加しました

2020/04/27 00:53

投稿

aardvark

スコア17

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -18,6 +18,8 @@
+編集：コードが長ったらしい上に、実際valgrindでどういう出力があったのかについては全く言及しておりませんでしたね。大変失礼いたしました。
 ```C
 #include <stdio.h>
@@ -28,9 +30,11 @@
-#define NEW(p, n){p = malloc((n)*sizeof(p[0]));}
+#define NEW(p, n){p = malloc((n)*sizeof(p[0]));} //動的メモリ確保の関数
+//リストの要素の構造体
 typedef struct slobj_{
@@ -44,6 +48,8 @@
+//リストの構造体
 typedef struct{
     slobj head;
@@ -54,15 +60,19 @@
+//疎行列の構造体(リストの配列ということ)
 typedef struct{
     int n,m;
     slist* A;
-} smatrix;
+} smatrix;
+//新しいリストを作成
 slist slist_new(void){
@@ -80,6 +90,8 @@
+//新しいリストの要素を作成
 slobj slobj_new(int x, double y){
     slobj p;
@@ -98,6 +110,8 @@
+//リストの先頭に挿入
 void slist_insert_head(slist L, slobj p){
     p -> next = L -> head;
@@ -108,6 +122,8 @@
+//リストの末尾に挿入
 void slist_insert_tail(slist L, slobj p){
     if(L -> head == NULL){
@@ -138,6 +154,8 @@
+//リストをプリント
 void slist_print(slist L)
 {
@@ -160,6 +178,8 @@
+//新しい疎行列を作成
 smatrix smatrix_new(int n, int m){
     smatrix S;
@@ -184,185 +204,159 @@
+//標準出力から行列を読み込み、別のメモリに記憶しておく
 smatrix smatrix_read(void){
     smatrix S;
+    int i, n, m, j;
+    double v;
+    scanf("%d", &n);
+    scanf("%d", &m);
+    S = smatrix_new(n, m);
+    for(i = 0; i <= n-1; i++){
+        while(1){
+            scanf("%d", &j);
+            if (j < 0){
+                break;
+            }
+            scanf("%lf", &v);
+            slist_insert_tail(S.A[i], slobj_new(j ,v));
+//このときslobj_newで確保したメモリがslist_freeで解放できていないようです
+        }
+    }
+    return S;
+}
+//疎行列をプリント
+void smatrix_print(smatrix S){
+    int i;
+    printf("%d ", S.n);
+    printf("%d\n", S.m);
+    for(i = 0; i <= S.n-1; i++){
+        slist_print(S.A[i]);
+        printf("%d\n", -1);
+    }
+}
+//疎行列の転置を作成・出力
+smatrix smatrix_transpose(smatrix S){
+    int i, k;
+    double x;
     slobj p;
-    int i, n, m, j;
-    double v;
+    smatrix T;
-    scanf("%d", &n);
-    scanf("%d", &m);
-    S = smatrix_new(n, m);
+    T = smatrix_new(S.m, S.n);
-    for(i = 0; i <= n-1; i++){
+    for(i = 0; i <= S.n-1; i++){
+        p = S.A[i]->head;
         while(1){
-            scanf("%d", &j);
-            if (j < 0){
+           if(p==NULL){
-                break;
+               break;
-            }
+           }
-            scanf("%lf", &v);
-            p->j = j;
+           k = p->j;
-            p->v = v;
+           x = p->v;
-            p=slobj_new(j,v);
-            slist_insert_tail(S.A[i], p);
+           slist_insert_tail(T.A[k-1], slobj_new(i+1, x));
+//このときslobj_newで確保したメモリがslist_freeで解放できていないようです
+           p = p->next;
         }
     }
-    return S;
+    return T;
-}
+}
+//リストのメモリを解放
+void slist_free(slist L){
+    slobj p, q, r;
+    p = L->head;
+    q = p->next;
+    while (q != NULL){
+        r = q;
+        q = q-> next;
+        free(p);
+        p = r;
+    }
+    free(L);
+}
+//疎行列のメモリを解放(リストを順にfreeしているつもりです)
-void smatrix_print(smatrix S){
+void smatrix_free(smatrix S){
     int i;
-    printf("%d ", S.n);
-    printf("%d\n", S.m);
     for(i = 0; i <= S.n-1; i++){
-        slist_print(S.A[i]);
-        printf("%d\n", -1);
-    }
-}
-smatrix smatrix_transpose(smatrix S){
-    int i, k;
-    double x;
-    slobj p, q;
-    smatrix T;
-    T = smatrix_new(S.m, S.n);
-    for(i = 0; i <= S.n-1; i++){
-        p = S.A[i]->head;
-        while(1){
-           if(p==NULL){
-               break;
-           }
-           k = p->j;
-           x = p->v;
-           q = slobj_new(i+1, x);
-           slist_insert_tail(T.A[k-1], q);
-           p = p->next;
-        }
-    }
-    return T;
-}
-void slist_free(slist L){
-    slobj p, q, r;
-    p = L->head;
-    q = p->next;
-    while (q != NULL){
-        r = q;
-        q = q-> next;
-        free(p);
-        p = r;
-    }
-    free(L);
-}
-void slist_freerows(slist *L){
-    slobj p, q, r;
-    p = (*L) -> head;
-    q = p->next;
-    while (q != NULL){
-        r = q;
-        q = q-> next;
-        free(p);
-        p = r;
-    }
-    free(L);
-}
-void smatrix_free(smatrix S){
-    int i;
-    for(i = 0; i <= S.n-1; i++){
-        if(S.A[i]->head != NULL){
             slist_free(S.A[i]);
-        }
+    }
-    }
-    slist_freerows(S.A);
+    free(S.A);
 }
@@ -389,3 +383,99 @@
 }
 ```
+valgrindでの出力は以下の通りでした。
+```valgrind
+valgrind --leak-check=full ./a.out
+==152== Memcheck, a memory error detector
+==152== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
+==152== Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info
+==152== Command: ./a.out
+==152==
+==152== error calling PR_SET_PTRACER, vgdb might block
+2 3
+1 1.0 2 2.0 3 3.0 -1
+1 4.0 2 5.0 3 6.0 -1
+3 2
+1 1.000000 2 4.000000 -1
+1 2.000000 2 5.000000 -1
+1 3.000000 2 6.000000 -1
+==152==
+==152== HEAP SUMMARY:
+==152==     in use at exit: 120 bytes in 5 blocks
+==152==   total heap usage: 21 allocs, 16 frees, 8,600 bytes allocated
+==152==
+==152== 48 bytes in 2 blocks are definitely lost in loss record 1 of 2
+==152==    at 0x4C2FB0F: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
+==152==    by 0x1087F6: slobj_new (42.c:33)
+==152==    by 0x108A5A: smatrix_read (42.c:97)
+==152==    by 0x108CED: main (42.c:158)
+==152==
+==152== 72 bytes in 3 blocks are definitely lost in loss record 2 of 2
+==152==    at 0x4C2FB0F: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
+==152==    by 0x1087F6: slobj_new (42.c:33)
+==152==    by 0x108BD2: smatrix_transpose (42.c:127)
+==152==    by 0x108D08: main (42.c:159)
+==152==
+==152== LEAK SUMMARY:
+==152==    definitely lost: 120 bytes in 5 blocks
+==152==    indirectly lost: 0 bytes in 0 blocks
+==152==      possibly lost: 0 bytes in 0 blocks
+==152==    still reachable: 0 bytes in 0 blocks
+==152==         suppressed: 0 bytes in 0 blocks
+==152==
+==152== For counts of detected and suppressed errors, rerun with: -v
+==152== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
+```
+このように、smatrix_readやsmatrix_transposesmatrix_freeで新しい行列を作成し、そこに順次リストの要素を挿入していく際に確保したリスト要素のメモリはsmatrix_freeやその中のslist_freeで全て解放しているはずなのですが、どうやら全部解放しきれていないようです。(問題がありそうな個所はコードの中でその旨をコメントしておきました)
+slist_freeの記述がおかしいのでしょうか。