如何确保任务优先级#define语句集合中的值唯一？

这确实是嵌入式开发里常见的痛点——手动维护一堆#define优先级，任务多了很容易不小心写出重复值，等到运行时任务抢占出问题才发现就晚了。下面几个方法能帮你在编译阶段或者开发流程早期就把重复问题揪出来，按推荐程度排序：

1. 编译期静态检查（最推荐：零运行开销，编译阶段报错） #

如果你不想改动现有代码的使用方式，用X-Macro结合编译器的重定义检测是个巧办法。核心思路是把所有优先级定义集中到一个宏列表里，既生成原来的#define，又通过定义同名变量触发重复定义错误：

// 第一步：把所有任务优先级集中到一个X-Macro列表里
#define TASK_PRIORITIES_LIST \
    X(PRIO_TASK_A, 1) \
    X(PRIO_TASK_B, 2) \
    X(PRIO_TASK_C, 3) \
    // 继续添加其他任务...

// 第二步：生成原来的#define定义，保持原有代码兼容性
#define X(name, val) #define name val
TASK_PRIORITIES_LIST
#undef X

// 第三步：检查优先级唯一性——如果有重复，编译器会报重定义错误
#define CHECK_UNIQUE_PRIO(prio) static char unique_prio_mark_##prio[1];
#define X(name, val) CHECK_UNIQUE_PRIO(val);
TASK_PRIORITIES_LIST
#undef X

原理很简单：如果两个任务用了同一个优先级值（比如都是4），那么unique_prio_mark_4会被定义两次，编译器会直接抛出类似error: redefinition of 'unique_prio_mark_4'的错误，精准告诉你哪里重复了。而且完全不影响代码运行，只是在编译阶段做检查。

如果你的编译器支持C11及以上，还可以用更优雅的_Static_assert结合编译期排序比较，但上面的方法兼容性更强，几乎所有C编译器都能支持。

2. 用脚本批量检查（适合旧项目快速排查） #

如果已经有一堆分散的#define不想重构，写个简单的脚本扫描头文件就能快速找出重复值。比如用Python写个小工具：

import re
from collections import Counter

# 替换成你的头文件路径
HEADER_FILE = "tasks.h"

with open(HEADER_FILE, 'r') as f:
    content = f.read()

# 匹配所有PRIO_开头的#define优先级定义
prio_pattern = re.compile(r'#define\s+PRIO_\w+\s+(\d+)', re.MULTILINE)
all_prios = prio_pattern.findall(content)

# 统计重复项
duplicate_counts = Counter(all_prios)
duplicates = [p for p, cnt in duplicate_counts.items() if cnt > 1]

if duplicates:
    print(f"❌ 发现重复的优先级值：{', '.join(duplicates)}")
    exit(1)
else:
    print("✅ 所有任务优先级都是唯一的")

把这个脚本加到你的构建流程里（比如Makefile的预编译步骤、CI流水线），每次构建前自动检查，发现重复就终止构建，从流程上避免问题。

3. 改用枚举（Enum）代替#define（从根源上解决） #

如果你的代码可以重构，用枚举类型定义优先级是最优解——编译器会自动帮你检查重复值，还能带来类型安全：

typedef enum {
    PRIO_TASK_A = 1,
    PRIO_TASK_B = 2,
    PRIO_TASK_C = 3,
    // 如果这里写PRIO_TASK_D = 2，编译器直接报错：enumerator value '2' duplicated
} TaskPriority;

枚举的默认值是自动递增的，如果你不需要手动指定特定值，甚至可以不用写=x，让编译器自动分配，完全避免重复。而且函数参数可以指定为TaskPriority类型，防止传入非法的优先级值，代码可读性也更高。

内容的提问来源于stack exchange，提问作者Dave