配列の途中の要素を消す方法

Question

下の例のよう整数のリストが与えられ、重複を一番左の要素から消して、それをreturnする関数を作成しようと思っています。(codewarsのこの問題ですhttps://www.codewars.com/kata/5ba38ba180824a86850000f7/train/c)
特に、重複があったときに重複部分を左端から取り除くという部分がどのようにするか、自分で書いたコードだとその部分をややこしく書いてしまっている感じがするので、良い方法があれば教えていただきたいです。また、それ以外に部分でもコードにおかしなところがあると思うので、それも指摘していただければありがたいです。

solve [3, 4, 4, 3, 6, 3]-- => [4, 6, 3]
-- Remove the 3's at indices 0 and 3
-- followed by removing a 4 at index 1

 [1, 2, 1, 2, 1, 2, 3] →　[1, 2, 3]
 [1, 1, 4, 5, 1, 2, 1] → [4, 5, 2, 1]

コード

#include <stdlib.h>
#include <stddef.h>

int* solve(const int* arrin, size_t szin, size_t *szout) {
  // NB: assign the length of your return array to the provided *szout
  int i, arsize = (int)szin;
  int *base = malloc(arsize);  
  *base = *arrin; //arrinがconstなのでbaseにアドレスをコピー


  for(i = 1; i < arsize; i++)
  {
      int count = 0;
      if(base[0] == base[i])count++;
    
      if(count != 0)  //重複があれば要素の2番目から先頭に詰める
      {
        arsize--;
        for(int j = 1, k = 0; j < arsize; j++, k++)
        {
          base[k] = base[j];
          i = 1;
          
        }
      }
      
    
      
   }
  

    *szout = (size_t)arsize;
    return base;
}

エラー(テストコードにconstを付けた結果)

fixture.c:49:29: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
    ASSERT_ARR_EQ(expected, exp_len, submission, sub_len);
    ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
fixture.c:35:34: note: expanded from macro 'ASSERT_ARR_EQ'
        printf("Expected  %i\n", exp);                           \
                          ~~     ^~~
fixture.c:49:50: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
    ASSERT_ARR_EQ(expected, exp_len, submission, sub_len);
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
fixture.c:36:36: note: expanded from macro 'ASSERT_ARR_EQ'
        printf("Submitted %i\n\n", sub);                         \
                          ~~       ^~~
fixture.c:59:29: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
    ASSERT_ARR_EQ(expected, exp_len, submission, sub_len);
    ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
fixture.c:35:34: note: expanded from macro 'ASSERT_ARR_EQ'
        printf("Expected  %i\n", exp);                           \
                          ~~     ^~~
fixture.c:59:50: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
    ASSERT_ARR_EQ(expected, exp_len, submission, sub_len);
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
fixture.c:36:36: note: expanded from macro 'ASSERT_ARR_EQ'
        printf("Submitted %i\n\n", sub);                         \
                          ~~       ^~~
fixture.c:70:29: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
    ASSERT_ARR_EQ(expected, exp_len, submission, sub_len);
    ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
fixture.c:35:34: note: expanded from macro 'ASSERT_ARR_EQ'
        printf("Expected  %i\n", exp);                           \
                          ~~     ^~~
fixture.c:70:50: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
    ASSERT_ARR_EQ(expected, exp_len, submission, sub_len);
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
fixture.c:36:36: note: expanded from macro 'ASSERT_ARR_EQ'
        printf("Submitted %i\n\n", sub);                         \
                          ~~       ^~~
fixture.c:80:29: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
    ASSERT_ARR_EQ(expected, exp_len, submission, sub_len);
    ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
fixture.c:35:34: note: expanded from macro 'ASSERT_ARR_EQ'
        printf("Expected  %i\n", exp);                           \
                          ~~     ^~~
fixture.c:80:50: warning: format specifies type 'int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat]
    ASSERT_ARR_EQ(expected, exp_len, submission, sub_len);
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
fixture.c:36:36: note: expanded from macro 'ASSERT_ARR_EQ'
        printf("Submitted %i\n\n", sub);                         \
                          ~~       ^~~
8 warnings generated.

Comments

[maisumakun]

提示されたコードとエラーメッセージでsolveの定義が違うようですが、どちらが正しいのですか？

[Merrifield]

どこかが違うのか分からなかったのですが、問題としては最初に
int* solve(const int* arrin, size_t szin, size_t *szout)
のように与えられていたので、これで正しいと思います。
文字数の関係で質問文には載せられなかったのですが、https://www.codewars.com/kata/5ba38ba180824a86850000f7/train/c
内のSample Testsを見ていただければ分かるかもしれません。

[maisumakun]

> どこかが違うのか分からなかったのですが

エラーメッセージには「int* solve(int* arrin, size_t szin, size_t *szout);」と、constなしのものが出力されています。

[Merrifield]

確かにそうですね。sample testのほうのコードにconstが付いていなかったです。これに関してエラーが出ている感じですかね。sample testnほうに自分でconstをつけたらwarningが減ったので、もしかしたらサイト側のミスかもしれません。ただ、ほかの回答者を見る限り、回答ではconstを付けたままコードを書いているので、constを付けた状態でコードを書きたいと思います。

[Daregada]

テスト用コードのほうのプロトタイプ宣言に「int* solve(int* arrin, size_t szin, size_t *szout);」と書いてあるんですよねえ。

[Merrifield]

Daregadaさん

その部分がサイト側のミスか分からないのですが、テストコードに自分でconstをつけるとエラーが減ったので、関数側ではconstを付けたままコードを作成します。

[mjk]

回答は控えますが自分なら逆順から走査した方がすっきり実装出来そうかなと問題を見て直感しました。（未実装未検証なのであしからず）

[Merrifield]

mjkさんありがとうございます。その方法も考えてみます。

Answer 1

int *base = malloc(arsize);
mallocで確保した領域の先頭アドレスを、baseに書き込みます。

*base = *arrin; //arrinがconstなのでbaseにアドレスをコピー
baseは領域の先頭アドレスですので、*baseは、そのアドレスへのアクセスです。
同様に、arrinは領域の先頭アドレスですので、*arrinは、そのアドレスへのアクセスです。
なので、その内容はbase[0]=arrin[0];と同じです。アドレスのコピーにはなりません。
また、もし仮にアドレスをコピーしてしまっていたら、mallocで確保した領域へのアドレスを失うので、
そのメモリをリークしてしまいます。

その後のコードは、
「1文字目とそれ以外の文字を比較して」
「同じ文字が出るまではスキップし」
「同じ文字が一つでも出たら」
「2文字目以降をずらしてコピーし」
「以降無限ループ」
というコードになってしまっているので、
とりあえずは、何をするかのロジックを言葉で書いてみて、
やることを整理をしてからコードに手を付けた方が良いかと思います。