c++ property based testing c++如何使用autocheck或rapidcheck进行属性测试-C++-PHP中文网

第一个 property test 用 rc::check 声明不变式，如验证 sort 不改变容器大小，需明确参数类型、用 rc_assert、避免未捕获变量或模板推导失败。

c++ property based testing c++如何使用autocheck或rapidcheck进行属性测试

rapidcheck 用法：怎么写第一个 property test

rapidcheck 是 C++ 里最接近 Haskell QuickCheck 的库，核心是 rc::check 函数，它接收一个谓词（返回 bool 的 lambda），自动构造输入并验证是否恒真。别直接套用单元测试思维——你不是测“某个输入得到某个输出”，而是声明“对所有合法输入，某条不变式必须成立”。

常见错误现象：rc::check 报 Failed (after 12 tests) 却没打印反例；或测试直接跳过，提示 No properties found——通常是因为 lambda 没捕获必要变量，或函数签名没被正确推导。

确保 lambda 参数类型明确，比如用 int、std::string、std::vector<int></int>，避免模板参数推导失败
用 RC_ASSERT 替代 assert 或 EXPECT_TRUE，否则 rapidcheck 无法捕获失败上下文
若被测函数抛异常，需在 lambda 内显式处理，否则测试会中止而非标记为失败

示例：验证 std::sort 不改变容器大小

rc::check("sort preserves size", []() {
    auto vec = *rc::gen::container<:vector>>(rc::gen::arbitrary<int>());
    auto original_size = vec.size();
    std::sort(vec.begin(), vec.end());
    RC_ASSERT(vec.size() == original_size);
});</int></:vector>

autocheck 为什么基本不推荐在新项目里用

autocheck 是个更老的 C++ 属性测试库，依赖 Boost.Preprocessor 和大量宏，生成的测试代码可读性差，且多年未维护。它的 AUTO_CHECK 宏展开后难以调试，IDE 基本无法跳转到具体断言位置。

使用场景仅限于：已有重度依赖 autocheck 的遗留项目，且团队不愿/不能升级工具链。新项目选 rapidcheck 或干脆用 doctest + 手动构造边界样例更可控。

编译失败常报错在 autocheck/detail/... 内部头文件，错误信息指向宏展开中间层，和你的代码无关
不支持自定义生成器（generator），所有输入都靠内置的 arbitrary<t></t>，对自定义类几乎无效
C++17 及以上标准下，部分模板推导逻辑失效，需手动补全 decltype 或冗余类型标注

如何让 rapidcheck 生成有意义的测试数据

默认的 rc::gen::arbitrary<t>()</t> 对基础类型还行，但对业务结构体、带约束的容器（如“非空 vector”、“正整数”）会生成大量无效输入，导致测试快速失败或漏覆盖。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

性能影响明显：如果生成器反复产出非法值再被 RC_PRE 过滤，rapidcheck 可能因重试超限而跳过大量测试用例。

用 rc::gen::filter 限定范围，比如 rc::gen::filter([](int x) { return x > 0; }, rc::gen::inRange(-100, 100))
对自定义类型，特化 rc::Arbitrary<mystruct>::generate</mystruct>，别依赖默认推导
避免在生成器里做耗时操作（如文件读取、网络请求），rapidcheck 会在每轮测试前多次调用生成器

示例：只生成长度 ≥ 1 的字符串

auto nonEmptyString = rc::gen::filter(
    [](const std::string& s) { return !s.empty(); },
    rc::gen::string()
);

CI 环境下 rapidcheck 测试不稳定怎么办

本地跑通、CI 上偶尔失败，大概率是种子（seed）没固定，或生成器引入了隐式依赖（如系统时间、内存地址）。rapidcheck 默认每次运行用不同随机种子，便于发现边缘 case，但 CI 需要可重现性。

兼容性影响：某些 Linux 发行版的 glibc 版本会影响 std::hash 行为，间接导致容器遍历顺序变化，如果断言依赖顺序（如 std::set 迭代结果），就会偶发失败。

加 --rc-seed=12345 到测试命令行，或代码里调用 rc::setSeed(12345)
避免断言容器迭代顺序，改用 std::is_permutation 或集合语义比较
禁用模糊测试模式（--rc-tests=100 而非默认的 --rc-tests=0），防止因资源限制中途截断

容易被忽略的是：rapidcheck 在 fork 后的子进程中可能继承父进程 seed，若测试框架本身做了 fork（如某些 sanitizer 模式），需主动重置 seed。

大量免费API接口：立即使用
涵盖生活服务API、金融科技API、企业工商API、等相关的API接口服务。免费API接口可安全、合规地连接上下游，为数据API应用能力赋能！