Implementace součtového datového typu v C++

Abstract

Práce se zaobírá problematikou implementace součtového datového typu v jazyce C++. Nejprve navrhuje vlastní abstrakce pro manipulaci s posloupnostmi hodnot a typů, které následně umožňují vyjadřovat komplexní operace deklarativně. V průběhu implementace jsou prezentovány návrhové vzory obvyklé pro oblast metaprogramování. Implementace přichází s rozhodnutími odlišnými od referenční implementace. Pro manipulaci se součtovým typem jsou představeny dvě šablony funkce, lišící se sémantikou. Užití součtového typu je ukázano na příkladu konečného stavového automatu.

This work concerns the implementation of a sum data type in C++. First, custom abstractions to handle sequences of values and types are proposed, which later enable complex operations to be expressed declaratively. The implementation presents the design patterns common in metaprogramming. Design decisions different from the reference implementation were made. To manipulate the sum type, two function templates with different semantics are introduced. An example of using the sum type to represent a finite state machine is provided.