O seu caso é bem simples. Você so precisa ler o restante do string. Você pode usar o condigo seguinte no else. 

    else
		{
			//bad token
			cin.clear();
			string badToken;
			cin >> badToken;
			cerr << "Entrada invalidade encontrada: " << badToken << endl;
		}
Assim, quando o loop iniciar denovo o buffer vai estar vaziou. 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.