Überschriben von static constexpr in Ableitung

Ich glaube ohne virtual kommst du hier nicht aus. Basis::show kennt ja 
nur seine Variablen. Es könnten ja auch verschiedene Klassen von Basis 
ableiten, aber dadurch würde Basis ja noch den gleichen Code haben. Mit 
virtual schaut man dann zur Laufzeit, ob es eine Ableitung gibt.

Wenn dein size Member kein static ist, dann könntest du dem im 
Konstruktor von Ableitung einen neuen Wert zuweisen.

Und noch ein Tipp zu deinem Code. In C++ würde ich kein new und delete 
verwenden, sondern das ganze in einen Smartpointer tun. In deinen Fall 
wäre es ein std::unique_ptr. Dann wird der Speicher immer freigegeben, 
egal ob man mit einem Return oder einer exception aussteigt.

Detlef W. schrieb:
> Wie erreiche ich, dass ich das von mir erwartete 1 erhalte, am besten
> ohne für jede Variable einen virtuellen getter zu schreiben?

Du hast die Mechanik der Vererbung noch nicht verstanden: eine 
Basisklasse kennt die von ihr abgeleiteten Klassen nicht.

Man könnte in der Basis-Klasse einen downcast auf Ableitung machen. Dies 
ist aber extrem unschön und in C++ nicht möglich.

Man es mit CRTP erreichen:

1

template<typename D>

2

class Basis {

3

public:

4

    void show() const {

5

        const D* const d = static_cast<const D*>(this);

6

        std::cout << d->size << std::endl;

7

    }

8

    constexpr static uint32_t size = 0;

9

};

10

11

class Ableitung : public Basis<Ableitung> {

12

public:

13

    constexpr static uint32_t size = 1;

14

};

15

16

int main() {

17

    const auto ableitung = std::make_unique<const Ableitung>();

18

    ableitung->show();

19

}

Dabei habe ich gleich einige absolute Basics korrigiert, die Du Dir auch 
nochmal anschauen solltest.

Detlef W. schrieb:
>Wie erreiche ich, dass ich das von mir erwartete 1 erhalte, am besten
>ohne für jede Variable einen virtuellen getter zu schreiben?

Dein show() oben war kein getter. Zudem vermeiden diesen Begriff: besser 
Beobachter oder const-Elementfunktion.

Zudem ist das Vorgehen sinnlos.

Wilhelm M. schrieb:
> Du hast die Mechanik der Vererbung noch nicht verstanden: eine
> Basisklasse kennt die von ihr abgeleiteten Klassen nicht.

Und das ist etwas was für mich an C++ nicht so schön ist. Einiges 
funktioniert nicht wie man es von der Logik her erwarten würde. Wenn ich 
eine Ableitung erstelle und diese instaziere, erwarte ich - rein von der 
Logik her - das die Instanz zuerst auf die Daten und Methoden der 
Ableitung zugreift und erst wenn sie dort nicht verfügbar sind auf die 
Elternklasse.

Ich werde dann wohl den Weg gehen, mir über virtuelle Methoden die Werte 
zu holen.

Da ich darauf hingewiesen wurde außerden besser Smartpointer zu 
verwenden, wie schlägt das beim Speicherverbrauch (Flash / RAM) zu 
Buche? Da die Bibliothek auch auf MCs laufen soll, bin ich was das 
angeht sehr Vorsichtig.

re schrieb:
> Nur shared-pointer schleppen noch u.a. den Verweis auf den
> Referenzzähler mit sich herum, sind also ein paar Bytes größer, und
> müssen eben noch dieses gemeinsame Verwaltungsobjekt instanzieren.

Und das ist am effektivsten mit std::make_shared(...) statt eines 
std::shared_ptr<A>{new A(...)}. Im modernem C++-Code kommt new/delete 
explizit nicht mehr vor.

Detlef W. schrieb:
> Ich werde dann wohl den Weg gehen, mir über virtuelle Methoden die Werte
> zu holen.

Das sind halt grundlegenden Prinzipien in C++, die lassen sich nicht 
durch logisches Nachdenken erahnen, die muß man einfach einmal lernen.

Oliver

Danke für die Infos :) wieder was gelernt

Detlef W. schrieb:
> Und das ist etwas was für mich an C++ nicht so schön ist. Einiges
> funktioniert nicht wie man es von der Logik her erwarten würde. Wenn ich
> eine Ableitung erstelle und diese instaziere, erwarte ich - rein von der
> Logik her - das die Instanz zuerst auf die Daten und Methoden der
> Ableitung zugreift und erst wenn sie dort nicht verfügbar sind auf die
> Elternklasse.

C++ verfolgt das Prinzip, dass man nur für das bezahlt, was man braucht. 
Die Basisklasse soll und kann nicht alle Ableitungen kennen. (z.B. weil 
diese in einer Bibliothek ist, die Ableitungen aber im Projekt, das die 
Bibliothek nutzt).
Um das von dir erwartete Verhalten zu haben, müsste die Basis zur 
Laufzeit prüfen, ob es in der Ableitung eine überschriebene Variante 
gibt. Dies kostet aber Rechenzeit. Wenn man dieses Verhalten explizit 
haben möchte, dann kann man es mit virtual anfordern.

Detlef W. schrieb:
> Da ich darauf hingewiesen wurde außerden besser Smartpointer zu
> verwenden, wie schlägt das beim Speicherverbrauch (Flash / RAM) zu
> Buche? Da die Bibliothek auch auf MCs laufen soll, bin ich was das
> angeht sehr Vorsichtig.

Für Einsteiger ist es in C++ tatsächlich schwer zu erkennen, wie teuer 
ein Stück Code tatsächlich ist. Zum Beispiel wirst du in deinem 
ursprünglichen Code nach dem Compiliern auch den Konstruktor von Basis 
und Ableitung nicht mehr finden, weil es nichts zu initialisiern gibt, 
auch keinen v-table.