Funktion abhängig von der Datenbreite des Typs?

Shade Of Mine

Nick Unbekannt schrieb:

Meinst du jetzt die Endianness oder etwas ganz anderes? Die Endianness soll je gerade mit dieser Aktion abgefangen werden.

Klingt furchtbar nach Hack.

PS:
es würde ungemein helfen wenn du endlich sagst WAS du machen willst.

Nick Unbekannt

Wüsste nicht warum? Und fühle mich in meiner Ansicht bestärkt, da es ein gewöhnlicher Weg ist.

http://linux.die.net/man/3/ntohl

Nexus

Nachdem dich schon vier Leute gefragt haben, wäre es vielleicht schon einmal an der Zeit, etwas über deine eigentlichen Absichten preiszugeben.

Shade Of Mine

Nick Unbekannt schrieb:

Wüsste nicht warum? Und fühle mich in meiner Ansicht bestärkt, da es ein gewöhnlicher Weg ist.

http://linux.die.net/man/3/ntohl

Eben nicht. network-to-host/host-to-network byteorder basiert auf Typen Ebene und nicht auf Byte ebene. Aber wenn du eh alles weisst, warum fragst du hier dann?

Ich bin mir ziemlich sicher dass man dein Problem anders viel viel besser lösen kann.

Nick Unbekannt

Das ganze soll Daten zwischen verschiedenen Plattformen austauschen. Deswegen kein Padding (Alignment) und keine Endianness. Das Padding zu eliminieren ist kein Problem, es wird einfach keins erlaubt. Die Endianness ist da schon schwieriger, da keine einheitliche Form möglich ist. Deswegen müssen die Daten in eine bekannte Reihenfolge gebracht werden, ähnlich der ntohX()-Funktionen. Warum diese nicht gehen? Weil diese auch swappen würden, wenn es unnötig wäre.
Wenn ihr das schon so ins Detail wissen wollt, wäre ich hingegen interessiert, was ich übersehen haben könnte?

* gleiche Bitbreite
* gleiche Endianness
* gleiche Padding/Alignment
* gleiches. Float Format
* bool ? (wobei Boolean allgemein keine Rolle spielt?)
* nur POD

Eben nicht. network-to-host/host-to-network byteorder basiert auf Typen Ebene und nicht auf Byte ebene.

Den Satz versteh ich nicht?

Ich hab mir hier mal eine Beispiel-Implementierung angesehen und die machen exakt das selbe, was ich mache.
http://www.jbox.dk/sanos/source/include/netinet/in.h.html

Wenn ich also einen Denkfehler habe, dann werte ihn nicht als ignorantes Gehabe, sondern korrigiere mich bitte!

Shade Of Mine

Die machen es auf Typ Ebene. Man sagt: das ist ein int, swappe die Bytes.

Du sagst: das ist ein 3 Byte Datentyp - swappe die Bytes. Was aber wenn es zB ein float ist? Oder zB eine struct aus 3 chars?

Deshalb betrachtet man den Typen, nicht die Anzahl der Bytes.

Aber OK, was genau willst du denn anders machen als die Standard Funktionen und warum genau brauchst du die größe des Typen als Template Argument? Du hast immer noch nichts verraten.

Nick Unbekannt

Shade Of Mine schrieb:

Die machen es auf Typ Ebene. Man sagt: das ist ein int, swappe die Bytes.

Du sagst: das ist ein 3 Byte Datentyp - swappe die Bytes. Was aber wenn es zB ein float ist? Oder zB eine struct aus 3 chars?

Zusammengesetzte Daten, werden nicht geswappt, weil die Reihenfolge der Member ja bestehen soll. Nur Grunddatentypen, dass wird auch weiter vorne abgefangen.

Shade Of Mine schrieb:

Aber OK, was genau willst du denn anders machen als die Standard Funktionen und warum genau brauchst du die größe des Typen als Template Argument? Du hast immer noch nichts verraten.

Weil mir der Compiler automatisch die richtige Funktion raus suchen soll. Hätte ich jetzt nur eine Spezialisierung für int, dann würde diese nicht mehr bei long greifen, obwohl beide hier 32Bit sind. Deswegen die Selektion über sizeof. Außerdem muss ich so nicht wissen, dass long == int ist, um einen expliziten Aufruf zu machen.

void MySwap32(unsigned int& d)
{
	unsigned int c = 0;
	c |= ((d    ) & 0xFF) << 24;
	c |= ((d>> 8) & 0xFF) << 16;
	c |= ((d>>16) & 0xFF) << 8;
	c |= ((d>>24) & 0xFF);
	d = c;
}

template<typename T>
void MySwap(T& t)
{
	size_t size = sizeof(T);
	size/=4;

	unsigned int* addr = reinterpret_cast<unsigned int*>(&t);

	for(size_t i=0; i<size; ++i)
	{
		MySwap32(*addr++);
	}
}

Shade Of Mine

Nick Unbekannt schrieb:

Weil mir der Compiler automatisch die richtige Funktion raus suchen soll. Hätte ich jetzt nur eine Spezialisierung für int, dann würde diese nicht mehr bei long greifen, obwohl beide hier 32Bit sind. Deswegen die Selektion über sizeof. Außerdem muss ich so nicht wissen, dass long == int ist, um einen expliziten Aufruf zu machen.

Dafür ist überladung da
Denn sizeof(int) muss nicht gleich sizeof(long) sein. Genauso wie sizeof(float) zB gleich sizeof(int) sein kann...

Und was genau ist an den Standard Funktionen schlecht?

Nick Unbekannt

Shade Of Mine schrieb:

Dafür ist überladung da

Müsste ich mir mal genauer anschauen, ob es da wirklich keine Lücken gibt. Wie zum Beispiel typedefs.

Shade Of Mine schrieb:

Und was genau ist an den Standard Funktionen schlecht?

Ich will nur swappen, wenn beide Teilnehmer eine unterschiedliche Endianness haben. Die Standardfunktionen verbergen aber vor dir die Endianess. Also entweder sie swappen oder sind ein nop. Und auf einem Big-Endian-System würde der swap-Befehl in ein nop laufen.

Shade Of Mine

Nick Unbekannt schrieb:

Ich will nur swappen, wenn beide Teilnehmer eine unterschiedliche Endianness haben. Die Standardfunktionen verbergen aber vor dir die Endianess. Also entweder sie swappen oder sind ein nop. Und auf einem Big-Endian-System würde der swap-Befehl in ein nop laufen.

dh die Daten sind einmal big endian und einmal little endian? Je nachdem ob beide Teilnehmer das selbe verwenden oder nicht? mhm... finde ich ungut - das swappen kostet quasi nichts und es beugt eine Menge Fehler vor.

Aber selbst wenn du das unbedingt so willst, so ist normale Funktionsüberladung immer noch die einfachste Lösung. Vorallem aber die Robusteste.

Dravere

Nick Unbekannt schrieb:

Shade Of Mine schrieb:

Dafür ist überladung da

Müsste ich mir mal genauer anschauen, ob es da wirklich keine Lücken gibt. Wie zum Beispiel typedefs.

typedef erstellt nur einen anderen Namen für denselben Typen, definiert aber keinen eigenen Typ.

Wenn du wirklich nur auf so wenig Typen arbeiten möchtest, ist die Überladung definitiv der bessere Weg. Bei den Templates ist immer die Gefahr da, dass einmal durch Unachtsamkeit ein anderer Typ übergeben wird. Zum Beispiel weil irgendwo ein typedef geändert wird, von einem int zu einem struct irgendwas. Damit dies beim Template abgefangen wird, müsste man Templatemetaprogrammierungstricks einsetzen. Bei der Überladung ist das bereits durch den Kompiler abgesichert.

Grüssli