Lumiera
0.pre.03
»edit your freedom«
|
Functions | |
StorageLoc *& | checkedTraversal (size_t segments, StorageLoc *last) |
|
inline |
helper for safety-check when attaching segments. New segments are created by a constructor functor, guided by a type signature describing the complete chain. When attaching new segments, we can not verify that the base chain to extend does really match the presumed chain structure as encoded into the type (since this base chain does not store any meta data). But at least we can verify that the number of real segment-links matches the assumed structure. Notably it does not really matter what is stored in the base chain, as long as this segment count matches, because accessor functors generated by a HeteroData::Chain
constructor will always address only their own (newly added) segment.
Definition at line 329 of file hetero-data.hpp.
Referenced by StorageFrame< seg, DATA... >::linkInto().