コンパイルできるのですが実行途中でエラーが

質問

#include<iostream>
#include<cstdlib>
using namespace std;

class stack{
char *stck;
int tos;
int size;
public:
stack(char c);
void push(char ch);
char *pop();
~stack();
};

stack::stack(char c){
tos=0;
stck=(char*)malloc(c);
size=c;
cout<<"生成スタック\n";
if(!stck){
cout<<"メモリ割り当てエラー\n";
exit(1);
}
}

void stack::push(char ch){
if(tos==size){
cout<<"スタックは一杯です\n";
return;
}
*stck=ch;
stck++;
tos++;
}

char *stack::pop(){
if(tos==0){
cout<<"スタックは空です\n";

return 0;
}
stck--;
tos--;
return stck;

}

stack::~stack(){
free(stck);
}

int main(){
stack s1(10),s2(10);
int i;
char *o;
s1.push('a');
s2.push('x');
s1.push('b');
s2.push('y');
s1.push('c');
s2.push('z');

for(i=0;i<5;i++){
o=s1.pop();
cout<<"s1をポップする"<<*o<<"\n";
}
for(i=0;i<5;i++){
o=s2.pop();
cout<<"ｓ２をポップする"<<*o<<"\n";
}
return 0;
}

なんですが、実行した所

生成スタック
生成スタック
s1をポップするc
s1をポップするb
s1をポップするa
スタックは空です

までで止まってしまいます。
たぶんreturn 0の戻り値の型がポインタだから止まってしまうのだろうと思います。
正しく実行するにはどうすればいいのでしょうか？
お願いします。

回答No.5

S117

まじめにstackのクラスを考えるなら、空でないか判定するメンバ関数を足しましょう。
bool stack::isEmpty()
そして、popも戻り値の型を変更します。
char stack::pop()

使用する側ではisEmptyで先に空でないことを判定してからpopします。

さて、不正にpopが呼び出された場合の挙動ですが、素直に作るなら例外を投げるべきです。例外を使用することで、popの戻り値が必ずスタックからポップされた値になるため、うっかり不正な値を使用する危険がなくなります。またエラーの内容もより具体的で的確になります。

不正な呼び出しに対しては不正な値を返すのではなく、例外を返すのが（特別に事情がなければ）もっとも良い選択となるでしょう。

お礼

ありがとうございました。