ex01_default_arithmetic.cpp

/*
 * Example: ex01_default_arithmetic
 *
 * Purpose:
 * Demonstrate the default primitive aliases and operator pipeline for
 * arithmetic operations without custom policy overrides.
 *
 * Expected results:
 * - All four operations (+, -, *, /) succeed through dispatcher.
 * - The printed values match: sum=42, diff=38, prod=80, quot=20.
 * - Program exits with code 0; otherwise prints an error and exits non-zero.
 */

#include <cstdint>
#include <iostream>

import mcpplibs.primitives;

using namespace mcpplibs::primitives;

int main() {
  // Point 1: Use built-in primitive type aliases and framework operators.
  using namespace mcpplibs::primitives::types;
  using namespace mcpplibs::primitives::operators;

  using value_t = I32<>;

  // Prepare operands.
  auto const a = value_t{40};
  auto const b = value_t{2};

  // Run the four arithmetic operators routed through dispatcher.
  auto const sum = a + b;
  auto const diff = a - b;
  auto const prod = a * b;
  auto const quot = a / b;

  // Validate all dispatches succeeded.
  if (!sum.has_value() || !diff.has_value() || !prod.has_value() ||
      !quot.has_value()) {
    std::cerr << "default arithmetic failed\n";
    return 1;
  }

  std::cout << "sum=" << sum->value() << ", diff=" << diff->value()
            << ", prod=" << prod->value() << ", quot=" << quot->value() << '\n';
  return 0;
}