编程实现：设初始状态为P2口8个灯全亮，用if语句控制P2口流水灯从高位到低位顺序熄灭。

在嵌入式系统如Arduino或者单片机编程中，要实现P2口流水灯从高位到低位顺序熄灭，你可以通过循环和位操作来完成这个任务。假设我们正在使用C语言编写代码，这里是一个简单的示例：

#include <avr/io.h> // 包含硬件库

void turnOffLeds(void) {
    unsigned char ledMask = 0b11111111; // 初始所有LEDs都是1（点亮）
    DDRB |= (1 << PB2); // 设置PB2（P2口）为输出模式
    
    while (ledMask != 0) { // 当mask还有值时，继续循环
        PORTB &= ~(ledMask); // 熄灭当前最高位LED
        ledMask <<= 1; // 移位掩码到下一位
    }
}

int main(void) {
    turnOffLeds(); // 执行灯熄灭函数
    return 0;
}

在这个例子中，`ledMask`变量用于跟踪哪些LED还处于点亮状态，每次循环都会将最低位的LED熄灭，并把掩码向左移动一位，直到所有的LED都被关闭。