如何为C++方法编写单元测试校验noexcept属性（CMake/CTest环境）

嘿，这个需求太实用了——毕竟重构或者新开发者接手时，很容易不小心改了noexcept标记，破坏代码的预期行为。结合你用的CMake/CTest环境，我给你一套落地性很强的测试方案：

核心思路：利用C++原生的noexcept运算符 #

C++标准提供的noexcept(expr)运算符，会在编译期返回布尔值，判断表达式expr是否不会抛出异常。我们可以用这个特性做编译期断言或者运行期检查，直接集成到CTest测试套件里。

具体实现方法 #

1. 编译期断言（最严格，直接拦截错误代码） #

如果某个方法必须是noexcept，或者绝对不能是noexcept，用static_assert在编译阶段就做检查——错误代码根本过不了编译，不用等测试运行就会暴露问题：

#include <type_traits>

// 示例类
class MyClass {
public:
    void must_be_noexcept() noexcept {}
    void must_not_be_noexcept() {}
};

// 检查必须标记noexcept的方法
static_assert(noexcept(std::declval<MyClass>().must_be_noexcept()), 
              "MyClass::must_be_noexcept 必须标记为noexcept！");

// 检查绝对不能标记noexcept的方法
static_assert(!noexcept(std::declval<MyClass>().must_not_be_noexcept()), 
              "MyClass::must_not_be_noexcept 绝对不能标记为noexcept！");

把这段代码放到单独的测试源文件（比如test_noexcept.cpp），然后在CMakeLists.txt里配置成CTest测试用例：

add_executable(test_noexcept_attrs test_noexcept.cpp)
add_test(NAME CheckNoexceptAttributes COMMAND test_noexcept_attrs)

只要有一个断言失败，编译就会报错，CTest直接标记该测试失败。

2. 运行期测试（更灵活，适配现有测试流程） #

如果你希望测试在运行期执行，或者需要和其他测试逻辑结合，可以写简单的测试函数，用断言类库（比如Google Test的ASSERT_TRUE，或者自己实现基础断言）来检查：

#include <cassert>
#include <type_traits>

class MyClass {
public:
    void must_be_noexcept() noexcept {}
    void must_not_be_noexcept() {}
};

int main() {
    // 验证必须是noexcept的方法
    assert(noexcept(std::declval<MyClass>().must_be_noexcept()) && 
           "违规：must_be_noexcept 应该标记为noexcept");
    
    // 验证必须不是noexcept的方法
    assert(!noexcept(std::declval<MyClass>().must_not_be_noexcept()) && 
           "违规：must_not_be_noexcept 不能标记为noexcept");
    
    return 0;
}

CMake配置和上面一致，运行测试时如果属性被意外修改，断言会触发，CTest会捕获到失败。

3. 批量检查的简化技巧 #

如果有大量方法需要检查，可以写个模板辅助函数减少重复代码：

template <typename T, typename Func>
void verify_noexcept(Func func, bool expected_status) {
    bool actual_status = noexcept(std::declval<T>().*func());
    assert(actual_status == expected_status && "noexcept 属性不匹配！");
}

// 使用示例
verify_noexcept<MyClass>(&MyClass::must_be_noexcept, true);
verify_noexcept<MyClass>(&MyClass::must_not_be_noexcept, false);

这样测试代码会更整洁，后续新增方法时也能快速添加检查。

注意事项 #

• std::declval可以在不构造对象的情况下获取类实例引用，非常适合这种只检查成员函数属性的场景
• 如果是自由函数，直接用noexcept(func_name())即可，不需要std::declval
• 编译期断言的优势是提前拦截错误，但如果需要动态生成测试用例，运行期检查会更灵活

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