int_finder.cpp

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: © 2026 Larry Chips <larry@larrychips.net>
 * SPDX-Licence-Identifier: MIT
 */
#include "samples_output.hpp"
#include "samples_types_printer.hpp"
 
#include <ugmisc/int_finder.hpp>
 
#include <cstdint>
 
 
 
 
template<typename PosType, auto MinHealth, auto MaxHealth, auto StartHealth=MaxHealth>
struct Mob {
    static_assert(MinHealth <= StartHealth);
    static_assert(MaxHealth >= StartHealth);
 
    using Health = ugmisc::least_required_int_type<
            ugmisc::SELECT_VALUE_SIGN,
            MinHealth, MaxHealth, StartHealth
            >;
 
    using Position = PosType;
 
    static constexpr Health maxHitPoints = (Health)MaxHealth;
    static constexpr Health minHitPoints = (Health)MinHealth;
 
    /*
     * Actual data starts here.
     */
    Health hitPoints = (Health)StartHealth;
    Position position;
};
 
 
 
 
template<auto MinX, auto MinY, auto MaxX, auto MaxY>
struct Position {
    using Coord = ugmisc::least_required_int_type<
        ugmisc::SELECT_VALUE_SIGN,
        MinX, MinY, MaxX, MaxY
        >;
 
    static constexpr Position minLimit = { (Coord)MinX, (Coord)MinY };
    static constexpr Position maxLimit = { (Coord)MaxX, (Coord)MaxY };
 
    Coord x, y;
};
 
 
 
int main(int, char**) {
    SampleOutput out;
    auto always = out.always();
    auto expect = out.expect();
 
    /*
     * This should cause Enemy::Position::Coord to be int16_t.
     * Health will be uint16_t.
     */
    using Enemy = Mob<Position<-200, -200, 200, 200>, 0, 300>;
 
    always << "Enemy = Mob<Position<-200, -200, 200, 200>, 0, 300>\n"
        "Enemy::Health: ";
    out << getTypeName<typename Enemy::Health>() << "\n";
    expect << getTypeName<std::uint16_t>() << "\n";
 
    always << "Enemy::Position::Coord: ";
    out << getTypeName<typename Enemy::Position::Coord>() << "\n";
    expect << getTypeName<std::int16_t>() << "\n";
 
    return 0;
}