如何通过CMake配置RapidCheck实现C++属性化测试

一、CMake配置完整方案（自动下载+链接） #

我直接给你一个可以复用的CMakeLists.txt示例，每一步都加注释，你可以直接套用到自己的项目里：

cmake_minimum_required(VERSION 3.14) # FetchContent需要至少3.14版本
project(MyCppLibraryTests)

# 1. 引入FetchContent模块，用于自动下载RapidCheck
include(FetchContent)

# 2. 声明要下载的RapidCheck版本（这里用近期稳定commit，你也可以替换成最新标签）
FetchContent_Declare(
  rapidcheck
  GIT_REPOSITORY https://github.com/emil-e/rapidcheck.git
  GIT_TAG 90bce60a # 可替换为你需要的版本/commit hash
)

# 3. 自动下载、编译RapidCheck
FetchContent_MakeAvailable(rapidcheck)

# 4. 添加测试可执行文件（假设测试代码在test目录下，比如test/set_property_test.cpp）
add_executable(set_property_test ${PROJECT_SOURCE_DIR}/test/set_property_test.cpp)

# 5. 让测试程序能找到RapidCheck的头文件
target_include_directories(set_property_test PRIVATE ${rapidcheck_SOURCE_DIR}/include)

# 6. 链接RapidCheck库到测试程序，解决符号缺失问题
target_link_libraries(set_property_test PRIVATE rapidcheck)

关键步骤解释： #

• FetchContent：CMake自带模块，无需手动下载源码，自动克隆仓库并完成构建，完美匹配你"优先下载使用"的需求。
• target_include_directories：确保测试代码能正常#include <rapidcheck.h>及相关头文件。
• target_link_libraries：将RapidCheck编译生成的库链接到测试程序，彻底解决构建时的符号缺失报错。

如果你的项目结构更复杂（比如库和测试代码分目录），只需把上述RapidCheck的配置部分放到根目录CMakeLists.txt，再在测试子目录的配置中链接rapidcheck即可。

二、生成限制范围/大小的std::set的属性测试示例 #

下面是满足你需求的属性测试代码，展示如何生成符合取值范围和大小要求的std::set<int>：

#include <rapidcheck.h>
#include <set>
#include <algorithm>

// 属性测试：验证生成的集合满足预设的范围和大小限制
int main() {
  rc::check("Generated std::set<int> has elements in [0, 99] and size between 1 and 10",
            []() {
              // 1. 生成取值范围在0-99的int生成器（左闭右开区间）
              auto bounded_int = rc::gen::inRange(0, 100);

              // 2. 生成大小在1-10之间的std::set<int>
              auto sized_set = rc::gen::resize(
                  rc::gen::inRange(1, 11), // 集合大小的范围
                  rc::gen::set(bounded_int) // 集合元素的生成器
              );

              // 3. 让RapidCheck生成符合要求的集合
              std::set<int> test_set = *rc::gen::arbitraryWith(sized_set);

              // 4. 验证所有元素都在指定范围内
              RC_ASSERT(std::all_of(test_set.begin(), test_set.end(),
                                    [](int val) { return val >= 0 && val < 100; }));

              // 5. 验证集合大小符合要求
              RC_ASSERT(test_set.size() >= 1 && test_set.size() <= 10);
            });

  return 0;
}

代码说明： #

• rc::gen::inRange：精准限制int的取值区间，左闭右开的规则和C++标准库保持一致。
• rc::gen::resize：控制集合的生成大小，第一个参数是大小的生成器（这里指定1-10），第二个参数是元素生成器。
• rc::gen::set：专门生成std::set的生成器，自动利用set的特性保证元素唯一性。
• RC_ASSERT：RapidCheck的断言宏，一旦验证失败会自动输出最小化的反例，方便调试。

三、可选替代方案（按需探索） #

如果你想尝试其他属性测试工具，也可以考虑：

• Catch2 v3：自带属性测试模块，无需额外依赖，CMake配置更简洁，适合同时做单元测试和属性测试的项目。
• GoogleTest + GTest-RapidCheck：在GoogleTest基础上扩展属性测试能力，适合已经使用GoogleTest的项目。

不过RapidCheck作为属性测试的老牌工具，功能完全能覆盖你的需求，优先推荐继续使用它。

常见问题排查 #

如果仍遇到链接错误：

1. 确保CMake版本不低于3.14，旧版本的FetchContent可能存在兼容性问题。
2. 清理CMake缓存（删除build目录后重新生成），避免缓存导致的依赖异常。
3. 检查RapidCheck是否正确构建：在build目录的_deps/rapidcheck-build下，应该能看到生成的库文件（如librapidcheck.a或rapidcheck.lib）。

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