Token_value get_token() //Token_value是霉举型
{
 char ch=0;
 cin>>ch;
 switch(ch)
 {
 case 0 :
  return curr_tok=END;
 case ';':
 case '*':
 case '/':
 case '+':
 case '-':
 case '(':
 case ')':
 case '=':
  return curr_tok = Token_value(ch);
 case '0': case '1': case '2': case '3': case '4':
 case '5': case '6': case '7': case '8': case '9':
 case '.':
  cin.putback(ch);
  cin>>number_value;
  return curr_tok = NUMBER;
 default :
  if(isalpha(ch))
  {
   cin.putback(ch);
   cin>>string_value;
   return curr_tok = NAME;
  }
  error("bad token");
  return curr_tok = PRINT;
 }
}

其中cin.putback()是什么函数啊？