O seu caso é bem simples. Você so precisa ler o restante do string. Você pode usar o codigo seguinte no else.
else
{
//bad token
cin.clear();
string badToken;
cin >> badToken;
cerr << "Entrada invalidade encontrada: " << badToken << endl;
}
Assim, quando o loop iniciar denovode novo o buffer vai estar vaziouvazio. Voce tb pode ler todos os caracteres com um cin.get() em um while, mas acho mais facíl ler tudo em um string de uma vezes. E tb o cin.clear() não limpa o buffer ele so reseta o estado do cin para o padrão. Então pode remover o cin.clear() e o cin.ignore() depois do else.