Algebraické typy v C++

[phulas]

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.)

[Reklama]

[lopata]

http://www.boost.org/doc/libs/1_64_0/doc/html/variant.html

[zboj]

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).

[x14]

Co je to součtový typ?

[lopata]

Co je to součtový typ?

https://en.wikipedia.org/wiki/Tagged_union

[Reklama]

[Ondra Satai Nekola]

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/

[x14]

Kdyby tam padlo to slovo nějaká unie nebo variantní typ, tak mi to asi dojde, ale takhle 
V každém případě díky!
Každý den se člověk učí.

[Kamil Podlešák]

Kdyby tam padlo to slovo nějaká unie

Jo, a pak tady zase bude pět stránek na téma tyranie Bruselu...

[Ondra Satai Nekola]

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

[zboj]

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...

[UF]

Každý den se člověk učí.

to je ale optimismus!

[kimec]

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.

[Ondra Satai Nekola]

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.

[Aoidhghean]

Co je to součtový typ?

To je snad základ z prvního ročníku, ne? V matice je to disjoint union.