配列で実装されたスタックが満杯かどうか判定する関数を作成したい

Question

前提・実現したいこと

次のプログラムで実装されたスタックがいっぱいかどうか判定する関数

bool istack_full(istackp p);

を作成したいです。
配列がいっぱいのときはtrue、そうでない時はfalseを返します。

用意した配列のサイズを覚えるため、スタックを表す構造体を

struct istack { int ptr; int *arr; int size;};

とし、sizeというメンバに配列サイズを覚えさせます。sizeメンバにはistack_new()の中で配列サイズを設定します。

作成したコード

// istack.h
#include <stdbool.h>
struct istack;
typedef struct istack *istackp;
istackp istack_new(int size); // allocate new stack
bool istack_isempty(istackp p); // test if the stack is empty
bool istack_full(istackp p);    // test if the stack is full
void istack_push(istackp p, int v); // push a value
int istack_pop(istackp p);      // pop a value and return it
int istack_top(istackp p);      // peek the topmost value

// istack.c
#include <stdlib.h>
#include "istack.h"
struct istack { int ptr; int *arr; int size; };
istackp istack_new(int size) {
  istackp p = (istackp)malloc(sizeof(struct istack));
  p->ptr = 0; p->arr = (int*)malloc(size * sizeof(int));
  p->size = sizeof(p->arr); //ここが怪しい
  return p;
}
bool istack_isempty(istackp p) { return p->ptr <= 0; }

bool istack_full(istackp p) { return p->ptr > p->size; } //ポインタptrが配列のサイズより大きい時trueを返す

void istack_push(istackp p, int v) { p->arr[p->ptr++] = v; }
int istack_pop(istackp p) { return p->arr[--(p->ptr)]; }
int istack_top(istackp p) { return p->arr[p->ptr - 1]; }

// test_of_fullstack.c --- 上の関数がきちんと動いているか確認する用
#include <stdio.h>
#include <stdlib.h>
#include "istack.h"

bool test_of_fullstack(char *t) {
  istackp s = istack_new(1); //ここがよくわからない。試しに1を入れてます
  for(int i = 0; t[i] != '\0'; ++i) {
    char c = t[i];
    istack_push(s, c); //スタックに追加
    if(istack_full(s)) { return true; } //istack_fullの結果がtrueならtrueを返し「いっぱい」を出力
  }
}

int main(int argc, char *argv[]) {
  printf("%s\n", test_of_fullstack(argv[1])?"いっぱい":"まだ余裕あり");
  return 0;
}

わからないこと

1

スタックを実装するための配列のサイズをどうやって測定するのか。これでいいのか
  p->size = sizeof(p->arr); //ここが怪しい

2（）ないの数字を変えても出力結果が同じ理由

istackp s = istack_new(1); //ここがよくわからない。試しに1を入れてます

3
istack_new()の中で配列サイズを設定するというのはどういうことなのか

試したこと

コンパイル
$ gcc8 istack.c test_of_fullstack.c

実行
2で(1)としたとき
$ ./a.out 012345678
いっぱい
$ ./a.out 012345
まだ余裕あり

(10)としたとき
$ ./a.out 012345678
いっぱい
$ ./a.out 012345
まだ余裕あり

個人的には
2で(1)としたら、常にいっぱい
(2)としたら、
$./a.out 0
まだ余裕あり
$./a.out 01
いっぱい

と出るのを想定していました。そもそも確認用コードが間違っている可能性もありますが。。。よろしくお願いします。

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Answer 1

p->size = sizeof(p->arr); //ここが怪しい

sizeof(p->arr)は、arrのサイズ(=ポインタのサイズ、固定値)になります。arrが指す領域のサイズを入れようとしているようですが、スタックの要素数を入れるのがいいでしょう。例) p->size = size;
というか

bool istack_full(istackp p) { return p->ptr > p->size; }

こっちの関数はそういう想定になってますよね。

2（）ないの数字を変えても出力結果が同じ理由

前述の通り

Comments

[yomoanyan]

ありがとうございました。できました〜！

Answer 2

struct istack;

istack の定義がありません
答えようがないです

Comments

[dodox86]

istack.cの方で宣言してます。