@micro-os-plus/micro-test-plus 3.3.1 → 4.1.0

package/include/micro-os-plus/micro-test-plus/inlines/function-comparators-inlines.h

@@ -55,10 +55,6 @@
 
 // ----------------------------------------------------------------------------
 
-// #include "detail.h"
-
-// ----------------------------------------------------------------------------
-
 #if defined(__GNUC__)
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Waggregate-return"
@@ -68,6 +64,8 @@
 #endif
 #endif
 
+// ============================================================================
+
 namespace micro_os_plus::micro_test_plus
 {
   // --------------------------------------------------------------------------
@@ -81,7 +79,7 @@ namespace micro_os_plus::micro_test_plus
    * the actual and expected values.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   eq (const Lhs_T& lhs, const Rhs_T& rhs)
   {
     return detail::eq_<Lhs_T, Rhs_T>{ lhs, rhs };
@@ -96,7 +94,7 @@ namespace micro_os_plus::micro_test_plus
    * addresses of objects or resources.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   eq (Lhs_T* lhs, Rhs_T* rhs)
   {
     return detail::eq_<Lhs_T*, Rhs_T*>{ lhs, rhs };
@@ -111,7 +109,7 @@ namespace micro_os_plus::micro_test_plus
    * actual and expected values.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   ne (const Lhs_T& lhs, const Rhs_T& rhs)
   {
     return detail::ne_<Lhs_T, Rhs_T>{ lhs, rhs };
@@ -126,7 +124,7 @@ namespace micro_os_plus::micro_test_plus
    * compare the addresses of objects or resources.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   ne (Lhs_T* lhs, Rhs_T* rhs)
   {
     return detail::ne_<Lhs_T*, Rhs_T*>{ lhs, rhs };
@@ -141,7 +139,7 @@ namespace micro_os_plus::micro_test_plus
    * the actual and expected values.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   gt (const Lhs_T& lhs, const Rhs_T& rhs)
   {
     return detail::gt_<Lhs_T, Rhs_T>{ lhs, rhs };
@@ -156,7 +154,7 @@ namespace micro_os_plus::micro_test_plus
    * assertions to compare the addresses of objects or resources.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   gt (Lhs_T* lhs, Rhs_T* rhs)
   {
     return detail::gt_<Lhs_T*, Rhs_T*>{ lhs, rhs };
@@ -171,7 +169,7 @@ namespace micro_os_plus::micro_test_plus
    * and assertions to compare the actual and expected values.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   ge (const Lhs_T& lhs, const Rhs_T& rhs)
   {
     return detail::ge_<Lhs_T, Rhs_T>{ lhs, rhs };
@@ -187,7 +185,7 @@ namespace micro_os_plus::micro_test_plus
    * resources.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   ge (Lhs_T* lhs, Rhs_T* rhs)
   {
     return detail::ge_<Lhs_T*, Rhs_T*>{ lhs, rhs };
@@ -202,7 +200,7 @@ namespace micro_os_plus::micro_test_plus
    * the actual and expected values.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   lt (const Lhs_T& lhs, const Rhs_T& rhs)
   {
     return detail::lt_<Lhs_T, Rhs_T>{ lhs, rhs };
@@ -217,7 +215,7 @@ namespace micro_os_plus::micro_test_plus
    * compare the addresses of objects or resources.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   lt (Lhs_T* lhs, Rhs_T* rhs)
   {
     return detail::lt_<Lhs_T*, Rhs_T*>{ lhs, rhs };
@@ -232,7 +230,7 @@ namespace micro_os_plus::micro_test_plus
    * assertions to compare the actual and expected values.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   le (const Lhs_T& lhs, const Rhs_T& rhs)
   {
     return detail::le_<Lhs_T, Rhs_T>{ lhs, rhs };
@@ -248,12 +246,15 @@ namespace micro_os_plus::micro_test_plus
    * resources.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   le (Lhs_T* lhs, Rhs_T* rhs)
   {
     return detail::le_<Lhs_T*, Rhs_T*>{ lhs, rhs };
   }
 
+  // --------------------------------------------------------------------------
+  // Logical operators.
+
   /**
    * @details
    * The `_not` function template provides a generic logical negation for any
@@ -266,7 +267,7 @@ namespace micro_os_plus::micro_test_plus
    * from the standard logical not operator.
    */
   template <class Expr_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   _not (const Expr_T& expr)
   {
     return detail::not_<Expr_T>{ expr };
@@ -284,7 +285,7 @@ namespace micro_os_plus::micro_test_plus
    * from the standard logical and operator.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   _and (const Lhs_T& lhs, const Rhs_T& rhs)
   {
     return detail::and_<Lhs_T, Rhs_T>{ lhs, rhs };
@@ -302,12 +303,15 @@ namespace micro_os_plus::micro_test_plus
    * from the standard logical or operator.
    */
   template <class Lhs_T, class Rhs_T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   _or (const Lhs_T& lhs, const Rhs_T& rhs)
   {
     return detail::or_<Lhs_T, Rhs_T>{ lhs, rhs };
   }
 
+  // --------------------------------------------------------------------------
+  // Utility functions.
+
   /**
    * @details
    * The `mut` function template provides a safe and generic mechanism to
@@ -317,7 +321,7 @@ namespace micro_os_plus::micro_test_plus
    * testing scenarios where controlled mutation of test data is required.
    */
   template <class T>
-  [[nodiscard]] constexpr auto
+  constexpr auto
   mut (const T& t) noexcept -> T&
   {
     return const_cast<T&> (t);

package/include/micro-os-plus/micro-test-plus/inlines/literals-inlines.h

@@ -58,8 +58,6 @@
 
 #include <cstdint>
 
-// #include "type-traits.h"
-
 // ----------------------------------------------------------------------------
 
 #if defined(__GNUC__)
@@ -71,6 +69,8 @@
 #endif
 #endif
 
+// ===========================================================================
+
 namespace micro_os_plus::micro_test_plus
 {
   // --------------------------------------------------------------------------
@@ -90,7 +90,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_i ()
     {
       return type_traits::integral_constant<math::num<int, Cs...> ()>{};
@@ -108,7 +108,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_s ()
     {
       return type_traits::integral_constant<math::num<short, Cs...> ()>{};
@@ -126,7 +126,7 @@ namespace micro_os_plus::micro_test_plus
      * comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_c ()
     {
       return type_traits::integral_constant<math::num<char, Cs...> ()>{};
@@ -144,7 +144,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_sc ()
     {
       return type_traits::integral_constant<
@@ -163,7 +163,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_l ()
     {
       return type_traits::integral_constant<math::num<long, Cs...> ()>{};
@@ -181,7 +181,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_ll ()
     {
       return type_traits::integral_constant<math::num<long long, Cs...> ()>{};
@@ -199,7 +199,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_u ()
     {
       return type_traits::integral_constant<math::num<unsigned, Cs...> ()>{};
@@ -217,7 +217,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_uc ()
     {
       return type_traits::integral_constant<
@@ -236,7 +236,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_us ()
     {
       return type_traits::integral_constant<
@@ -255,7 +255,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_ul ()
     {
       return type_traits::integral_constant<
@@ -274,7 +274,7 @@ namespace micro_os_plus::micro_test_plus
      * comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_ull ()
     {
       return type_traits::integral_constant<
@@ -293,7 +293,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_i8 ()
     {
       return type_traits::integral_constant<
@@ -312,7 +312,7 @@ namespace micro_os_plus::micro_test_plus
      * comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_i16 ()
     {
       return type_traits::integral_constant<
@@ -331,7 +331,7 @@ namespace micro_os_plus::micro_test_plus
      * comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_i32 ()
     {
       return type_traits::integral_constant<
@@ -350,7 +350,7 @@ namespace micro_os_plus::micro_test_plus
      * seamlessly with the µTest++ comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_i64 ()
     {
       return type_traits::integral_constant<
@@ -369,7 +369,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_u8 ()
     {
       return type_traits::integral_constant<
@@ -388,7 +388,7 @@ namespace micro_os_plus::micro_test_plus
      * comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_u16 ()
     {
       return type_traits::integral_constant<
@@ -407,7 +407,7 @@ namespace micro_os_plus::micro_test_plus
      * comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_u32 ()
     {
       return type_traits::integral_constant<
@@ -426,7 +426,7 @@ namespace micro_os_plus::micro_test_plus
      * seamlessly with the µTest++ comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_u64 ()
     {
       return type_traits::integral_constant<
@@ -445,7 +445,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_f ()
     {
       return type_traits::floating_point_constant<
@@ -466,7 +466,7 @@ namespace micro_os_plus::micro_test_plus
      * and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_d ()
     {
       return type_traits::floating_point_constant<
@@ -487,7 +487,7 @@ namespace micro_os_plus::micro_test_plus
      * comparators and reporting mechanisms.
      */
     template <char... Cs>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     operator""_ld ()
     {
       return type_traits::floating_point_constant<
@@ -509,9 +509,7 @@ namespace micro_os_plus::micro_test_plus
      *
      * The returned type is a lightweight wrapper that behaves as a `bool` and
      * supports equality comparison with both other named instances and boolean
-     * values.
-     *
-     * @note This operator is intended to facilitate expressive and type-safe
+     * values. This operator is intended to facilitate expressive and type-safe
      * test conditions.
      */
     constexpr auto
@@ -523,7 +521,6 @@ namespace micro_os_plus::micro_test_plus
        * @details
        * This structure inherits from `std::string_view` and a type trait base,
        * providing a strongly-typed boolean value for use in test expressions.
-       *
        * It defines conversion to `bool` and equality operators for comparison
        * with other named instances and boolean values.
        */
@@ -543,7 +540,7 @@ namespace micro_os_plus::micro_test_plus
          * Always returns `true`, representing the presence of the named
          * literal in a test context.
          */
-        [[nodiscard]] constexpr
+        constexpr
         operator value_type () const
         {
           return true;
@@ -558,7 +555,7 @@ namespace micro_os_plus::micro_test_plus
          * Always returns `true`, indicating that any two named literals are
          * considered equal in this context.
          */
-        [[nodiscard]] constexpr auto
+        constexpr auto
         operator== (const named&) const
         {
           return true;
@@ -573,7 +570,7 @@ namespace micro_os_plus::micro_test_plus
          * Returns the value of the boolean operand, allowing the named literal
          * to be compared directly with a boolean.
          */
-        [[nodiscard]] constexpr auto
+        constexpr auto
         operator== (const bool other) const
         {
           return other;
@@ -586,6 +583,28 @@ namespace micro_os_plus::micro_test_plus
     // ------------------------------------------------------------------------
   } // namespace literals
 
+  // ==========================================================================
+
+  /**
+   * @details
+   * Constructs an `_t` instance by forwarding the provided value to the base
+   * `type_traits::value<T>` wrapper.
+   */
+  template <class T>
+  constexpr _t<T>::_t (const T& t) : type_traits::value<T>{ t }
+  {
+  }
+
+  /**
+   * @details
+   * Constructs a `to_t` instance by forwarding the provided value to the
+   * base `type_traits::value<T>` wrapper.
+   */
+  template <class T>
+  constexpr to_t<T>::to_t (const T& t) : type_traits::value<T>{ t }
+  {
+  }
+
   // --------------------------------------------------------------------------
 } // namespace micro_os_plus::micro_test_plus
 

package/include/micro-os-plus/micro-test-plus/inlines/math-inlines.h

@@ -56,8 +56,6 @@
 
 #include <cstdint>
 
-// #include "type-traits.h"
-
 // ----------------------------------------------------------------------------
 
 #if defined(__GNUC__)
@@ -66,9 +64,12 @@
 #if defined(__clang__)
 #pragma clang diagnostic ignored "-Wc++98-compat"
 #pragma clang diagnostic ignored "-Wc++98-compat-pedantic"
+#pragma clang diagnostic ignored "-Wc++20-compat"
 #endif
 #endif
 
+// ============================================================================
+
 namespace micro_os_plus::micro_test_plus
 {
   // --------------------------------------------------------------------------
@@ -92,8 +93,8 @@ namespace micro_os_plus::micro_test_plus
      * less efficient, or not constexpr.
      */
     template <class T>
-    [[nodiscard]] constexpr auto
-    abs (const T t) -> T
+    constexpr auto
+    abs (const T t) noexcept -> T
     {
       return t < T{} ? -t : t;
     }
@@ -113,8 +114,8 @@ namespace micro_os_plus::micro_test_plus
      * less efficient, or not constexpr.
      */
     template <class T>
-    [[nodiscard]] constexpr auto
-    min_value (const T& lhs, const T& rhs) -> const T&
+    constexpr auto
+    min_value (const T& lhs, const T& rhs) noexcept -> const T&
     {
       return (rhs < lhs) ? rhs : lhs;
     }
@@ -123,9 +124,9 @@ namespace micro_os_plus::micro_test_plus
      * @details
      * This function template provides a constexpr implementation for raising a
      * base value to a given exponent, supporting any types that allow
-     * multiplication and subtraction.
+     * multiplication.
      *
-     * The function recursively multiplies the base by itself exponent times.
+     * The function iteratively multiplies the base by itself exponent times.
      * If the exponent is zero, the function returns one (the multiplicative
      * identity for the type).
      *
@@ -134,11 +135,13 @@ namespace micro_os_plus::micro_test_plus
      * less efficient, or not constexpr.
      */
     template <class T, class Exp_T>
-    [[nodiscard]] constexpr auto
-    pow (const T base, const Exp_T exp) -> T
+    constexpr auto
+    pow (const T base, const Exp_T exp) noexcept -> T
     {
-      // If the exponent is 0, return 1, otherwise recurse.
-      return exp ? T (base * pow (base, exp - Exp_T (1))) : T (1);
+      T result{ 1 };
+      for (Exp_T i{}; i < exp; ++i)
+        result *= base;
+      return result;
     }
 
     /**
@@ -156,7 +159,7 @@ namespace micro_os_plus::micro_test_plus
      * conversion from character sequences to integral values.
      */
     template <class T, char... Cs>
-    [[nodiscard]] constexpr auto
+    consteval auto
     num (void) -> T
     {
       // Assume all are digits or dot or apostrophe.
@@ -196,9 +199,11 @@ namespace micro_os_plus::micro_test_plus
      * values.
      */
     template <class T, char... Cs>
-    [[nodiscard]] constexpr auto
+    consteval auto
     den (void) -> T
     {
+      static_assert ((... || (Cs == '.')),
+                     "den(): no decimal point in literal");
       constexpr const std::array cs{ Cs... };
       T result{};
       auto i = 0u;
@@ -229,9 +234,11 @@ namespace micro_os_plus::micro_test_plus
      * determination of decimal precision from character sequences.
      */
     template <class T, char... Cs>
-    [[nodiscard]] constexpr auto
+    consteval auto
     den_size (void) -> T
     {
+      static_assert ((... || (Cs == '.')),
+                     "den_size(): no decimal point in literal");
       constexpr const std::array cs{ Cs... };
       T i{};
 #if defined(__GNUC__)
@@ -265,7 +272,7 @@ namespace micro_os_plus::micro_test_plus
      * determination of decimal precision from floating-point values.
      */
     template <class T, class Value_T>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     den_size (Value_T value) -> T
     {
       constexpr auto precision = Value_T (1e-7);
@@ -276,11 +283,10 @@ namespace micro_os_plus::micro_test_plus
           value *= 10;
 #if defined(__GNUC__)
 #pragma GCC diagnostic push
-#if !defined(__clang__) // GCC only
-#pragma GCC diagnostic ignored "-Warith-conversion"
-#endif
 #if defined(__clang__)
 #pragma clang diagnostic ignored "-Wimplicit-int-float-conversion"
+#else // GCC only
+#pragma GCC diagnostic ignored "-Warith-conversion"
 #endif
 #endif
           tmp = value - T (value);