Aleph::ArrayStorable Concept Reference

An element type the Aleph arrays can store. More...

#include <ah-concepts.H>

Concept definition

template<typename T>
concept Aleph::ArrayStorable =  std::default_initializable<T> and std::movable<T>

Detailed Description

An element type the Aleph arrays can store.

Array, MemArray and DynArray allocate their storage with new T[n], so T must be default-initializable, and Array/MemArray grow by swapping the elements into a larger buffer, so T must also be movable. Concepts whose values end up in an Aleph array (e.g. SearchMove) should refine this one so that a bad type is rejected at the user's call instead of inside tpl_memArray.H.

Template Parameters

T	element type.

Note

The arrays themselves are not constrained with it: copying, appending by copy and other operations add their own requirements (copy-assignability, ...) on the members that need them.

Definition at line 407 of file ah-concepts.H.