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

在使用C语言编写程序时，你可以使用位操作来实现P2口的流水灯效果。假设我们有8个LED连接到P2口的最低有效位到最高有效位。首先，我们需要初始化P2口为全1，表示所有LED都亮着。然后我们可以设置一个循环结构，逐位将这些LED熄灭。

以下是一个简单的示例：

#include <reg52.h> // 如果使用的是Atmel AVR系列单片机

// 初始化P2口为全亮
void init_leds() {
    P2 = 0xFF; // 设置P2口的所有位为1（LED全亮）
}

// 熄灭流水灯
void fade_leds() {
    for (unsigned char i = 7; i > 0; i--) { // 从高位开始，到低位结束
        if ((P2 & (1 << i)) != 0) { // 检查第i位是否为1（点亮）
            P2 &= ~(1 << i); // 将该位清零，LED熄灭
        }
    }
}

int main(void) {
    init_leds();
    
    while (1) {
        fade_leds(); // 循环熄灭LED
        // 可能需要延时或其他处理，这里省略
    }

    return 0;
}

在这个例子中，`init_leds()`函数用于设置初始状态，`fade_leds()`函数则通过位运算逐个熄灭LED。如果你想添加一个定时器或者延时来让这个过程看起来更像流水灯的效果，可以在`fade_leds()`函数中增加相应的延迟代码。