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

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

@@ -64,7 +64,7 @@
 #endif
 #endif
 
-// ===========================================================================
+// ============================================================================
 
 namespace micro_os_plus::micro_test_plus
 {
@@ -79,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 };
@@ -94,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 };
@@ -109,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 };
@@ -124,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 };
@@ -139,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 };
@@ -154,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 };
@@ -169,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 };
@@ -185,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 };
@@ -200,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 };
@@ -215,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 };
@@ -230,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 };
@@ -246,7 +246,7 @@ 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 };
@@ -267,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 };
@@ -285,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 };
@@ -303,71 +303,12 @@ 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 };
   }
 
-  // --------------------------------------------------------------------------
-  // Exceptions related comparators.
-
-#if defined(__cpp_exceptions)
-
-  /**
-   * @details
-   * The `throws` function template verifies whether invoking the provided
-   * callable object results in the throwing of a specific exception type
-   * within the µTest++ framework. This is useful for testing error handling
-   * and exception safety in code under test.
-   *
-   * The function returns an output stream, allowing optional messages to be
-   * appended to the test report for diagnostic purposes.
-   */
-  template <class Exception_T, class Callable_T>
-  [[nodiscard]] constexpr auto
-  throws (const Callable_T& func)
-  {
-    return detail::throws_<Callable_T, Exception_T>{ func };
-  }
-
-  /**
-   * @details
-   * The `throws` function template verifies whether invoking the provided
-   * callable object results in the throwing of any exception within the
-   * µTest++ framework. This is useful for testing general exception safety and
-   * ensuring that code under test properly signals error conditions.
-   *
-   * The function returns an output stream, allowing optional messages to be
-   * appended to the test report for diagnostic purposes.
-   */
-  template <class Callable_T>
-  [[nodiscard]] constexpr auto
-  throws (const Callable_T& func)
-  {
-    return detail::throws_<Callable_T>{ func };
-  }
-
-  /**
-   * @details
-   * The `nothrow` function template verifies whether invoking the provided
-   * callable object does not result in the throwing of any exception within
-   * the µTest++ framework. This is useful for testing exception safety and
-   * ensuring that code under test does not unexpectedly signal error
-   * conditions.
-   *
-   * The function returns an output stream, allowing optional messages to be
-   * appended to the test report for diagnostic purposes.
-   */
-  template <class Callable_T>
-  [[nodiscard]] constexpr auto
-  nothrow (const Callable_T& func)
-  {
-    return detail::nothrow_<Callable_T>{ func };
-  }
-
-#endif // defined(__cpp_exceptions)
-
   // --------------------------------------------------------------------------
   // Utility functions.
 
@@ -380,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

@@ -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<
@@ -540,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;
@@ -555,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;
@@ -570,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;
@@ -583,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

@@ -93,7 +93,7 @@ namespace micro_os_plus::micro_test_plus
      * less efficient, or not constexpr.
      */
     template <class T>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     abs (const T t) noexcept -> T
     {
       return t < T{} ? -t : t;
@@ -114,7 +114,7 @@ namespace micro_os_plus::micro_test_plus
      * less efficient, or not constexpr.
      */
     template <class T>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     min_value (const T& lhs, const T& rhs) noexcept -> const T&
     {
       return (rhs < lhs) ? rhs : lhs;
@@ -135,7 +135,7 @@ namespace micro_os_plus::micro_test_plus
      * less efficient, or not constexpr.
      */
     template <class T, class Exp_T>
-    [[nodiscard]] constexpr auto
+    constexpr auto
     pow (const T base, const Exp_T exp) noexcept -> T
     {
       T result{ 1 };
@@ -159,7 +159,7 @@ namespace micro_os_plus::micro_test_plus
      * conversion from character sequences to integral values.
      */
     template <class T, char... Cs>
-    [[nodiscard]] consteval auto
+    consteval auto
     num (void) -> T
     {
       // Assume all are digits or dot or apostrophe.
@@ -199,7 +199,7 @@ namespace micro_os_plus::micro_test_plus
      * values.
      */
     template <class T, char... Cs>
-    [[nodiscard]] consteval auto
+    consteval auto
     den (void) -> T
     {
       static_assert ((... || (Cs == '.')),
@@ -234,7 +234,7 @@ namespace micro_os_plus::micro_test_plus
      * determination of decimal precision from character sequences.
      */
     template <class T, char... Cs>
-    [[nodiscard]] consteval auto
+    consteval auto
     den_size (void) -> T
     {
       static_assert ((... || (Cs == '.')),
@@ -272,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);