如何使用C51单片机通过硬件电路实现初始为0的数码管显示，当按下独立按键K1时触发中断，每次按键使数码管显示递增，达到9后回零并循环显示？请提供详细的步骤和完整代码

在C51单片机中，使用硬件电路实现上述功能，你需要进行以下步骤：

1. **硬件连接**：
- 连接7段数码管的各段驱动口到单片机的输出引脚，例如P1口。
- K1按键连接到单片机的输入引脚，可以考虑INT0作为中断源，或者选择其他适当的输入引脚。

2. **数码管初始化**：
- 使用P1口作为数码管的数据线，先将所有段选通信号置高，然后逐位清零来初始化数码管。

void init_lcd(void) {
    P1 = 0xFF; // 全部闭合，数码管全亮
    delay_ms(1); // 等待数据稳定
    for (int i = 0; i < 8; ++i) {
        P1 &= ~(1 << i); // 关掉每个位
        delay_ms(1);
    }
}

3. **编写中断服务程序**（ISR）：
- 当K1按键按下时，会触发INT0中断，计数并更新数码管。

sbit k1 Pin P2; // K1按键引脚
unsigned char display[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; // 数字显示数组
unsigned char current_digit = 0;

void interrupt() __attribute__((interrupt(" ExternalInt0" ))) {
    if (k1 == 1) { // 按键按下
        if (current_digit != 9) {
            current_digit = (current_digit + 1) % 10; // 循环显示，达到9后回零
            update_lcd(display[current_digit]); // 更新数码管显示
        } else {
            current_digit = 0; // 到达9后重置
        }
    }
}

4. **数码管显示更新函数**：
- 更新显示内容到对应的数据线。

void update_lcd(unsigned char digit) {
    P1 = digit; // 把数字转换为二进制并设置到数据线上
}

5. **主循环**：
- 初始化后进入无限循环等待中断。

int main(void) {
    init_lcd();
    EA = 1; // 开启全局中断
    IT0 = 1; // 开启INT0中断
    while (1) {
        // 主循环体，处理其他非中断任务...
    }
}