char ch;
int val;
if( isdigit(ch))
{
  cin.putback(ch);
  cin>>val;
  opnd.push(val);
  cin>>ch;
}

这个代码中的cin.putback()有什么用

把上次讀入的字符放回流中

http://www.