使scanf循环的问题

我也没很明白，以下是我测试过后的猜测，望有懂的给出权威解释：

#include<stdio.h>
int main()
{
	char op;
    int a, b, c = 0, d, i;
    while(~(d = scanf("%d%c%d=%d", &a, &op, &b, &c)))
    {
    	i++;
    	if(i == 10) 
		{
			printf("%d\n", i);
			char q = getchar();
			printf("%c", q);
		}
    }
}

当输入1+1=? 时，输入的字符被存入缓冲，scanf方法扫描到前四个字符并成功赋值，当扫描到 ? 时，由于类型不匹配，保留了c的初始值0，然后执行循环体，此时d=3；
下一次循环中，scanf方法再次扫描，缓存中还是 ? 没有被取走，第一个赋值 a 就已经失败了，后续不再赋值，a,op,b,c保留之前的值，d=0，进入循环体；
也就是说，缓存中的 ? 始终没有被取走，陷入了死循环。
为了验证猜测，我在上述代码中输入 1+1=? ，在循环十次后用getchar()取出缓存，结果q=’?’，也就是迟迟不被匹配的那个?
把?换成其他非整型变量也成立。