File: NOTES.high-precision

package info (click to toggle)
calligra 1%3A2.9.11%2Bdfsg-4
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 189,332 kB
  • sloc: cpp: 919,806; xml: 27,759; ansic: 10,472; python: 8,190; perl: 2,724; yacc: 2,557; sh: 1,675; lex: 1,431; java: 1,304; sql: 903; ruby: 734; makefile: 48
file content (61 lines) | stat: -rw-r--r-- 2,070 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
Number class
============

Requirements
------------
- Should increase the numerical precision.
- Should fallback to (long) double and use its operators directly,
  so that the code could be optimized by the compiler.
- High precision support should be either:
    - a run-time option by using plugins (preferred)
    - a compile-time option

Options
-------
- static polymorphism: CRTP
- dynamic polymorphism: interface is a usual class with pure virtual methods;
  Q_DECLARE_INTERFACE, Q_INTERFACES can be used here
- QVariant/QMetaType allows to create objects dynamically on run-time:
    - double can be used directly
    - custom types actually too, but dynamic polymorphism needs pointers
    - QMetaType::construct() returns void*
- using QVariant in the calculation methods to carry the number and create
  a double or the custom type at run-time is possible

Advantages/Drawbacks/Conclusion
-------------------------------
- CRTP allows to inline the methods and using (long) double's operators becomes
  possible
- using virtuals does not allow to inline the methods, if pointer or references
  to the object are used, which is necessary in the case of dynamic binding
- inlining operators does not work with dynamic polymorphism
- having high-precision and the (long) double fallback needs a common base

Impossible solution(s)
----------------------
1.
- derive the type using (long) double type from a base using CRTP approach
- derive the interface for the dynamic binding also from this base
- derive concrete implementations from the interface
Reason:
- inserting a dynamically created type as template parameter into the CRTP base
  is not possible
2.
- use QVariant as data carrier/common base
- mirror QVariant's behaviour in KSpread::Value
Reason:
- the QVariant::Type does not suffice, you need to know the type in order to use
  it

Possible solution(s)
--------------------
0.
- the information, which type is in use, that's a QVariant::Type, should be
  stored per document, more precisely in CalculationSettings


union
{
double a;
void* b;
};