Vlákno názorů k článku
C++20 v GCC 10 bude mít operátor vesmírné lodi <=> od Ondra Satai Nekola - Může mi někdo vysvětlit, proč to vrací int...

Může mi někdo vysvětlit, proč to vrací int a ne něco typově bezpečného? Chápu, že je to tradice, ale bavíme se o roku 2020.

Protože se to používá v aritmetických výrazech, při konstrukci funkcí. Číslo chcete.

6. 12. 2019, 10:33 editováno autorem komentáře

Ne, nechci. Jaká aritmetika, mimo rovnosti a srovnání s tím dává smysl? Sčítání ne, násobení ne.

Nesmyslný stav by měl zůstat nereprezentova­telný, tady se dá snadno napsat `3 * (a <=> b) + 1`. Pokud už někdo dělá aritmetiku s výsledkem porovnání, tak může konvertovat.

Ono se to bude hodit. Výsledek lze chápat, jako: stejný, lepší, horší. Existují tuny kódu pro získání stejného výsledku, které půjde zjednodušit. Např porovnávací fukce pro třídění a vyhledání půjde nahradit operátorem.

" Výsledek lze chápat, jako: stejný, lepší, horší."

No to teda. `"aa" <=> "bb"` dá numéro a to mohu chápat tak, že "aa" je lepší něž "bb".

(x <=> 0) je funkce signum

`(x <=> 0) je funkce signum`

A?

Správně by to mělo vracet hodnotu nějakého bezpečného typu s implicitním přetypováním na číslo, aby se to dalo přímo používat i ve výrazech.

Ono to vrací hodnotu typu, konkrétně std::strong_or­dering, std::weak_orde­ring či std::partial_or­dering, které jsou jedním směrem na sebe konvertovatelné, a porovnatelné s 0. (viz https://en.cppreference.com/w/cpp/utility/compare/strong_ordering)

6. 12. 2019, 12:04 editováno autorem komentáře

V C-čku sa dá aritmerika zneužiť

ako napr..

int pfd [2];

pipe(pfd);
close(1);
close(2);
if ( (dup(pfd[1])+­dup(pfd[1]) ) !=3 )

,,,,,

printf("Test do rury\n");

(dúfam že tam nemá byť opačný index pfd v if-e) . A viem nie je to korektné: ala tam byť dup2

A tento operátor sa dá na podobné veci zneužiť...

Lze tím vyřešit náležení prvku do intervalu tím, že porovnáš a sečteš porovnání s krajními hodnotami, což se dále uplatní když chceš porovnat ty intervaly dva :-). Zrovna nedávno jsem to psal.

Kde jste získal informaci, že C++ operator <=> bude vracet int? Pokud se podívám např. zde https://en.cppreference.com/w/cpp/language/default_comparisons, tak se používaji speciální typy. Ano není to konkrétní návrh specifikace, nechce se mi to procházet, ale většinou tam ty popisy sedí.

Z této zprávičky. (viz příklad)

Ale pokud je to ve specce lépe, jen dobře.

příklad je PHP7

No co na to říct?

Těžko Vám někdo vysvětlí, proč to vrací int, když to int nevrací.
https://en.cppreference.com/w/cpp/language/default_comparisons

Protože to je C++. Vzorem a ideálem typové bezpečnosti je tady JavaScript nebo PHP, ne Rust, Haskell nebo Ada ;-)

Jak může být JavaScript považován za vzor a ideál typové bezpečnosti, když tam je všechno vlastně objekt a vše jde volat se vším? Proč asi vznikl TypeScript? Z hlediska typové bezpečnosti se právě volí jazyky se silnými typy. Silně typové jazyky pak zase řeší problém s psaním generického kódu což je u jazyků se slabými typy v podstatě výchozí stav.

A co si ještě jednou přečíst, co napsal?

To není problém, když mají typově bezpečné šablony nebo něco ekvivalentního. Případně dokonce higher kinded types, ale to moc jazyků nemá.