stm32f407 作业要求：按键切换led灯状态，共有三个状态： 状态1:熄灭 状态2:常亮 状态3:间隔100ms闪烁 通过按键切换，每按一次切换一个状态，循环切换。基于hal库实现，请给代码

STM32F407是一款基于ARM Cortex-M4内核的高性能微控制器，它属于STM32系列的F4系列，拥有丰富的GPIO资源和高级定时器功能，非常适合嵌入式系统的应用，特别是对于需要处理实时任务和外设控制的项目。

要完成这个作业，首先你需要设置好GPIO端口配置LED和按键，然后编写中断服务函数来检测按键按下，以及使用定时器来实现LED的闪烁。下面是一个简化的伪代码示例，实际代码会涉及到HAL库的具体API：

#include "stm32f4xx_hal.h"
#include "main.h"

// LED初始化
GPIO_InitTypeDef GPIO_InitStruct;
uint8_t ledState = 0; // 状态变量，0熄灭，1常亮，2闪烁

void ledSetup(void) {
    GPIO_InitStruct.Pin = LED_PIN; // LED对应的GPIO Pin
    GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP; // Push-Pull输出模式
    GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_VERY_HIGH;
    HAL_GPIO_Init(LED_PORT, &GPIO_InitStruct);
}

// 按键中断回调函数
void EXTI0_IRQHandler() {
    if (HAL_GPIO_ReadPin(KEY_BUTTON_PORT, KEY_BUTTON_PIN) == GPIO_PIN_SET) { // 如果按键按下
        ledState = (ledState + 1) % 3; // 切换到下一个状态
        switch (ledState) {
            case 0: // 熄灭
                HAL_GPIO_WritePin(LED_PORT, LED_PIN, GPIO_PIN_RESET);
                break;
            case 1: // 常亮
                HAL_GPIO_WritePin(LED_PORT, LED_PIN, GPIO_PIN_SET);
                break;
            case 2: // 闪烁
                // 使用定时器每隔100ms改变LED状态
                if (__HAL_TIM_Base_IsActive(TIM1)) {
                    HAL_GPIO_TogglePin(LED_PORT, LED_PIN); // LED闪烁
                } else {
                    __HAL_TIM_Base_Start(&TIM1);
                }
                break;
        }
    }
}

int main(void) {
    ledSetup();
    HAL_NVIC_EnableIRQ(EXTI0_IRQn); // 开启按键中断

    while (1) {
        // 主程序这里可以添加其他任务，例如定时器检查中断是否已经发生
    }
}

记得将上述代码中的`LED_PIN`, `KEY_BUTTON_PIN`, `LED_PORT`, 和 `KEY_BUTTON_PORT`替换为你硬件的实际GPIO和中断引脚。同时，你也需要根据实际使用的定时器和中断向量号调整中断处理部分的代码。