assert.h

Go to the documentation of this file.

/*
 * Copyright 2022 MusicScience37 (Kenta Kabashima)
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
#pragma once
 
#include <cstdio>
#include <cstdlib>
#include <string_view>
 
#include <fmt/base.h>
 
#include "num_collect/util/source_info_view.h"
 
namespace num_collect::util::impl {
 
[[noreturn]] inline void handle_assertion_failure(
    std::string_view condition_str,
    source_info_view source = source_info_view()) {
    fmt::print(stderr, "Assertion failed at {}:{} ({}): {}\n",
        source.file_path(), source.line(), source.function_name(),
        condition_str);
    std::abort();
}
 
}  // namespace num_collect::util::impl
 
#define NUM_COLLECT_ASSERT_IMPL(CONDITION) /* NOLINT */                        \
    do {                                   /* NOLINT */                        \
        if (!(CONDITION)) [[unlikely]] {                                       \
            ::num_collect::util::impl::handle_assertion_failure((#CONDITION)); \
        }                                                                      \
    } while (false) /* NOLINT */
 
#define NUM_COLLECT_ASSERT(CONDITION)  /* NOLINT */ \
    NUM_COLLECT_ASSERT_IMPL(CONDITION) /* NOLINT */
 
#ifdef NUM_COLLECT_DOCUMENTATION
#define NUM_COLLECT_DEBUG_ASSERT(CONDITION) NUM_COLLECT_ASSERT(CONDITION)
#elif !defined(NDEBUG)
#define NUM_COLLECT_DEBUG_ASSERT(CONDITION) /* NOLINT */ \
    NUM_COLLECT_ASSERT(CONDITION)           /* NOLINT */
#else
#define NUM_COLLECT_DEBUG_ASSERT(CONDITION) /* NOLINT */ [] {}()
#endif