AtCoderABC049C out_of_rangeの理由

Question

前提・実現したいこと

AtCoderのABC049C-白昼夢に関する質問です。https://atcoder.jp/contests/abc049/tasks/arc065_a?lang=ja
#####問題文
英小文字からなる文字列Sが与えられ、Tが空文字列である状態から始め、「Tの末尾にdream,dreamer,erase,eraserのいずれかを追加する。」という操作を好きな回数繰り返すことでS=TとすることができるかをYESかNOで判定します。

後ろに特定の文字列があれば除去していく方法で考えました。
下記のソースコードを試したところ、いくつかのテストケースで実行時エラーが出たので改善点をご教授願いたいです。

該当のソースコード

#include<iostream>
#include<string>
using namespace std;
int main(){
  string s;
  cin >> s;
  string v[4]={"dream","dreamer","erase","eraser"};
  string ans[2]={"YES","NO"};
  int ans_flag=0;
  while(s.size()>0){
    int flag=0;
    for(int i=0;i<4;i++){
      if(s.rfind(v[i])==s.size()-v[i].size()){
        s=s.erase(s.rfind(v[i]));
        flag=1;
        break;
      }
    }
    if(flag==0){
      ans_flag=1;
      break;
    }
  }
  cout << ans[ans_flag] << endl;
  return 0;
}

発生している問題・エラーメッセージ

terminate called after throwing an instance of 'std::out_of_range'
  what():  basic_string::erase: __pos (which is 18446744073709551615) > this->size() (which is 6)

試したこと

テストケースは公開されていません。
色々試した結果、Sの始めを"eraser"にしたときのみ上記のエラーが出ます。
自分ではどの場合にout_of_rangeになっているのか分かりませんでした。

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

C++ (GCC 9.2.1)

Answer 1

if(s.rfind(v[i])==s.size()-v[i].size()){

sがeraserで、v[i]がdreamerのとき、
rfind()で npos=-1 が返るが、右辺も -1 になるので erase()を実行してしまう

Comments

[tanakaaaaaa]

rfind()で見つからなかったときの返り値を間違って認識していました。
分かりやすく素早い解答ありがとうございます。