18、CMake生成器表达式：$<...>语法、条件编译、调试与发布配置

生成器表达式，这名字听起来挺唬人的。我第一次接触时也愣了一下，心想这又是什么黑科技？

说白了，它就是CMake在构建时（而不是配置时）才求值的一种特殊语法。你想想看，CMake配置阶段很多信息还不知道——比如编译器是gcc还是clang，构建类型是Debug还是Release。这些信息要到生成构建系统（Makefile或Ninja文件）时才能确定。生成器表达式就是解决这个问题的。

18.1 基本语法：$<...>的魔力

语法很简单：$<condition:true_string>。如果condition为真，就展开成true_string；否则展开成空字符串。

# 如果构建类型是Debug，添加-g选项
target_compile_options(myapp PRIVATE
    $<$<CONFIG:Debug>:-g>
)

# 如果编译器是GCC，添加-Wall
target_compile_options(myapp PRIVATE
    $<$<CXX_COMPILER_ID:GNU>:-Wall>
)

这里有个嵌套的写法：外层$<condition:value>，内层$<CONFIG:Debug>就是一个条件表达式。我刚开始总把这两个尖括号搞混，后来养成了一个习惯——先写内层条件，再包外层。

18.2 条件编译：让代码适应不同环境

条件编译是生成器表达式最常用的场景。我在做嵌入式项目时，经常需要根据不同的硬件平台编译不同的代码。

# 根据平台添加不同的宏定义
target_compile_definitions(myapp PRIVATE
    $<$<PLATFORM_ID:Linux>:PLATFORM_LINUX>
    $<$<PLATFORM_ID:Windows>:PLATFORM_WINDOWS>
    $<$<PLATFORM_ID:Darwin>:PLATFORM_MACOS>
)

# 根据编译器添加不同的编译选项
target_compile_options(myapp PRIVATE
    $<$<CXX_COMPILER_ID:MSVC>:/W4>
    $<$<CXX_COMPILER_ID:GNU>:-Wall -Wextra>
    $<$<CXX_COMPILER_ID:Clang>:-Wall -Weverything>
)

嗯，这里要注意：PLATFORM_ID和CXX_COMPILER_ID都是CMake内置的变量，不需要你自己定义。

18.3 调试与发布配置：一套代码，两套配置

调试和发布配置的区别，说白了就是：调试版本要保留符号信息、关闭优化；发布版本要开启优化、去掉调试符号。

# 设置不同构建类型的编译选项
target_compile_options(myapp PRIVATE
    $<$<CONFIG:Debug>:-O0 -g -DDEBUG>
    $<$<CONFIG:Release>:-O3 -DNDEBUG>
    $<$<CONFIG:RelWithDebInfo>:-O2 -g -DNDEBUG>
    $<$<CONFIG:MinSizeRel>:-Os -DNDEBUG>
)

# 链接不同的库
target_link_libraries(myapp PRIVATE
    $<$<CONFIG:Debug>:debug_lib>
    $<$<CONFIG:Release>:release_lib>
)

我曾经踩过一个坑：在Debug版本下忘记加-DDEBUG宏，结果调试信息打印不出来。排查了半天才发现是宏定义没生效。从那以后，我每次都会检查生成器表达式是否正确展开。

18.4 常用生成器表达式速查表

表达式	说明	示例
$<CONFIG:cfg>	构建类型是否为cfg	$<$<CONFIG:Debug>:-g>
$<PLATFORM_ID:id>	平台是否为id	$<$<PLATFORM_ID:Linux>:-DLINUX>
$<CXX_COMPILER_ID:id>	编译器是否为id	$<$<CXX_COMPILER_ID:GNU>:-std=c++17>
$<TARGET_EXISTS:target>	目标是否存在	$<$<TARGET_EXISTS:foo>:bar>
$<BOOL:string>	字符串是否为真	$<$<BOOL:${VAR}>:enabled>
$<STREQUAL:a,b>	字符串a和b是否相等	$<$<STREQUAL:${VAR},ON>:yes>

18.5 实战：一个完整的条件编译示例

来看一个实际项目中的例子。假设我们要编译一个跨平台的网络库，需要根据平台和构建类型做不同的处理。

# CMakeLists.txt
cmake_minimum_required(VERSION 3.15)
project(NetworkLib VERSION 1.0.0 LANGUAGES CXX)

# 设置C++标准
set(CMAKE_CXX_STANDARD 17)
set(CMAKE_CXX_STANDARD_REQUIRED ON)

# 添加库
add_library(network
    src/tcp_socket.cpp
    src/udp_socket.cpp
)

# 平台相关的源文件
target_sources(network PRIVATE
    $<$<PLATFORM_ID:Linux>:src/linux/epoll.cpp>
    $<$<PLATFORM_ID:Windows>:src/windows/iocp.cpp>
    $<$<PLATFORM_ID:Darwin>:src/macos/kqueue.cpp>
)

# 平台相关的包含目录
target_include_directories(network PRIVATE
    $<$<PLATFORM_ID:Linux>:include/linux>
    $<$<PLATFORM_ID:Windows>:include/windows>
    $<$<PLATFORM_ID:Darwin>:include/macos>
)

# 调试和发布的不同配置
target_compile_options(network PRIVATE
    $<$<CONFIG:Debug>:-O0 -g -DNETWORK_DEBUG>
    $<$<CONFIG:Release>:-O2 -DNDEBUG>
)

# 链接不同的库
target_link_libraries(network PRIVATE
    $<$<PLATFORM_ID:Linux>:pthread>
    $<$<PLATFORM_ID:Windows>:ws2_32>
    $<$<PLATFORM_ID:Darwin>:>
)

这个例子展示了生成器表达式的典型用法：根据平台选择源文件、根据构建类型设置编译选项、根据平台链接不同的库。我在实际项目中就是这么用的，效果很好。

18.6 生成器表达式知识体系

这张图展示了生成器表达式的核心知识结构。从基本语法出发，延伸到条件编译、调试发布配置，再到常用表达式。每个分支都是实际项目中经常用到的。

18.7 进阶技巧：组合与调试

生成器表达式可以组合使用，实现更复杂的逻辑。比如同时判断平台和构建类型：

# 只在Linux的Debug版本下启用某些功能
target_compile_definitions(myapp PRIVATE
    $<$<AND:$<PLATFORM_ID:Linux>,$<CONFIG:Debug>>:ENABLE_EXTRA_LOGGING>
)

# 或者用OR组合
target_compile_options(myapp PRIVATE
    $<$<OR:$<CXX_COMPILER_ID:GNU>,$<CXX_COMPILER_ID:Clang>>:-Werror>
)

调试生成器表达式是个头疼的事。我一般用message()命令来打印变量的值，但生成器表达式在配置阶段不展开，所以没法直接打印。我的做法是：

# 临时创建一个测试目标来验证
add_custom_target(check_genex
    COMMAND ${CMAKE_COMMAND} -E echo "Debug flags: $<$<CONFIG:Debug>:-g>"
    COMMAND ${CMAKE_COMMAND} -E echo "Release flags: $<$<CONFIG:Release>:-O3>"
)

运行cmake --build . --target check_genex就能看到展开后的结果。这个方法帮我解决了不少疑难杂症。

好了，生成器表达式的内容就讲到这里。记住一个原则：能用生成器表达式解决的问题，就不要用if-else。它让CMakeLists.txt更简洁，也更符合CMake的设计哲学。

---