阅读下面的C++代码，其中变量都是整型，则说法正确的是( )。

cin >>a >> b;

while (b != 0){
    remainder = a % b;
    a = b;
    b = remainder;
}
cout << a;

{{ select(1) }}

• b 不能为 0 ，因为 a % b 将导致错误
• a 必须小于 b ，否则 a % b 将导致错误
• a 和 b 都必须为正整数，否则 a % b 将导致错误
• 如果 a 输入为 0 ，则不管 b 的输入值是什么，输出值的绝对值都是 abs(b)