Список инициализаторов передается как параметр функции для массива

Ответы до сих пор не касались основной проблемы с вопросом: в подписи

void foo(uint8_t a[])

a — это не массив, а указатель на uint8_t. И это несмотря на то, что объявление a делает его похожим на массив. На это указывает даже сообщение об ошибке:

cannot convert '<brace-enclosed initializer list>' to 'uint8_t* {aka unsigned char*}'

Итак, точно так же вам не разрешено делать это:

uint8_t *a = {0x01, 0x02, 0x03}; // Eek! Error

Вы не можете позвонить foo({0x01, 0x02, 0x03}); С подписью выше.

Я предлагаю вам потратить некоторое время, чтобы прочитать о массивах в стиле C и о том, как они не первоклассные граждане в C++.

Из ответа, который вы опубликовали на свой собственный вопрос, кажется, что вы ищете функцию, которая работает для массивов фиксированного размера. Но не передавайте его по значению! Я рекомендую использовать следующее объявление:

void foo(std::array<uint8_t, 3> const &a);

Это сработало для меня, мне пришлось изменить сигнатуру функции, но на самом деле это лучше в моем случае, поскольку она статически проверяет длину массива:

void foo(std::array<uint8_t, 3> a) { /* use a.data() instead of a */ }

foo({0x01, 0x02, 0x03}); // OK

foo({0x01, 0x02}); // Works, at least on GCC 4.9.1. The third value is set to zero.

foo({0x01, 0x02, 0x03, 0x04}); // Compilation error.

Вы не можете. Просто построить

uint8_t a[] = {0x01, 0x02, 0x03};

и позвоните foo(a).

Или просто используйте std::array, это, вероятно, лучше.

Этот:

void foo(uint8_t a[]) { ... }

это функция, которая принимает uint8_t*, а не массив - массивы распадаются на указатели при использовании в качестве аргументов функции. Проблема в том, что список инициализаторов (например, {0x01, 0x02, 0x03}) нельзя преобразовать в uint8_t*.

Если вы хотите передать произвольное число uint8_ts в foo, простое решение — использовать новый std::initializer_list

void foo(std::initializer_list<uint8_t> a) { ... }

foo({0x01, 0x02, 0x03, 0x04, 0x05}); // OK - a has 5 elems in it

Или вы можете взять вариативный пакет и построить из него массив внутри:

template <typename... Args,
          typename = std::enable_if_t<
              all_true<std::is_convertible<Args, uint8_t>::value...>
              >>
void foo(Args... elems) {
    uint8_t a[] = {elems...};
    // ...
}

Это имеет немного другое использование:

foo({0x01, 0x02, 0x03}); // error
foo(0x01, 0x02, 0x03; // OK - a has 3 elems in it