exc-jdbi schrieb:

Wie könnte man so was in msvc schreiben?

Genau so.
Falls Du nicht valid meinst:
Was machen denn die Bestandteile dieser Funktionen?

Ich habe __bounded__ noch nie gesehen, habe aber auch rausgefunden das dieses Attribut wirklich nur für einen Fork für GCC implementiert wurde (OpenBSD) also nicht einmal standard GCC.
Wie du HIER sehen kannst, ist das sozusagen ein Hinweis an den Compiler, dass er eine Funktion die mit Buffern arbeitet, diese zuvor zu überprüfen hat.
Das ist also sozusagen nur ein "Failproof" check der von dem Compiler als Extension hinzugefügt wurde, aber wenn du Fan von Bewusstem programmieren bist, solltest du es eh nicht nötig haben, wenn du natürlich darauf achts gibst keine Dummheiten mit den Buffern zu machen.

exc-jdbi schrieb:

Aber mit dem anderen Zeug kommt das VS nicht klar. Herausgefunden habe ich dass das __attribute__ so definiert werden könnte.
stackoverflow.com/questions/28…ng-with-attribute-in-msvc

Dein Ersatzbeispiel macht was anderes, das ist dafür da um die Symbole der Entitäten, die mit diesem prefixed, sind zu exportieren. (Windows braucht das um die Symbole direkt in der DLL zu exportieren somit brauchst du keine .def Dateien für den Linker mehr)

exc-jdbi schrieb:

Aber wie werden die __bounded__, __minbytes__ und __buffer__ definiert? Kann man da vielleicht ein Makro schreiben. Leider weiss ich gar nicht, was hier gemacht werden soll.

Nein das sind keine Makros, das sind Compiler-Spezifische "Keywords" als Extensions, wenn der Compiler diese nicht unterstützt gibt es da auch keinen Weg rundherum außer ein Equivalent für deinen Compiler zu finden.
Ich hatte was für MSVC gefunden, allerdings kann ich nicht wirklich evaluieren ob die beiden einen Zusammenhang haben, es ist eher ein Compiler-Flag als ein "Attribut": docs.microsoft.com/en-us/previ…o-2012/dd778695(v=vs.110)

Also, abschließend: Es scheinen der Dokumentation nach nur Checks zu sein, also nichts was deinen Code beeinflussen sollte, somit solltest du die einfach weglassen können.

Ne ne, hier wird nicht der Inhalt gecheckt.

__minbytes__ checkt das der Buffer mindestens die Anzahl an bytes besitzt wie angegeben.

Hier beim ersten Parameter überprüft er ob das Array die gewünschte Länge besitzt.
uint8_t = 8 Bits (x86: 1 Byte): 1 * TAGLEN = mindestens TAGLEN
Somit finde ich den Check redundant solange du auf einem 8Bit = 1Byte Sytem arbeitest.
Denn da wird uint8_t immer 1 Byte sein, und da die Länge ja sowieso angegeben ist.

__buffer__ überprüft auf die Länge des Buffers basierend auf einen anderen Parameter.
Wenn dieser größer ist als die tatsächliche Buffer Länge, bekommst du eine Warnung.

Ganz ehrlich, du brauchst das nicht .
Klar, es geht hier um Sicherheit, aber wenn du es sowieso nicht verwenden kannst.
Machs doch wie C, der Funktionsaufrufer muss sich darum kümmern, dass die Parameter passen.
Das kannst du einfach mit Branching machen wenn du dir der Länge nicht bewusst bist.

solange du auf einem 8Bit = 1Byte Sytem arbeitest.
Denn da wird uint8_t immer 1 Byte sein

@Elanda Ich muss kurz etwas nachfragen. Es heißt uint8_t. Warum sind das mehr als 1 Byte, auf einem anderen System? Ich hab' mich darauf verlassen, dass es immer 1 Byte ist.

1 Byte ist die Menge an Bits, die der Prozessor mit einer einzelnen Adresse adressieren kann (kleinste adressierbare Einheit).
Es gibt (insbesondere ältere) Computersysteme, die auch exotische Byte-Längen haben.
de.wikipedia.org/wiki/Byte#Abgrenzung