CMake中if(${VAR1})条件判断结果差异的技术问询

你的理解完全正确，具体逻辑拆解如下：

• 使用 ${VAR1} 时，CMake会先完成变量展开，将表达式替换为变量的实际值，再执行条件判断。
• 若VAR1的值是TRUE（包括大小写变体如true、ON、YES等），这些属于CMake内置的布尔常量，会被直接判定为真。
• 若VAR1的值是foo这类未被CMake识别的字符串，展开后CMake会尝试将其当作变量名查找：如果当前没有名为foo的变量定义，就会判定为假；如果恰好存在名为foo的变量，才会用该变量的实际值继续判断。

可以用这段测试代码验证逻辑：

set(VAR1 TRUE)
if(${VAR1})
    message("VAR1 is TRUE, condition is true")
endif()

set(VAR1 foo)
if(${VAR1})
    message("VAR1 is foo, condition is true")
else()
    message("VAR1 is foo, condition is false")
endif()

# 额外测试：定义名为foo的变量
set(foo ON)
if(${VAR1}) # 此时展开为if(foo)，foo的值是ON，判定为真
    message("After set(foo ON), condition is true")
endif()

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