Ahoj, potřebuji součtový typ, ale včetně RAII pro třídy, takže nemůžu použít union, jaký způsob byste doporučili jako nejefektivnější? (Ze zřejmých důvodů se mi moc nechce používat RTTI.)
http://www.boost.org/doc/libs/1_64_0/doc/html/variant.html
Citace od: lopata kdy 17. 07. 2017, 21:15:43
http://www.boost.org/doc/libs/1_64_0/doc/html/variant.html
Nebo variant z STL v C++17 (trochu se liší od toho z Boostu).
Co je to součtový typ?
Citace od: x14 kdy 18. 07. 2017, 12:44:08
Co je to součtový typ?
https://en.wikipedia.org/wiki/Tagged_union
Citace od: x14 kdy 18. 07. 2017, 12:44:08
Co je to součtový typ?
Tohle je klasicky priklad:
data List a = Nil | Cons a (List a)
(Typ "Seznam polozek libovolneho typu a" je bud Nil nebo zretezeni polozky typu a seznamu polozek typu a. To svislitko muzes chapat jako sjednoceni variant.)
Typ se sklada z nekolika variant. Muzes uvazovat o otevrene variante, ale vetsinou se takhle mluvi o uzavrene variante (ty varianty jsou vyjmenovane predem a nemuzes si nejakou pridat v klientskem kodu).
Hezke uvodni cteni pro jeden konkretni jazyk najdes trebas v: http://haskellbook.com/
Kdyby tam padlo to slovo nějaká unie nebo variantní typ, tak mi to asi dojde, ale takhle ;D
V každém případě díky!
Každý den se člověk učí.
Citace od: x14 kdy 18. 07. 2017, 13:31:25
Kdyby tam padlo to slovo nějaká unie
Jo, a pak tady zase bude pět stránek na téma tyranie Bruselu...
Citace od: Kamil Podlešák kdy 18. 07. 2017, 14:26:32
Citace od: x14 kdy 18. 07. 2017, 13:31:25
Kdyby tam padlo to slovo nějaká unie
Jo, a pak tady zase bude pět stránek na téma tyranie Bruselu...
To si nepomuzes, "algebra" je zase muslimska infiltrace :-D
Citace od: Kamil Podlešák kdy 18. 07. 2017, 14:26:32
Citace od: x14 kdy 18. 07. 2017, 13:31:25
Kdyby tam padlo to slovo nějaká unie
Jo, a pak tady zase bude pět stránek na téma tyranie Bruselu...
Jo, a svaz (type lattice) evokuje CCCP...
Citace od: x14 kdy 18. 07. 2017, 13:31:25
Každý den se člověk učí.
to je ale optimismus!
Citace od: zboj kdy 18. 07. 2017, 15:03:39
Citace od: Kamil Podlešák kdy 18. 07. 2017, 14:26:32
Citace od: x14 kdy 18. 07. 2017, 13:31:25
Kdyby tam padlo to slovo nějaká unie
Jo, a pak tady zase bude pět stránek na téma tyranie Bruselu...
Jo, a svaz (type lattice) evokuje CCCP...
Unia je svaz - teda aspon ta europska. Len sa preferuje modernejsi nazov unia, aby sa u obyvatelstva V4 neprebudzal negativny sentiment asociovany s CCCP. Pekna instancia newspeaku v praxy.
Citace od: kimec kdy 19. 07. 2017, 02:33:18
Citace od: zboj kdy 18. 07. 2017, 15:03:39
Citace od: Kamil Podlešák kdy 18. 07. 2017, 14:26:32
Citace od: x14 kdy 18. 07. 2017, 13:31:25
Kdyby tam padlo to slovo nějaká unie
Jo, a pak tady zase bude pět stránek na téma tyranie Bruselu...
Jo, a svaz (type lattice) evokuje CCCP...
Unia je svaz - teda aspon ta europska. Len sa preferuje modernejsi nazov unia, aby sa u obyvatelstva V4 neprebudzal negativny sentiment asociovany s CCCP. Pekna instancia newspeaku v praxy.
No dalo se cekat, ze se toho nakonec nekdo chyti... Posluz si a pokracuj s tou algebrou.
Citace od: x14 kdy 18. 07. 2017, 12:44:08
Co je to součtový typ?
To je snad základ z prvního ročníku, ne? V matice je to disjoint union.