File: NOTES.high-precision

package info (click to toggle)
calligra 1%3A2.4.4-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 290,028 kB
  • sloc: cpp: 1,105,019; xml: 24,940; ansic: 11,807; python: 8,457; perl: 2,792; sh: 1,507; yacc: 1,307; ruby: 1,248; sql: 903; lex: 455; makefile: 89
file content (61 lines) | stat: -rw-r--r-- 2,070 bytes parent folder | download | duplicates (7)
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;
};