From 0df0fd001e5c821ebf85676c51342cbb5ed48b87 Mon Sep 17 00:00:00 2001 From: Ichthyostega Date: Sun, 21 May 2023 23:45:45 +0200 Subject: [PATCH] Library: fix follow-up problems with const correctness ...the improved const correctness on STL iterators uncovered another latent problem with out diagnositc format helper, which provide consistently rounded float and double output, but failed to take CV-qualifiaction into account --- src/lib/format-obj.hpp | 5 +- src/lib/meta/trait.hpp | 10 +- src/lib/meta/util.hpp | 3 + tests/library/format-helper-test.cpp | 5 +- wiki/thinkPad.ichthyo.mm | 186 +++++++++++++++++++++------ 5 files changed, 163 insertions(+), 46 deletions(-) diff --git a/src/lib/format-obj.hpp b/src/lib/format-obj.hpp index a4f7c8a87..31d951adf 100644 --- a/src/lib/format-obj.hpp +++ b/src/lib/format-obj.hpp @@ -168,12 +168,15 @@ namespace util { * by boost::lexical_cast. For double or float values, hard wired * rounding to a fixed number of digits will be performed, to yield * a predictable display of printed unit-test results. + * @remark while the actual parameter is passed by const-ref, + * cv-qualifiactions and references are stripped from the type */ template inline std::string toString (TY const& val) noexcept { - return StringConv::invoke (val); + using PlainVal = typename lib::meta::Strip::TypeReferred; + return StringConv::invoke (val); } diff --git a/src/lib/meta/trait.hpp b/src/lib/meta/trait.hpp index b65dba404..cefed5668 100644 --- a/src/lib/meta/trait.hpp +++ b/src/lib/meta/trait.hpp @@ -146,7 +146,7 @@ namespace meta { struct Unwrap : std::true_type { - using Type = typename std::remove_cv::type; + using Type = remove_cv_t; static Type& extract (const X* ptr) @@ -246,10 +246,10 @@ namespace meta { template struct Strip { - using TypeUnconst = typename std::remove_cv ::type; - using TypeReferred = typename std::remove_reference::type; - using TypePointee = typename std::remove_pointer ::type; - using TypePlain = typename std::remove_cv ::type; + using TypeUnconst = remove_cv_t; + using TypeReferred = remove_reference_t; + using TypePointee = remove_pointer_t; + using TypePlain = remove_cv_t; using Type = typename Unwrap::Type; }; diff --git a/src/lib/meta/util.hpp b/src/lib/meta/util.hpp index c86bb7eff..c64a0e714 100644 --- a/src/lib/meta/util.hpp +++ b/src/lib/meta/util.hpp @@ -347,8 +347,11 @@ namespace util { * the danger of creating much header inclusion and code size bloat. A more * elaborate, [extended solution](\ref lib::toString), including _lexical conversions * for numbers,_ is defined in format-obj.hpp + * @tparam X the nominal type to base the string conversion on; should be + * a plain type (class or value) without CV-qualification and references * @note any exceptions during string conversion are caught and silently ignored; * the returned string indicates "↯" in this case. + * @see util::toString() a user friendly front-end */ template struct StringConv diff --git a/tests/library/format-helper-test.cpp b/tests/library/format-helper-test.cpp index be22577ea..f89777895 100644 --- a/tests/library/format-helper-test.cpp +++ b/tests/library/format-helper-test.cpp @@ -29,6 +29,7 @@ #include "lib/format-util.hpp" #include "lib/format-string.hpp" #include "lib/iter-adapter-stl.hpp" +#include "lib/test/test-helper.hpp" #include "lib/error.hpp" #include @@ -215,7 +216,7 @@ namespace test { "6.6--+--" "7.7--+--" "8.8--+--" - "9.9"); + "9.9"_expect); CHECK (join (transformIterator(eachElm(dubious), justCount)) == "Nr.01(0.0), " "Nr.02(2.2), " @@ -226,7 +227,7 @@ namespace test { "Nr.07(13.2), " "Nr.08(15.4), " "Nr.09(17.6), " - "Nr.10(19.8)" ); + "Nr.10(19.8)"_expect); } diff --git a/wiki/thinkPad.ichthyo.mm b/wiki/thinkPad.ichthyo.mm index 5c5f36783..9f82ed3f8 100644 --- a/wiki/thinkPad.ichthyo.mm +++ b/wiki/thinkPad.ichthyo.mm @@ -54407,8 +54407,7 @@ das ist der wichtigste Part: ich grenze mich hier explizit von der STL ab;  ein »Lumiera Forward Iterator« ist nicht eine besondere Art von Pointer — wir wissen sonst wirklich nichts, und wir verzichten auf ein absolut optimale Performance. Und wir bieten keinerlei  weitere Features, wie Rückwärts-Iteration, random-access, Löschen und Einfügen. Einen einmal verbrauchten Iterator kann man nur noch wegwerfen.

- - + @@ -54431,8 +54430,7 @@ offensichtlich habe ich das gleiche Problem hier mehrfach gelöst und das dann wieder vergessen

- - + @@ -70514,10 +70512,10 @@ - - - - + + + + @@ -70534,8 +70532,7 @@ denn diese ist am aller fragwürdigsten

- - + @@ -70607,8 +70604,7 @@ ...was wohl genau daran liegt, daß das TypeBinding bisher konzeptionell "daneben" war

- - + @@ -70671,8 +70667,7 @@ hier ist ein Hinweis auf TICKET #1125 : get rid of Val

- - + @@ -70694,17 +70689,57 @@ - + + + + + + + + + + + + + + +

+ analog zu meta::Strip, nur weniger aggressiv +

+
    +
  • + Referenzen werden nivelliert +
    • +
  • + Pointer bleiben ein separater Typ +
    • +
+ + + + + + + + + + + + + + - + - - + + + + @@ -70724,7 +70759,8 @@ - + + @@ -70744,7 +70780,7 @@ - + @@ -70775,7 +70811,7 @@ - + @@ -70830,7 +70866,7 @@ - + @@ -70858,12 +70894,12 @@ - + - + - + @@ -70888,7 +70924,7 @@ - + @@ -70908,13 +70944,13 @@ - + - + @@ -70961,7 +70997,7 @@ - + @@ -70983,9 +71019,90 @@ + + + + - - + + + + + + +

+ der Double wird nämlich (wohlweislich) für diese Diagnostic-Anzeige auf 8 Stellen gerundet ... genau wegen Probemen wie hier +

+ + + + + + + + + + + + +

+ 1 * 1.1 = 1.100000000000000000000000000001 +

+ + + + + + + + + + + + + + + + +

+ konkret: double verhält sich anders als const double oder volatile double +

+ + + + + + + + + + + + + +
    +
  • + lib/meta/util.hpp wird pervasiv verwendet und darf daher nahezu keine weiteren Includes vorraussetzen +
    • +
  • + demgegenüber wiegt lib/meta/trait.hpp schon mehr +
    • +
  • + und die Format-Funktionen können auch Itertools etc. mit includieren (denn sie werden i.d.r. aus der Implementierung heraus verwendet) +
    • +
+ + + + + + + + + + + + @@ -71036,13 +71153,6 @@ - - - - - - -