02-2select、imply与depends on验证方式Zephyr 本地文档、源码、.config、native_sim/native/64验证结论模拟确认1. 本节目标区分三种看起来相似、方向却不同的关系depends on 当前功能要求另一个条件已经满足 select 当前功能强制打开另一个 symbol imply 当前功能建议打开另一个 symbol但允许覆盖首先记住Zephyr 官方建议优先考虑depends on。select应谨慎使用最安全的目标是没有 prompt、没有依赖的简单 helper symbol。2. 三种关系的方向假设 A 是当前功能B 是另一个 symbol。2.1A depends on Bconfig A bool Feature A depends on B方向Bn - A 不能有效开启 By - 用户才有机会选择 A它不会自动把 B 设置为y。2.2A select Bconfig A bool Feature A select B方向Ay - 强制 By这是反向依赖。配置文件只请求 AB 会被间接打开。危险点select不会正常尊重 B 自己的依赖关系。若 B 后来增加了依赖A 仍可能强制 B 为y产生无效配置。2.3A imply Bconfig A bool Feature A imply B方向Ay - 默认建议 By但这是弱反向依赖。B 如果是可配置 symbol用户仍能明确设置Bn。3. 对比表写法关系方向是否自动影响目标用户能否覆盖目标主要用途A depends on BA 依赖 B否B 由正常配置决定普通功能依赖首选A select BA 强制 B是强制通常不能用Bn抵消私有 helper、少数总线开关A imply BA 建议 B是弱建议可以可选配套能力、推荐默认值4. 实验 Kconfig实验目录C:\study\1-zephyr\labs\ch02_kconfig4.1depends on组config LEARN_REQUIRED_BACKEND bool Required backend is available default n config LEARN_DEPENDS_CLIENT bool Client using depends on default n depends on LEARN_REQUIRED_BACKEND4.2select组config LEARN_SELECTED_HELPER bool config LEARN_SELECT_CLIENT bool Client selecting a private helper default n select LEARN_SELECTED_HELPERLEARN_SELECTED_HELPER没有 prompt、没有 dependencies是 Zephyr 推荐的安全 select 目标。4.3imply组config LEARN_OPTIONAL_BACKEND bool Optional backend suggested by imply default n config LEARN_IMPLY_CLIENT bool Client suggesting an optional backend default n imply LEARN_OPTIONAL_BACKEND5. 实验一三种 client 都开启relations.confCONFIG_LEARN_REQUIRED_BACKENDy CONFIG_LEARN_DEPENDS_CLIENTy CONFIG_LEARN_SELECT_CLIENTy CONFIG_LEARN_IMPLY_CLIENTy注意它没有显式请求CONFIG_LEARN_SELECTED_HELPERy CONFIG_LEARN_OPTIONAL_BACKENDy构建命令cd~/project/as10/U09_ZephyrOSexportZEPHYR_SDK_INSTALL_DIR/home/yff/zephyr-sdk/zephyr-sdk-0.17.1sourcezephyr/zephyr-env.sh west build\-bnative_sim/native/64\/mnt/c/study/1-zephyr/labs/ch02_kconfig\--build-dir /mnt/c/study/1-zephyr/work/ch02_relations\-palways\---DCONF_FILErelations.conf west build\--build-dir /mnt/c/study/1-zephyr/work/ch02_relations\-trun实际输出*** Booting Zephyr OS build v4.1.0-rc1 *** greetingrelationship experiment featureenabled period_ms1000 depends: backend1 client1 select: client1 helper1 imply: client1 optional_backend1最终.configCONFIG_LEARN_REQUIRED_BACKENDy CONFIG_LEARN_DEPENDS_CLIENTy CONFIG_LEARN_SELECTED_HELPERy CONFIG_LEARN_SELECT_CLIENTy CONFIG_LEARN_OPTIONAL_BACKENDy CONFIG_LEARN_IMPLY_CLIENTy其中SELECTED_HELPER和OPTIONAL_BACKEND没有在relations.conf中显式赋值分别由select和imply产生。实际关系depends: REQUIRED_BACKENDy 是配置文件主动请求 DEPENDS_CLIENTy 因依赖已经满足而被允许 select: SELECT_CLIENTy 是配置文件主动请求 SELECTED_HELPERy 是 select 强制产生 imply: IMPLY_CLIENTy 是配置文件主动请求 OPTIONAL_BACKENDy 是 imply 的弱建议产生6. 实验二覆盖implyimply_override.confCONFIG_LEARN_IMPLY_CLIENTy CONFIG_LEARN_OPTIONAL_BACKENDn实际程序输出中的关系部分depends: backend0 client0 select: client0 helper0 imply: client1 optional_backend0这证明imply不是强制关系。构建命令west build\-bnative_sim/native/64\/mnt/c/study/1-zephyr/labs/ch02_kconfig\--build-dir /mnt/c/study/1-zephyr/work/ch02_imply_override\-palways\---DCONF_FILEimply_override.conf7. 实验三请求一个依赖不满足的 symboldepends_invalid.confCONFIG_LEARN_REQUIRED_BACKENDn CONFIG_LEARN_DEPENDS_CLIENTyKconfig 不会自动打开 required backend。预期输出依赖警告最终 client 仍为n。这与select的方向正好相反。8. 为什么 Zephyr 警惕selectZephyr 本地文档doc/build/kconfig/tips.rst给出的核心问题是config B bool B depends on C config A bool A select B若Ay、Cnselect仍可能把B强制为y。此时 B 自己声明的依赖被绕过。随着工程演进B 新增依赖后所有直接或间接 select B 的地方都可能需要同步修改很容易遗漏。因此推荐普通功能依赖优先用depends on不要随意 select 带 prompt 或 dependencies 的 symbolselect 无 prompt、无 dependencies 的 helper symbol 通常安全驱动 selectI2C、SPI等总线是 Zephyr 明确提到的常见例外只是推荐开启、允许用户关闭时使用imply。9. Zephyr 源码中的真实例子9.1 SPI 外设驱动选择总线例如 MCP2515 CAN 驱动的 Kconfig 使用select SPI含义启用该 SPI 外设驱动时SPI 软件支持也必须进入构建。9.2 helper symbolZephyr 大量驱动使用select ENTROPY_HAS_DRIVERENTROPY_HAS_DRIVER更像一个汇总能力的 helper symbol其他子系统无需枚举每一个具体 entropy driver。9.3 imply 的真实用途Zephyr 测试子系统包含imply DYNAMIC_OBJECTS测试功能建议启用 dynamic objects但保持弱关系允许具体配置决定是否关闭。10. 本节结论depends on “我要使用 BB 必须先可用” 最安全、最常用 select “我开启时强制把 B 打开” 强反向依赖可能绕过 B 的 dependencies 适合简单 helper 或经过确认的总线能力 imply “我开启时建议把 B 打开” 弱反向依赖允许用户覆盖判断顺序普通依赖 - depends on 无 prompt/无依赖 helper - 可以 select 只是推荐默认开启 - imply11. 自测题A depends on B时设置Ay会自动设置By吗A select B和A imply B最大的区别是什么为什么不建议 select 一个带复杂 dependencies 的 symbol什么类型的 symbol 适合作为 select 目标为什么 SPI 外设驱动 select SPI 是常见例外用户显式设置Bn时A imply B的最终 B 应是什么USS 的USS_PROFILING_DWT为什么更适合 depends onCPU_CORTEX_M_HAS_DWT而不是 select 它下一节02-3-default、可见性与menuconfig。
02-2select、imply与depends on验证方式Zephyr 本地文档、源码、.config、native_sim/native/64验证结论模拟确认1. 本节目标区分三种看起来相似、方向却不同的关系depends on 当前功能要求另一个条件已经满足 select 当前功能强制打开另一个 symbol imply 当前功能建议打开另一个 symbol但允许覆盖首先记住Zephyr 官方建议优先考虑depends on。select应谨慎使用最安全的目标是没有 prompt、没有依赖的简单 helper symbol。2. 三种关系的方向假设 A 是当前功能B 是另一个 symbol。2.1A depends on Bconfig A bool Feature A depends on B方向Bn - A 不能有效开启 By - 用户才有机会选择 A它不会自动把 B 设置为y。2.2A select Bconfig A bool Feature A select B方向Ay - 强制 By这是反向依赖。配置文件只请求 AB 会被间接打开。危险点select不会正常尊重 B 自己的依赖关系。若 B 后来增加了依赖A 仍可能强制 B 为y产生无效配置。2.3A imply Bconfig A bool Feature A imply B方向Ay - 默认建议 By但这是弱反向依赖。B 如果是可配置 symbol用户仍能明确设置Bn。3. 对比表写法关系方向是否自动影响目标用户能否覆盖目标主要用途A depends on BA 依赖 B否B 由正常配置决定普通功能依赖首选A select BA 强制 B是强制通常不能用Bn抵消私有 helper、少数总线开关A imply BA 建议 B是弱建议可以可选配套能力、推荐默认值4. 实验 Kconfig实验目录C:\study\1-zephyr\labs\ch02_kconfig4.1depends on组config LEARN_REQUIRED_BACKEND bool Required backend is available default n config LEARN_DEPENDS_CLIENT bool Client using depends on default n depends on LEARN_REQUIRED_BACKEND4.2select组config LEARN_SELECTED_HELPER bool config LEARN_SELECT_CLIENT bool Client selecting a private helper default n select LEARN_SELECTED_HELPERLEARN_SELECTED_HELPER没有 prompt、没有 dependencies是 Zephyr 推荐的安全 select 目标。4.3imply组config LEARN_OPTIONAL_BACKEND bool Optional backend suggested by imply default n config LEARN_IMPLY_CLIENT bool Client suggesting an optional backend default n imply LEARN_OPTIONAL_BACKEND5. 实验一三种 client 都开启relations.confCONFIG_LEARN_REQUIRED_BACKENDy CONFIG_LEARN_DEPENDS_CLIENTy CONFIG_LEARN_SELECT_CLIENTy CONFIG_LEARN_IMPLY_CLIENTy注意它没有显式请求CONFIG_LEARN_SELECTED_HELPERy CONFIG_LEARN_OPTIONAL_BACKENDy构建命令cd~/project/as10/U09_ZephyrOSexportZEPHYR_SDK_INSTALL_DIR/home/yff/zephyr-sdk/zephyr-sdk-0.17.1sourcezephyr/zephyr-env.sh west build\-bnative_sim/native/64\/mnt/c/study/1-zephyr/labs/ch02_kconfig\--build-dir /mnt/c/study/1-zephyr/work/ch02_relations\-palways\---DCONF_FILErelations.conf west build\--build-dir /mnt/c/study/1-zephyr/work/ch02_relations\-trun实际输出*** Booting Zephyr OS build v4.1.0-rc1 *** greetingrelationship experiment featureenabled period_ms1000 depends: backend1 client1 select: client1 helper1 imply: client1 optional_backend1最终.configCONFIG_LEARN_REQUIRED_BACKENDy CONFIG_LEARN_DEPENDS_CLIENTy CONFIG_LEARN_SELECTED_HELPERy CONFIG_LEARN_SELECT_CLIENTy CONFIG_LEARN_OPTIONAL_BACKENDy CONFIG_LEARN_IMPLY_CLIENTy其中SELECTED_HELPER和OPTIONAL_BACKEND没有在relations.conf中显式赋值分别由select和imply产生。实际关系depends: REQUIRED_BACKENDy 是配置文件主动请求 DEPENDS_CLIENTy 因依赖已经满足而被允许 select: SELECT_CLIENTy 是配置文件主动请求 SELECTED_HELPERy 是 select 强制产生 imply: IMPLY_CLIENTy 是配置文件主动请求 OPTIONAL_BACKENDy 是 imply 的弱建议产生6. 实验二覆盖implyimply_override.confCONFIG_LEARN_IMPLY_CLIENTy CONFIG_LEARN_OPTIONAL_BACKENDn实际程序输出中的关系部分depends: backend0 client0 select: client0 helper0 imply: client1 optional_backend0这证明imply不是强制关系。构建命令west build\-bnative_sim/native/64\/mnt/c/study/1-zephyr/labs/ch02_kconfig\--build-dir /mnt/c/study/1-zephyr/work/ch02_imply_override\-palways\---DCONF_FILEimply_override.conf7. 实验三请求一个依赖不满足的 symboldepends_invalid.confCONFIG_LEARN_REQUIRED_BACKENDn CONFIG_LEARN_DEPENDS_CLIENTyKconfig 不会自动打开 required backend。预期输出依赖警告最终 client 仍为n。这与select的方向正好相反。8. 为什么 Zephyr 警惕selectZephyr 本地文档doc/build/kconfig/tips.rst给出的核心问题是config B bool B depends on C config A bool A select B若Ay、Cnselect仍可能把B强制为y。此时 B 自己声明的依赖被绕过。随着工程演进B 新增依赖后所有直接或间接 select B 的地方都可能需要同步修改很容易遗漏。因此推荐普通功能依赖优先用depends on不要随意 select 带 prompt 或 dependencies 的 symbolselect 无 prompt、无 dependencies 的 helper symbol 通常安全驱动 selectI2C、SPI等总线是 Zephyr 明确提到的常见例外只是推荐开启、允许用户关闭时使用imply。9. Zephyr 源码中的真实例子9.1 SPI 外设驱动选择总线例如 MCP2515 CAN 驱动的 Kconfig 使用select SPI含义启用该 SPI 外设驱动时SPI 软件支持也必须进入构建。9.2 helper symbolZephyr 大量驱动使用select ENTROPY_HAS_DRIVERENTROPY_HAS_DRIVER更像一个汇总能力的 helper symbol其他子系统无需枚举每一个具体 entropy driver。9.3 imply 的真实用途Zephyr 测试子系统包含imply DYNAMIC_OBJECTS测试功能建议启用 dynamic objects但保持弱关系允许具体配置决定是否关闭。10. 本节结论depends on “我要使用 BB 必须先可用” 最安全、最常用 select “我开启时强制把 B 打开” 强反向依赖可能绕过 B 的 dependencies 适合简单 helper 或经过确认的总线能力 imply “我开启时建议把 B 打开” 弱反向依赖允许用户覆盖判断顺序普通依赖 - depends on 无 prompt/无依赖 helper - 可以 select 只是推荐默认开启 - imply11. 自测题A depends on B时设置Ay会自动设置By吗A select B和A imply B最大的区别是什么为什么不建议 select 一个带复杂 dependencies 的 symbol什么类型的 symbol 适合作为 select 目标为什么 SPI 外设驱动 select SPI 是常见例外用户显式设置Bn时A imply B的最终 B 应是什么USS 的USS_PROFILING_DWT为什么更适合 depends onCPU_CORTEX_M_HAS_DWT而不是 select 它下一节02-3-default、可见性与menuconfig。
