C- Do-while后跟一个int case的开关。验证错误

#include <stdio.h>

int main() {
    int choice;

    do {
        printf("请选择操作：\n");
        printf("1. 执行操作1\n");
        printf("2. 执行操作2\n");
        printf("3. 执行操作3\n");
        printf("0. 退出\n");
        scanf("%d", &choice);

        switch (choice) {
            case 1:
                printf("执行操作1\n");
                // 执行操作1的代码
                break;
            case 2:
                printf("执行操作2\n");
                // 执行操作2的代码
                break;
            case 3:
                printf("执行操作3\n");
                // 执行操作3的代码
                break;
            case 0:
                printf("退出程序\n");
                break;
            default:
                printf("无效的选择\n");
                break;
        }
    } while (choice != 0);

    return 0;
}