Dotaz: Řazení pointerů

[Franta]

Vytvářím RB strom v C a chci položky porovnávat podle ukazatele (jedná se o "internované" řetězce, takže mi stačí porovnat ukazatel a né obsah). V C++ můžu použít std::less k porovnání takových ukazatelů (total ordering). Je nějaké makro či něco v C, co má stejnou garanci? Operátor < nelze k porovnání pointerů na různé objekty použít.

Odpovědi

[Michal Kubeček]

Striktně podle normy ne, prakticky to můžete přetypovat na long unsigned (chcete-li být korektní, tak třeba uintptr_t a porovnávat ta čísla. Ale v každém případě je to hraní si s ohněm a moc bych to nedoporučoval.

[Andrej]

Striktně podle normy ne,…

Dokonce je to undefined, což je ale podle mě spíš relikt z děsivých dob far/near pointerů než dnešní problém. (Far/near pointery nejsou v C standardu, ale jsou příkladem oné hypotetické situace, kdy porovnání pointerů nemusí dávat smysl.) Například clang přeloží tohle s -Weverything bez keců, což sice neříká absolutně nic o souladu s normou, ale možná to aspoň vzdáleně naznačuje, že porovnatelnost bude na této konkrétní platformě fungovat předvídatelně. (V klasickém lineárním virtuálním adresním prostoru se nic překvapivého vymyslet nedá.)

…prakticky to můžete přetypovat na long unsigned (chcete-li být korektní, tak třeba uintptr_t a porovnávat ta čísla. Ale v každém případě je to hraní si s ohněm a moc bych to nedoporučoval.

Já bych to castnul na const void*, což přímo v kódu dokumentuje, že se jedná o pointery a porovnání pointerů, a zakazuje (případnou) pointerovou aritmetiku.

[Ondřej Novák]

Můžete to zkusit všechno přetypovat na (char *) nebo radši (const char *) a pak to jde porovnávat.

Osobně bych doporučoval, když už ten RB strom píšete, aby to umělo definovat porovnávací callback (když v tom C nejsou šablony), aby ten strom se dal využit ještě k něčemu jinému :)

[Andrej]

Úplně klidně to může být void*.

#include <stdio.h>
#include <stdlib.h>

struct blah { int zee[80]; };

int main() {
  struct blah *const sth = (struct blah *)malloc(sizeof(struct blah));
  if (!sth) return EXIT_FAILURE;
  struct blah *const oops = (struct blah *)malloc(sizeof(struct blah));
  if (!oops) { free(sth); return EXIT_FAILURE; }

  const void *const nonsense = (const void *)sth;
  const void *const bullcrap = (const void *)sth;
  const void *const bullshit = (const void *)oops;

  printf("%d %d\n", nonsense < bullcrap, nonsense < bullshit);
  printf("%d %d\n", nonsense == bullcrap, nonsense == bullshit);

  free(oops);
  free(sth);

  return EXIT_SUCCESS;
}

[Andrej]

Aha, správně bych tam měl mít víc datových typů než jeden, aby o opravdu dokumentovalo ten příklad z dotazu. No, co už. :-P

[Jardík]

Pokud tam dá callback, tak aby označil všechny funkce inline a modlil se, že mu to kompilátor inlinuje a zoptimalizuje. Výkonově na tom bude lépe, pokud to nechá parametrizovat nějakými makry.

[Ondřej Novák]

Zlatý C++ :) (trolling)

[Bedňa]

Asi by som pozrel Google a použil nejakú hotovú knižnicu.