tetl-docs/default__initializable_8hpp_source.html

// SPDX-License-Identifier: BSL-1.0


#ifndef TETL_CONCEPTS_DEFAULT_INITIALIZABLE_HPP

#define TETL_CONCEPTS_DEFAULT_INITIALIZABLE_HPP


#include <etl/_concepts/constructible_from.hpp>

#include <etl/_new/operator.hpp>


namespace etl {


// clang-format off

template <typename T>


concept default_initializable =

  constructible_from<T> &&

  requires { T {}; } &&

  requires { ::new (static_cast<void*>(nullptr)) T; };


// clang-format on


} // namespace etl


#endif // TETL_CONCEPTS_DEFAULT_INITIALIZABLE_HPP

etl::constructible_from
The constructible_from concept specifies that a variable of type T can be initialized with the given ...
Definition constructible_from.hpp:15

etl::default_initializable
The default_initializable concept checks whether variables of type T can be value-initialized (T() is...
Definition default_initializable.hpp:20

constructible_from.hpp

etl
Definition adjacent_find.hpp:8

operator.hpp