stillwater-sc / universal / 25665656693

84%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(erational): partial constexpr support (API surface) (#827)

* feat(erational): partial constexpr support (API surface)

Promote the erational type's user-facing surface to constexpr where
C++20's transient-allocation rule and edecimal's own constexpr
boundary permit.  erational is composed of two edecimal members
(numerator and denominator), each carrying a std::vector<uint8_t>
digit storage.  Mirrors the partial-constexpr playbook from PR #820
(unum), #821 (valid), #824 (edecimal), #825 (efloat), #826 (einteger).

Promoted (this PR)

  * default constructor: constexpr / noexcept; uses
    std::is_constant_evaluated() to keep parallel invariants -- at
    constant evaluation, numerator/denominator stay default-constructed
    empty edecimals (recognized as zero by edecimal::iszero); at
    runtime setzero() restores the historical "0/1" representation
    that arithmetic and the existing comparison operators rely on
  * defaulted copy / move ctor + assignment operators marked constexpr
    (rely on edecimal's now-constexpr defaulted copy/move from #824)
  * selectors marked constexpr: iszero, isneg, ispos, isinf, isnan,
    sign, top, bottom -- delegate to constexpr-clean edecimal
    selectors or read trivial bool members
  * sign-only modifiers marked constexpr: setsign, setneg, setpos

Constexpr-callable surface today (gcc + clang, C++20)

  * Default ctor + selectors at constant evaluation
  * Sign modifier round-trips at constant evaluation
  * Copy / copy-assignment at constant evaluation

Limited at constant evaluation today (heap-escape + composite boundary)

  * Native-type ctors and operator=        - chain to convert_signed/
                                             unsigned/ieee754 -> edecimal
                                             heap operations
  * Arithmetic operators (+= -= *= /=)     - chain through edecimal
                                             arithmetic which is
                                             non... (continued)

Coverage Stats

12 of 16 new or added lines in 1 file covered. (75.0%)

7 existing lines in 2 files now uncovered.

45891 of 54663 relevant lines covered (83.95%)

6481426.02 hits per line