vector -> void* -> vector erlaubt?

[cppbert (Gast)]

Ich wurde von einem Kumpel (der hat angefangen irgendwas mit 
Cyper-Security zu studieren) gefragt ob solche casts durch den Standard 
supported werden oder ob man da durch in irgenwelche Alignment, UB 
Verhalten rennen kann

Ich habe nichts dazu gefunden und sehe das als hässlich aber 
unproblematisch an

man muss nur aufpassen das der vector nicht über verschiedene Heaps oder 
Debug/Release-Grenzen durchgereicht werden darf

#include <vector>

struct test
{
    double x;
};

int main()
{
    std::vector<test> tests{{10.0},{20.0}};
    
    void* a = reinterpret_cast<void*>(&tests);
    std::vector<test>* a2 = reinterpret_cast<std::vector<test>*>(a);
    a2->push_back({30.0});

    void* b = reinterpret_cast<void*>(&tests[0]);
    test* b2 = reinterpret_cast<test*>(b);
    *b2 = {40.0};
}

[Hannes J. (Firma: _⌨_) (pnuebergang)]

Ganz heißer Tipp für den Cyber-Security Kumpel. Wenn er in seinem Beruf 
später was werden will, statt nur den Cyber-Clown mit Wikipedia-Wissen 
abzugeben, dann sollte er sich sehr früh (also jetzt) daran machen 
Fakten selber zu recherchieren. Das heißt an die Quelle gehen und, auch 
wenn es weh tut, ekelhafte Standard-Dokumente durchackern. Wie gesagt, 
selber!

[mh (Gast)]

cppbert schrieb:
> Ich habe nichts dazu gefunden und sehe das als hässlich aber
> unproblematisch an

Dann solltest du das Suchen nochmal üben. Im Standard zum 
reinterpret_cast (http://eel.is/c++draft/expr.reinterpret.cast#7):

An object pointer can be explicitly converted to an object pointer of a different type.64 When a prvalue v of object pointer type is converted to the object pointer type “pointer to cv T”, the result is static_­cast<cv T*>(static_­cast<cv void*>(v)). [ Note: Converting a prvalue of type “pointer to T1” to the type “pointer to T2” (where T1 and T2 are object types and where the alignment requirements of T2 are no stricter than those of T1) and back to its original type yields the original pointer value. — end note ]

[cppbert (Gast)]

mh schrieb:
> cppbert schrieb:
>> Ich habe nichts dazu gefunden und sehe das als hässlich aber
>> unproblematisch an
>
> Dann solltest du das Suchen nochmal üben. Im Standard zum
> reinterpret_cast (http://eel.is/c++draft/expr.reinterpret.cast#7):
> An object pointer can be explicitly converted to an object pointer of a
> different type.64 When a prvalue v of object pointer type is converted
> to the object pointer type “pointer to cv T”, the result is
> static_­cast<cv T*>(static_­cast<cv void*>(v)). [ Note: Converting a
> prvalue of type “pointer to T1” to the type “pointer to T2” (where T1
> and T2 are object types and where the alignment requirements of T2 are
> no stricter than those of T1) and back to its original type yields the
> original pointer value. — end note ]

Ich hab nichts "Gegenteiliges" dazu gefunden...

[Rolf M. (rmagnus)]

cppbert schrieb:
> Ich hab nichts "Gegenteiliges" dazu gefunden...

Das wäre ja auch verwunderlich. Warum sollte sich der Standard selbst 
widersprechen?

[Johann L. (gjlayde)]

cppbert schrieb:
> ... Cyper-Security ...
> vector -> void* -> vector erlaubt?

Der gezeigte Code castet nicht Objekte zu void*, sondern Zeiger auf 
strd::vector<test>:

std::vector<test>* -> void* -> std::vector<test>*

also

vector* -> void* -> vector*

bzw.

test* -> void* -> test*

und nicht

> vector -> void* -> vector erlaubt?

[cppbert (Gast)]

Johann L. schrieb:
> cppbert schrieb:
>> ... Cyper-Security ...
>> vector -> void* -> vector erlaubt?
>
> Der gezeigte Code castet nicht Objekte zu void*, sondern Zeiger auf
> strd::vector<test>:
> std::vector<test>* -> void* -> std::vector<test>*alsovector* -> void* ->
> vector*bzw.test* -> void* -> test*und nicht
>
>> vector -> void* -> vector erlaubt?

Fehler im Betreff, meinte natürlich alles mit Pointer, so wie im 
Beispiel-Code

[Carl D. (jcw2)]

cppbert schrieb:
> Johann L. schrieb:
>> cppbert schrieb:
>>> ... Cyper-Security ...
>>> vector -> void* -> vector erlaubt?
>>
>> Der gezeigte Code castet nicht Objekte zu void*, sondern Zeiger auf
>> strd::vector<test>:
>> std::vector<test>* -> void* -> std::vector<test>*alsovector* -> void* ->
>> vector*bzw.test* -> void* -> test*und nicht
>>
>>> vector -> void* -> vector erlaubt?
>
> Fehler im Betreff, meinte natürlich alles mit Pointer, so wie im
> Beispiel-Code

Also z.B. ein Callback aus einer Lib bekommt einen void* als "User 
Contest" übergeben und der wird aus einem std::vector<>* gefastet. Was 
soll daran nicht funktionieren, außer das der Compiler nicht prüfen 
kann, ob der "back-cast" Typgerecht erfolgt. Das muß der Autor 
sicherstellen. Wobei man sich da was gegen Unachtsamkeit dessen 
einfallen lassen kann.

[Rolf M. (rmagnus)]

Ein reinterpret_cast ist übrigens gar nicht nötig. Es ist garantiert, 
dass ein beliebieger Objektzeiger verlustlos ohne Cast in einen void* 
und per static_cast wieder zurück gewandelt werden kann.
Also ginge statt obigem Code auch:

#include <vector>

struct test
{
    double x;
};

int main()
{
    std::vector<test> tests{{10.0},{20.0}};

    void* a = &tests;
    std::vector<test>* a2 = static_cast<std::vector<test>*>(a);
    a2->push_back({30.0});

    void* b = &tests[0];
    test* b2 = static_cast<test*>(b);
    *b2 = {40.0};
}

Ein reinterpret_cast dient ja eigentlich dazu, die Bits, aus denen ein 
Objekt aufgebaut ist, als Objekt eines anderen Typ zu interpretieren. 
Bei void* gibt's aber keine Bits zum interpretieren.