Assertion macro (tools/assert_that.hpp)

• View this file on GitHub
• View document part on GitHub
• Last update: 2024-08-31 13:46:12+09:00
• Include: #include "tools/assert_that.hpp"

#define assert_that(cond) do {\
  if (!(cond)) {\
    std::cerr << __FILE__ << ':' << __LINE__ << ": " << __func__ << ": Assertion `" << #cond << "' failed." << '\n';\
    std::exit(EXIT_FAILURE);\
  }\
} while (false)

It asserts that cond holds. If cond is false, it outputs the debug information to std::cerr and terminates the program with exit status EXIT_FAILURE.

The macro is always enabled regardless of NDEBUG unlike assert.

Constraints

• None

Time Complexity

• Same as cond

License

• CC0

Author

• anqooqie

Verified with

• tests/alphabetical_order.test.cpp
• tests/and_convolution/different_lengths.test.cpp
• tests/bell/consistent.test.cpp
• tests/bigdecimal/hand.test.cpp
• tests/bigdecimal/random.test.cpp
• tests/ceil_kth_root.test.cpp
• tests/ceil_log.test.cpp
• tests/ceil_quotients.test.cpp
• tests/ceil_sqrt.test.cpp
• tests/convolution/double.test.cpp
• tests/digit_sum.test.cpp
• tests/directed_line_segment_2d/crosses.test.cpp
• tests/divisor_moebius.test.cpp
• tests/divisor_zeta.test.cpp
• tests/divisors_of_divisor.test.cpp
• tests/extend_hash.test.cpp
• tests/extend_input.test.cpp
• tests/extend_output.test.cpp
• tests/fact_mod_cache.test.cpp
• tests/fill.test.cpp
• tests/find_cycle.test.cpp
• tests/fix.test.cpp
• tests/floor_log.test.cpp
• tests/floor_quotients.test.cpp
• tests/floor_sqrt.test.cpp
• tests/fps/exp_other_mods.test.cpp
• tests/fps/inv_other_mods.test.cpp
• tests/fps/log_other_mods.test.cpp
• tests/fps/pow_other_mods.test.cpp
• tests/gcd_convolution/different_lengths.test.cpp
• tests/greater_equal_moebius.test.cpp
• tests/greater_equal_zeta.test.cpp
• tests/has_mod.test.cpp
• tests/int128_t.test.cpp
• tests/is_group.test.cpp
• tests/is_in_grid.test.cpp
• tests/is_monoid.test.cpp
• tests/is_partitioned.test.cpp
• tests/large_fact_mod_cache/binomial.test.cpp
• tests/lazy_segtree/lazy_segtree/binary_search.test.cpp
• tests/lazy_sparse_segtree/binary_search.test.cpp
• tests/lcm_convolution/different_lengths.test.cpp
• tests/less_equal_moebius.test.cpp
• tests/less_equal_zeta.test.cpp
• tests/linear_sieve.test.cpp
• tests/logn_integer_partition.test.cpp
• tests/mex.test.cpp
• tests/mod.test.cpp
• tests/monoid.test.cpp
• tests/multiple_moebius.test.cpp
• tests/multiple_zeta.test.cpp
• tests/multiset.test.cpp
• tests/online_cumsum.test.cpp
• tests/online_imos.test.cpp
• tests/or_convolution/different_lengths.test.cpp
• tests/ord_mod/query.test.cpp
• tests/partition_function/consistent.test.cpp
• tests/pdsu.test.cpp
• tests/permutation.test.cpp
• tests/persistent_lazy_segtree/binary_search.test.cpp
• tests/polynomial/multidimensional.test.cpp
• tests/polynomial/multipoint_evaluation_other_mods.test.cpp
• tests/quaternion/slerp.test.cpp
• tests/quo.test.cpp
• tests/random_tree.test.cpp
• tests/rational/random.test.cpp
• tests/resize.test.cpp
• tests/reverse.test.cpp
• tests/rotl.test.cpp
• tests/rotr.test.cpp
• tests/run_length.test.cpp
• tests/safe_int.test.cpp
• tests/stirling_1st/consistent.test.cpp
• tests/stirling_2nd/consistent.test.cpp
• tests/subset_moebius.test.cpp
• tests/subset_zeta.test.cpp
• tests/superset_moebius.test.cpp
• tests/superset_zeta.test.cpp
• tests/transposed.test.cpp
• tests/triangular_array.test.cpp
• tests/triangular_array_compressor.test.cpp
• tests/tsort/count.test.cpp
• tests/tsort/query.test.cpp
• tests/tsp.test.cpp
• tests/tuple_hash.test.cpp
• tests/uint128_t.test.cpp
• tests/virtual_vector.test.cpp
• tests/xor_basis.test.cpp
• tests/zero_one_knapsack/solve_by_dp_maximizing_value.test.cpp
• tests/zero_one_knapsack/solve_by_dp_minimizing_weight.test.cpp
• tests/zero_one_knapsack/solve_by_meet_in_the_middle.test.cpp

Code

#ifndef TOOLS_ASSERT_THAT_HPP
#define TOOLS_ASSERT_THAT_HPP

#include <iostream>
#include <cstdlib>

#define assert_that_impl(cond, file, line, func) do {\
  if (!cond) {\
    ::std::cerr << file << ':' << line << ": " << func << ": Assertion `" << #cond << "' failed." << '\n';\
    ::std::exit(EXIT_FAILURE);\
  }\
} while (false)
#define assert_that(...) assert_that_impl((__VA_ARGS__), __FILE__, __LINE__, __func__)

#endif

#line 1 "tools/assert_that.hpp"



#include <iostream>
#include <cstdlib>

#define assert_that_impl(cond, file, line, func) do {\
  if (!cond) {\
    ::std::cerr << file << ':' << line << ": " << func << ": Assertion `" << #cond << "' failed." << '\n';\
    ::std::exit(EXIT_FAILURE);\
  }\
} while (false)
#define assert_that(...) assert_that_impl((__VA_ARGS__), __FILE__, __LINE__, __func__)

Back to top page