阅读下面的C++代码，其中变量都是整型，则说法正确的是()。
cin >> a >> b; while (b != 0){ remainder = a % b; a = b; b = remainder; } cout << a;
b 不能为0，因为a % b 将导致错误
a 必须小于b，否则a % b 将导致错误
a 和 b 都必须为正整数，否则a % b 将导致错误
如果a 输入为0，则不管b 的输入值是什么，输出值的绝对值都是abs(b)