←back to thread

Show HN: Floating point arithmetic types in C++ for any size and any base

(github.com)
67 points seg_fault | 1 comments | 18 Oct 24 17:42 UTC | HN request time: 0.293s | source

Since there is so much interest on HN in floats lately and their software implementations, I wanted to show mine. It has no use and is just for teaching me floats and C++. Give me your thoughts.
Show context
listeria ◴[21 Oct 24 20:27 UTC] No.41908198[source]▶
Consider dropping the specializations for the type traits, given that it's undefined behavior:

https://en.cppreference.com/w/cpp/types/is_fundamental

https://en.cppreference.com/w/cpp/types/is_floating_point

https://en.cppreference.com/w/cpp/types/is_arithmetic

https://en.cppreference.com/w/cpp/types/is_scalar

https://en.cppreference.com/w/cpp/types/is_object

replies(2): >>41908384 #>>41909333 #
seg_fault ◴[21 Oct 24 20:48 UTC] No.41908384[source]▶
I don't get what you mean. I thought they specify how the type can be used?
replies(2): >>41908617 #>>41908663 #
1. badmintonbaseba ◴[21 Oct 24 21:25 UTC] No.41908663[source]▶
The cppreference page says:

> If the program adds specializations for std::is_fundamental or std::is_fundamental_v, the behavior is undefined.

This is an oversimplification. The actual rule is https://eel.is/c++draft/library#namespace.std-2 .

> the specialization meets the standard library requirements for the original template.

For is_fundamental<YourClassType> it means that is_fundamental<YourClassType>::value must be false, as YourClassType is not a fundamental type, as defined in https://eel.is/c++draft/basic.fundamental#17 .

Some traits are just not designed to be customization points.