CMake中宏内带PARENT_SCOPE的set单步赋值为何无法正确更新变量？

问题的核心在于CMake中PARENT_SCOPE的变量求值规则：当使用set(...) PARENT_SCOPE时，右侧变量的取值是当前作用域的变量值，而非父作用域的。同时，PARENT_SCOPE只会修改父作用域的变量，不会影响当前作用域的变量，这就导致了后续调用时无法正确读取到父作用域的最新值。

两步写法的工作逻辑 #

假设你的宏运行在子作用域（比如子目录），父作用域已初始化ALL_FILES：

macro(add_component_files)
  if(COMPONENT_ENABLED)
    # 第一步：在当前作用域合并父作用域的ALL_FILES和新文件
    set(ALL_FILES ${ALL_FILES} ${ARGN})
    # 第二步：将合并后的结果同步回父作用域
    set(ALL_FILES ${ALL_FILES} PARENT_SCOPE)
  endif()
endmacro()

1. 第一步set：当前作用域没有ALL_FILES时，会向上读取父作用域的ALL_FILES值，追加${ARGN}后，赋值给当前作用域的ALL_FILES——这一步在当前作用域保留了最新的合并结果。
2. 第二步set：将当前作用域的最新结果同步到父作用域，完成追加操作。

单步写法的失效原因 #

直接执行set(ALL_FILES ${ALL_FILES} ${ARGN} PARENT_SCOPE)时：

• 右侧的${ALL_FILES}优先读取当前作用域的变量值。如果当前作用域未定义ALL_FILES（因为PARENT_SCOPE不会修改当前作用域），第一次调用时会读取父作用域的初始值（比如空），合并后同步到父作用域。
• 但后续调用宏时，当前作用域仍然没有ALL_FILES的最新值：如果当前作用域（比如子目录）之前显式定义过ALL_FILES为空，或者宏运行在有独立作用域的函数中，每次调用都会读取初始空值，导致每次都覆盖父作用域的ALL_FILES，最终出现变量为空的情况。

简单来说，两步写法通过在当前作用域暂存合并结果，确保了每次都能基于最新的列表追加；而单步写法跳过了当前作用域的暂存，依赖变量向上查找的机制，一旦当前作用域有隐藏的变量定义或作用域隔离，就会导致追加失败。

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