assert_not_equal.hpp

Go to the documentation of this file.

// SPDX-FileCopyrightText: 2026 Klaus Reimer <k@ailis.de>
// SPDX-License-Identifier: MIT
 
#pragma once
 
#include <format>
#include <string_view>
#include <utility>
 
#include <kaycxx/assert/assertion_error.hpp>
#include <kaycxx/assert/detail/source_location.hpp>
#include <kaycxx/assert/detail/equals.hpp>
#include <kaycxx/assert/detail/to_string.hpp>
 
namespace kaycxx::assert {
 
template <typename Actual, typename Expected>
requires detail::equals_supported<Actual, Expected>
void assert_not_equal(
    Actual const& actual,
    Expected const& expected,
    std::string_view reason = {},
    std::optional<std::source_location> location = KAYCXX_ASSERT_DEFAULT_SOURCE
) {
    if (detail::equals(actual, expected)) {
        auto actual_string = detail::to_string(actual);
        auto expected_string = detail::to_string(expected);
        auto message = std::format("Expected <{}> not to equal <{}>", actual_string, expected_string);
        throw assertion_error(
            message,
            reason,
            std::move(actual_string),
            std::move(expected_string),
            location
        );
    }
}
 
} // namespace kaycxx::assert