I have a Rust function that panic
s under some condition and I wish to write a test case to validate whether the function is panicking or not. I couldn't find anything except the assert!
and assert_eq!
macros. Is there some mechanism for testing this?
I could spawn a new task and checking whether that task panics or not. Does it make sense?
Returning a Result<T, E>
is not suitable in my case.
I wish to add support for the Add
trait to a Matrix
type I am implementing. The ideal syntax for such addition would look like:
let m = m1 + m2 + m3;
where m1
, m2
, m3
are all matrices. Hence, the result type of add
should be Matrix
. Something like the following would be too cryptic:
let m = ((m1 + m2).unwrap() + m3).unwrap()
At the same time, the add()
function needs to validate that the two matrices being added have same dimension. Thus, add()
needs to panic if the dimensions don't match. The available option is panic!()
.
As an addendum: The solution proposed by @U007D also works in doctests:
If you want to assert that only a specific portion of the test function fails, use
std::panic::catch_unwind()
and check that it returns anErr
, for example withis_err()
. In complex test functions, this helps ensure that the test doesn't pass erroneously because of an early failure.Several tests in the Rust standard library itself use this technique.
Use following
catch_unwind_silent
instead of regularcatch_unwind
to achieve silence in output for expected exceptions:You can find the answer in testing section of the Rust book. More specifically, you want
#[should_panic]
attribute:As Francis Gagné mentioned in his answer, I also find the
#[should_panic]
attribute to not be fine-grained enough for more complex tests--for example, if my test setup fails for some reason (i.e. I've written a bad test), I do want a panic to be considered a failure!As of Rust 1.9.0,
std::panic::catch_unwind()
is available. It allows you to put the code you expect to panic into a closure, and only panics emitted by that code will be considered expected (i.e. a passing test).Note it cannot catch non-unwinding panics (e.g.
std::process::abort()
).