rleigh-electradx 70d64496e6
Fix make_array and make_deque rejecting const-qualified lvalues of the element type (#1526)
* Fixed make_array rejecting const-qualified lvalues of the element type

make_array forwarded each argument as T (the element type) rather than
as its own deduced type. etl::forward<T> accepts only a non-const T& or
a T&&, and a T&& cannot bind to a reference-related const lvalue, so
any call passing a const-qualified lvalue of type T failed to compile:

  static const char c = 42;
  etl::make_array<char>(c, c);   // error: would lose const qualifier

Arguments of *other* types slipped through via temporary
materialisation, which is why the existing conversion and move tests
never caught it.

Forward each argument as its own deduced type and convert explicitly
with static_cast<T>. The explicit conversion is required rather than
plain forwarding: function parameters are not constant expressions, so
narrowing initialisers such as make_array<char>(0, 1) - which the old
code accepted and the tests cover - would otherwise be rejected by the
braced initialiser list.

Adds regression tests for const/non-const lvalues of the element type
and for constexpr evaluation. Verified with clang 22 (C++14/17/20) and
GCC 14 (C++11/20); existing conversion and move-only patterns still
compile.

* Fixed make_deque rejecting const-qualified lvalues of the element type

make_deque had the same defect fixed for make_array in the previous
commit: it forwarded each argument as T (the element type) rather than
as its own deduced type. etl::forward<T> accepts only a non-const T& or
a T&&, and a T&& cannot bind to a reference-related const lvalue, so
any call passing a const-qualified lvalue of type T failed to compile:

  static const char c = 42;
  etl::make_deque<char>(c, c);   // error: would lose const qualifier

An audit of all other make_xxx container factories found no further
instances - they forward each argument as its own deduced pack type,
which is the correct idiom.

Forward each argument as its own deduced type and convert explicitly
with static_cast<T>. The explicit conversion keeps narrowing
initialisers such as make_deque<char>(0, 1) - which the old code
accepted and test_make_deque covers - working, which plain forwarding
into the braced initialiser list would reject.

Adds a regression test for const/non-const lvalues of the element type.
No constexpr test, unlike make_array: etl::deque is not a literal type,
so make_deque cannot be evaluated at compile time. Verified with
clang 22 (C++14/17/20); the new test fails to compile before the fix
and passes after, and all 101 deque tests pass.

* Added narrowing-conversion regression tests for make_array and make_deque

Review feedback on the make_deque fix: the const-lvalue regression test
only passes arguments that already have the element type, so nothing
exercises the static_cast<T> conversion that keeps narrowing
initialisers working. If the implementation regressed to plain
forwarding into the braced initialiser list, narrowing calls such as
make_deque<char>(0, 1) would fail to compile.

make_array already covered narrowing from int literals via
test_make_array, but neither container covered conversion from
const-qualified lvalues of a different type (const int narrowed to
char), which combines both dimensions of the fix.

Adds a matching test to each container covering int literals plus
const/non-const int lvalues, all narrowed to char. Verified with
clang 22 (C++17): 102 deque and 53 array tests pass.

* Added const-lvalue regression tests for the remaining make_xxx factories

Review feedback on the make_array/make_deque fixes asked whether the
same defect - rejecting const-qualified lvalue arguments by forwarding
each argument as the element type rather than as its own deduced type -
exists in the other make_xxx container factories. The audit found that
it does not: the other factories forward each argument as its own
deduced pack type. These tests pin that down explicitly for every
remaining factory, mirroring the make_array and make_deque regression
tests:

- make_vector, make_forward_list, make_indirect_vector (element type
  deduced via common_type): const/non-const char lvalues, element type
  checked.
- make_set, make_multiset, make_flat_set, make_flat_multiset,
  make_unordered_set, make_unordered_multiset: const/non-const lvalues
  of the key type.
- make_map, make_multimap, make_flat_map, make_flat_multimap,
  make_unordered_map, make_unordered_multimap: const/non-const lvalues
  of the pair type.

make_reference_flat_* are excluded: they cannot currently be
instantiated at all (no initializer_list constructor exists in the
reference containers), which is reported separately.

Verified with clang 22 (C++17): all 15 test suites pass (996 tests).

* Added make_forward_list parity tests matching the make_list fixes

Checked whether the make_list defect - taking its argument pack by
value, costing an extra move per lvalue argument - also applies to
make_forward_list. It does not: make_forward_list already takes its
pack by forwarding reference, as make_vector does. No header change is
needed.

Adds the two tests that accompanied the make_list fix so that
forward_list has the same coverage and the same regression detector:

- test_make_forward_list_common_type_from_mixed_types, confirming the
  element type deduction through common_type.
- test_make_forward_list_argument_copy_and_move_counts, an
  instrumented type counting copy/move constructions. This is the test
  that fails if the pack ever regresses to by-value (one extra move
  per lvalue argument). The exact move counts are C++17-only, as
  before C++17 the non-guaranteed return elision may add a move per
  element.

Verified with clang 22 (C++17): all 67 forward_list tests pass.

---------

Co-authored-by: Roland Reichwein <Roland.Reichwein@bmw.de>
2026-08-17 10:13:34 +02:00
.circleci Resolve 0U ambiguity in string utility tests 2020-08-02 15:14:52 +01:00
.devcontainer Restore .devcontainer/context directory removed by #1422 (#1516) 2026-07-21 11:45:35 +01:00
.github ci: bump actions/checkout to v6.0.3 (#1517) 2026-07-19 22:17:48 +01:00
arduino Squashed commit of the following: 2026-07-11 13:02:42 +01:00
cmake #1461 Invalid version detected with CMake FetchContent from URL (#1465) 2026-06-18 11:29:38 +01:00
docs Correct the documented make_xxx factory signatures and examples (#1530) 2026-08-04 11:45:49 +01:00
examples Formatted source files 2026-04-02 14:11:45 +01:00
hugo Squashed commit of the following: 2026-07-11 13:02:42 +01:00
images Issue/add hugo support for documentation (#1449) 2026-06-06 13:12:44 +01:00
include/etl Fix make_array and make_deque rejecting const-qualified lvalues of the element type (#1526) 2026-08-17 10:13:34 +02:00
scripts SFTP the documentation to the website on push to master (#1468) 2026-06-23 18:04:26 +01:00
subprojects Update test sources in meson build (#604) 2022-10-19 12:22:52 +01:00
support Squashed commit of the following: 2026-07-11 13:02:42 +01:00
test Fix make_array and make_deque rejecting const-qualified lvalues of the element type (#1526) 2026-08-17 10:13:34 +02:00
uml Re-committed UML diagrams after HD crash 2024-03-04 12:57:02 +00:00
zephyr Add PURL to Zephyr module.yml for SBoM generation (#1344) 2026-03-12 20:39:53 +00:00
.bazelrc Add bazel support (#1420) 2026-04-30 12:30:01 +02:00
.bazelversion Add bazel support (#1420) 2026-04-30 12:30:01 +02:00
.clang-format Adjusted ColumnLimit to 150 2026-04-02 14:07:10 +01:00
.clang-tidy Add test/run-clang-tidy.sh (#1409) 2026-05-18 08:01:17 +01:00
.coderabbit.yaml Fix .clang-format (#1177) 2025-09-06 14:12:34 +01:00
.gitattributes Merge branch 'hotfix/issue-303-etl-not-compatible-with-arduino-ide' into development 2020-12-08 13:19:42 +00:00
.gitignore to string() does not handle floating point number with integer part exceeding max uint64 t (#1455) 2026-06-08 14:16:52 +01:00
.gitlab-ci.yml Update cmake & meson version handling (#522) 2022-04-08 09:37:21 +02:00
.gitmodules Issue/add hugo support for documentation (#1449) 2026-06-06 13:12:44 +01:00
.treefmt.toml Updated .treefmt to exclude more files and directories 2026-04-02 08:27:46 +01:00
appveyor.yml Removed appveyor notification for Slack 2025-04-02 12:59:06 +01:00
BUILD.bazel Squashed commit of the following: 2026-07-11 13:02:42 +01:00
CMakeLists.txt Restore CMake < 3.14 compatibility (#1098) 2025-05-22 10:06:06 +01:00
CONTRIBUTING.md Add treefmt support (#1323) 2026-03-13 00:11:51 +00:00
Converting header guards.txt Development release of 20.48.0 2026-06-30 11:33:30 +01:00
DOCUMENTATION.md Issue/add hugo support for documentation (#1449) 2026-06-06 13:12:44 +01:00
Doxyfile Feature/add pair functors (#610) 2022-10-19 12:20:42 +01:00
library.json Squashed commit of the following: 2026-07-11 13:02:42 +01:00
library.properties Squashed commit of the following: 2026-07-11 13:02:42 +01:00
LICENSE Update LICENSE 2024-01-10 08:51:03 +00:00
meson_options.txt Fix meson build (#1431) 2026-05-06 10:10:14 +01:00
meson.build fix set of ETL_NO_STL flag (#628) 2022-11-07 14:53:58 +00:00
MODULE.bazel Add bazel support (#1420) 2026-04-30 12:30:01 +02:00
MODULE.bazel.lock Add bazel support (#1420) 2026-04-30 12:30:01 +02:00
README.md Update README.md 2026-06-30 12:27:05 +01:00
todo.txt Merge remote-tracking branch 'origin/feature/etl__make_string' into development 2019-12-04 20:55:18 +00:00
version.txt Squashed commit of the following: 2026-07-11 13:02:42 +01:00

alt text Embedded Template Library (ETL)

GitHub release (latest by date) Release date Standard License GitHub contributors GitHub forks GitHub Repo stars

CI

CI CI CI CI CI CI CI

CI CI CI CI CI CI CI

Codacy Badge

Project documentation

Motivation

C++ is a powerful language for embedded systems development, with templates offering a great deal of flexibility and type safety. While the C++ Standard Library provides a wealth of well-tested functionality, it’s often not well suited to environments with strict deterministic behavior and limited resources.

In many embedded applications, dynamic memory allocation is discouraged or outright prohibited, making standard STL containers and many other components impractical or unusable.

What’s needed is a template library specifically designed for embedded systems — one that allows developers to define fixed or maximum sizes for containers and other objects at compile time. Additionally, since many embedded toolchains still lack full support for standards beyond C++03, it's valuable to have access to a library that backports select features from later versions of the C++ Standard Library.

About the ETL

The Embedded Template Library (ETL) is not intended as a full replacement for the C++ Standard Template Library (STL), but rather as a complementary solution tailored specifically for embedded systems.

Its design goals include:

  • Providing a set of containers with fixed or maximum sizes defined at compile-time.

  • Offering APIs that closely resemble those of the STL, enabling familiar and consistent usage.

  • Maintaining compatibility with C++98 while implementing many features introduced in later standards (C++11/14/17/20/23/26) where possible.

  • Ensuring deterministic behavior, which is critical in real-time and resource-constrained environments.

  • Introducing additional components and utilities useful in embedded contexts but absent from the STL.

The ETL avoids dynamic memory allocation entirely; the heap is never used. All non-intrusive containers have a fixed capacity, allowing memory requirements to be fully determined at compile-time. This makes the ETL ideal for lower-resource embedded applications where predictability, performance, and memory control are essential.

The library is compatible with any compiler that supports C++03 or later.

Help on integrating the ETL with your project may be found here.

Key features of the ETL

  • Actively Maintained: Developed and maintained on GitHub since 2014.

  • Open Source: MIT licensed.

  • No STL Dependency: Designed to operate independently of the C++ Standard Template Library.

  • No Dynamic Memory Allocation: All storage is allocated either at compile-time or on the stack; heap usage is entirely avoided.

  • RTTI and Virtual Functions: No runtime type information (RTTI) is required. Virtual functions are used sparingly and only when strictly necessary.

  • Header-Only Library: All functionality is provided via header files; No separate compilation needed.

  • Fixed-Capacity Containers: Offers STL-like containers with fixed or maximum capacity, plus additional non-standard container types.

  • Cache Efficiency: Containers use contiguous memory layouts for optimal cache performance.

  • Compact Codebase: Shared base classes (based on type) help reduce overall container code size.

  • Compile-Time Features:

    • Templated compile-time constants
    • Template-based design pattern base classes (e.g., Visitor, Observer)
    • Type-safe smart enumerations
    • Type-safe typedefs and constants
  • Embedded System Frameworks:

    • Message routing
    • Finite state machines
    • Task scheduling
  • C++11 Backports: Implements many C++11 features (type traits, algorithms, containers) for use in C++03 environments.

  • Utilities:

    • CRC calculations (8, 16, 32 & 64-bit)
    • Checksums and hash functions
    • Variants (type-safe unions)
    • Extensive template support utilities
  • Robust Error Handling: Configurable error checking using asserts, exceptions, error handlers, or no checks; user’s choice.

  • Thoroughly Tested:

    • Over 10,000 unit tests
    • Tested with Visual Studio 2022, GCC 12, and Clang 14
    • Continuous integration via GitHub Actions.
  • Readable and Well-Documented: Clean, maintainable source code with clear documentation.

  • Support: Free email support available. A Slack group is available. Paid support on request.

  • Archived: A snapshot of the ETL is preserved in the Arctic Code Vault for long-term digital preservation.

Any help porting the library to work under different platforms and compilers would be gratefully received. I am especially interested in people who are using Keil, IAR, Green Hills, TI Code Composer etc, bare metal or RTOS, and DSPs.

See (https://www.etlcpp.com) for up-to-date information.

Installing this library

You can find the setup steps here.

CMake

One way to use this library is to drop it somewhere in your project directory and then make the library available by using add_subdirectory

add_subdirectory(etl)
add_executable(foo main.cpp)
target_link_libraries(foo PRIVATE etl::etl)

If ETL library is used as a Git submodule it may require additional configuration for proper ETL version resolution by allowing the lookup for Git folder outside of the library root directory.

set(GIT_DIR_LOOKUP_POLICY ALLOW_LOOKING_ABOVE_CMAKE_SOURCE_DIR)
add_subdirectory(etl)

If you want to install this library with CMake, you can perform the following steps. On Linux, super user rights might be required to install the library, so it might be necessary to add sudo before the last command:

git clone https://github.com/ETLCPP/etl.git
cd etl
git checkout <targetVersion>
cmake -B build .
cmake --install build/

After the library has been installed, you can use find_package to use the library. Replace <majorVersionRequirement> with your desired major version:

find_package(etl <majorVersionRequirement>)
add_executable(foo main.cpp)
target_link_libraries(foo PRIVATE etl::etl)

Alternatively you can use FetchContent.

By Git, replacing <targetVersion> with the version to install based on a git tag:

include(FetchContent)

FetchContent_Declare(
  etl
  GIT_REPOSITORY https://github.com/ETLCPP/etl
  GIT_TAG        <targetVersion>
)

FetchContent_MakeAvailable(etl)

add_executable(foo main.cpp)
target_link_libraries(foo PRIVATE etl::etl)

Or by URL, fetching a release tarball directly, again replacing <targetVersion> with the desired version:

include(FetchContent)

FetchContent_Declare(
  etl
  URL https://github.com/ETLCPP/etl/archive/refs/tags/<targetVersion>.tar.gz
)

FetchContent_MakeAvailable(etl)

add_executable(foo main.cpp)
target_link_libraries(foo PRIVATE etl::etl)

A tarball fetched this way has no .git directory of its own. ETL detects this and falls back to reading its version from version.txt instead of git describe, so no extra configuration is needed.

Profile definition

When using ETL in a project, there is typically an etl_profile.h defined to adjust ETL to the project needs. ETL will automatically find etl_profile.h if it is available in the include path(s). If it's not available, ETL will work with default values.

Example

#ifndef __ETL_PROFILE_H__
#define __ETL_PROFILE_H__

#define ETL_TARGET_DEVICE_GENERIC
#define ETL_TARGET_OS_NONE

#define ETL_NO_STL

#endif

Platform specific implementation

Although ETL is generally a self-contained header-only library, some interfaces need to be implemented in every project or platform, at least if those interfaces are actually being used, due to project specifics:

ETL header Platform specific API to be implemented Needed when using
chrono.h etl_get_high_resolution_clock() etl::high_resolution_clock::now()
etl_get_system_clock() etl::system_clock::now()
etl_get_steady_clock() etl::steady_clock::now()
print.h etl_putchar() etl::print()
etl::println()

Example

#include <etl/chrono.h>
#include <etl/print.h>

extern "C"
{

etl::chrono::high_resolution_clock::rep etl_get_high_resolution_clock()
{
  return etl::chrono::high_resolution_clock::rep(static_cast<int64_t>(getSystemTimeNs()));
}

etl::chrono::system_clock::rep etl_get_system_clock()
{
  return etl::chrono::system_clock::rep(static_cast<int64_t>(getSystemTimeNs()));
}

etl::chrono::system_clock::rep etl_get_steady_clock()
{
  return etl::chrono::system_clock::rep(static_cast<int64_t>(getSystemTimeNs()));
}

void etl_putchar(int c)
{
  putByteToStdout(static_cast<uint8_t>(c));
}

}

The following default values apply if the respective macros are not defined (e.g. in etl_profile.h):

Macro Default
ETL_CHRONO_SYSTEM_CLOCK_DURATION etl::chrono::nanoseconds
ETL_CHRONO_SYSTEM_CLOCK_IS_STEADY true
ETL_CHRONO_HIGH_RESOLUTION_CLOCK_DURATION etl::chrono::nanoseconds
ETL_CHRONO_HIGH_RESOLUTION_CLOCK_IS_STEADY true
ETL_CHRONO_STEADY_CLOCK_DURATION etl::chrono::nanoseconds

Arduino library

The content of this repo is available as a library in the Arduino IDE (search for the "Embedded Template Library" in the IDE library manager). The Arduino library repository is available at https://github.com/ETLCPP/etl-arduino, see there for more details.