嘿，这个需求在模块化库开发里太常见了——既要让用户能自由选择想要的特性，又得自动处理背后的依赖链，总不能让用户手动去查“开C必须先开B和A”这种规则对吧？我来帮你把那个没写完的CMake递归函数补全，完美解决这个问题。

先明确你的依赖关系：

• 特性C依赖B，B依赖A
• 特性D依赖A
• A没有依赖

也就是说，只要用户勾选了C，A和B必须自动启用；勾选B则自动启用A；勾选D自动启用A。

下面是完整的CMake实现代码，我会一步步给你解释：

# 定义所有可选特性的列表
set(FEATURES "A" "B" "C" "D")

# 定义每个特性的依赖关系，格式为 DEPS_<特性名> = 依赖的特性列表
set(DEPS_A "")
set(DEPS_B "A")
set(DEPS_C "B")
set(DEPS_D "A")

# 给每个特性创建开关选项，默认关闭
option(INCLUDE_A "Include feature A" OFF)
option(INCLUDE_B "Include feature B" OFF)
option(INCLUDE_C "Include feature C" OFF)
option(INCLUDE_D "Include feature D" OFF)

# 定义递归函数，用来自动启用依赖的特性
function(enable_feature_deps FEATURE)
    # 先检查这个特性是否已经处理过，避免循环依赖（虽然当前场景没有，但留着更健壮）
    if(NOT DEFINED FEATURE_${FEATURE}_PROCESSED)
        set(FEATURE_${FEATURE}_PROCESSED TRUE PARENT_SCOPE)
        
        # 遍历当前特性的所有依赖
        foreach(DEP ${DEPS_${FEATURE}})
            # 递归处理依赖的特性
            enable_feature_deps(${DEP})
            # 启用依赖特性的开关
            set(INCLUDE_${DEP} ON PARENT_SCOPE)
        endforeach()
        
        # 最后启用当前特性的开关（如果用户本来就开了，或者因为依赖被触发）
        set(INCLUDE_${FEATURE} ON PARENT_SCOPE)
    endif()
endfunction()

# 遍历所有特性，检查用户是否启用了某个特性，自动处理其依赖
foreach(FEATURE ${FEATURES})
    if(INCLUDE_${FEATURE})
        enable_feature_deps(${FEATURE})
    endif()
endforeach()

# 可选：打印最终启用的特性，方便用户确认
message(STATUS "Enabled features:")
foreach(FEATURE ${FEATURES})
    if(INCLUDE_${FEATURE})
        message(STATUS "  - ${FEATURE}")
    endif()
endforeach()

代码逻辑说明： #

1. 特性与依赖定义：先把所有特性和它们的依赖关系明确列出来，后续维护的时候直接改这里就行，非常清晰。
2. 开关选项：用option给每个特性创建可视化的开关，用户可以在CMake配置的时候直观勾选。
3. 递归处理函数：enable_feature_deps函数会先标记当前特性已处理，然后递归遍历它的所有依赖，把依赖的开关都设为ON，最后确保当前特性的开关也是ON的。
4. 触发处理：遍历所有特性，只要用户勾选了某个特性，就调用递归函数处理它的整个依赖链。
5. 验证输出：最后打印已启用的特性，方便用户确认是否符合预期。

举个例子，如果用户只勾选了INCLUDE_C=ON，运行这段代码后，INCLUDE_A和INCLUDE_B都会被自动设为ON，最终输出的启用特性就是A、B、C，完全符合你的需求。

如果后续要加新特性，比如E依赖C，只需要在FEATURES里加"E"，定义DEPS_E "C"，再加一个option(INCLUDE_E ...)就可以了，扩展性很强。

备注：内容来源于stack exchange，提问作者TinCan