“Catch”单元测试框架 - REQUIRE_THROWS_AS

Question

我开始使用“Catch”单元测试框架，到目前为止它真的很棒。我非常痛苦地使用了 VS 内置的单元测试框架。

我注意到宏 REQUIRE_THROWS_AS 的行为与预期不同

来自文档：

REQUIRE_THROWS_AS( expression, exception type ) and
CHECK_THROWS_AS( expression, exception type )

预计在执行期间会抛出指定类型的异常 表达式的评估。

当我尝试写作时

TEST_CASE("some test") {
    SECTION("vector throws") {
        std::vector<int> vec;
        REQUIRE_THROWS_AS(vec.at(10), std::logic_error);
    }
}

我预计测试会失败，但它却说测试通过了。框架中是否有错误或我错了？

Answer 1

std::out_of_range（vector::at 应该在这里抛出）派生自std::logic_error：

没有标准库组件直接抛出此异常，但异常类型std::invalid_argument、std::domain_error、std::length_error、std::out_of_range、std::future_error和std::experimental::bad_optional_access派生自std::logic_error。 --cppreference:

REQUIRE_THROWS_AS 可能会执行以下操作：

try { expression; } 
catch (const exception_type&) { SUCCEED("yay"); return; }
catch (...) { FAIL("wrong exception type"); return; }
FAIL("no exception");

并且由于异常的多态性，断言通过了。