typedef массив фиксированной длины

Я должен определить 24-битный тип данных. Я использую char[3]для представления типа. Могу ли я ввести char[3]определение type24? Я попробовал это в примере кода. Я положил typedef char[3] type24;в мой файл заголовка. Компилятор не жаловался на это. Но когда я определил функцию void foo(type24 val) {}в моем C-файле, он пожаловался. Я хотел бы иметь возможность определять функции, как type24_to_int32(type24 val)вместо type24_to_int32(char value[3]).

Typedef будет

typedef char type24[3];

Однако, это, вероятно, очень плохая идея, потому что результирующий тип является типом массива, но пользователи этого не увидят, что это тип массива. Если он используется в качестве аргумента функции, он будет передан по ссылке, а не по значению, и тогда sizeoffor будет неверным.

Лучшее решение было бы

typedef struct type24 { char x[3]; } type24;

Вы, вероятно, также хотите использовать unsigned charвместо char, так как последний имеет подпись, определяемую реализацией.

Вы хотите

typedef char type24[3];

Объявления типа C странны таким образом. Вы помещаете тип точно в то место, куда будет идти имя переменной, если вы объявляли переменную этого типа.

Из ответа Р .. :

Тем не менее, это, вероятно, очень плохая идея, потому что результирующий тип является типом массива, но пользователи этого не увидят, что это тип массива. Если он используется в качестве аргумента функции, он будет передан по ссылке, а не по значению, и тогда sizeof для него будет неправильным.

Пользователи, которые не видят, что это массив, скорее всего напишут что-то вроде этого (что не получается):

#include <stdio.h>

typedef int twoInts[2];

void print(twoInts *twoIntsPtr);
void intermediate (twoInts twoIntsAppearsByValue);

int main () {
    twoInts a;
    a[0] = 0;
    a[1] = 1;
    print(&a);
    intermediate(a);
    return 0;
}
void intermediate(twoInts b) {
    print(&b);
}

void print(twoInts *c){
    printf("%d\n%d\n", (*c)[0], (*c)[1]);
}

Он скомпилирует следующие предупреждения:

In function ‘intermediate’:
warning: passing argument 1 of ‘print’ from incompatible pointer type [enabled by default]
    print(&b);
     ^
note: expected ‘int (*)[2]’ but argument is of type ‘int **’
    void print(twoInts *twoIntsPtr);
         ^

И выдает следующий вывод:

0
1
-453308976
32767

Массивы не могут быть переданы как параметры функции по значению в C.

Вы можете поместить массив в структуру:

typedef struct type24 {
    char byte[3];
} type24;

и затем передать это по значению, но, конечно, тогда это менее удобно использовать: x.byte[0]вместо x[0].

Ваша функция type24_to_int32(char value[3])фактически передается по указателю, а не по значению. Это в точности эквивалентно type24_to_int32(char *value), и 3игнорируется.

Если вы счастливы, передавая указатель, вы можете придерживаться массива и сделать:

type24_to_int32(const type24 *value);

Это передаст указатель на массив, а не указатель на первый элемент, поэтому вы используете его как:

(*value)[0]

Я не уверен, что это действительно выигрыш, так как если вы случайно напишите, value[1]произойдет что-то глупое.

Чтобы правильно использовать тип массива в качестве аргумента функции или параметра шаблона, создайте структуру вместо typedef, затем добавьте operator[]в структуру, чтобы вы могли сохранить массив как функциональность следующим образом:

typedef struct type24 {
  char& operator[](int i) { return byte[i]; }
  char byte[3];
} type24;

type24 x;
x[2] = 'r';
char c = x[2];

Вот короткий пример того, почему массив typedef может быть противоречивым. Другие ответы обеспечивают обходной путь.

#include <stdio.h>
typedef char type24[3];

int func(type24 a) {
        type24 b;
        printf("sizeof(a) is %zu\n",sizeof(a));
        printf("sizeof(b) is %zu\n",sizeof(b));
        return 0;
}

int main(void) {
        type24 a;
        return func(a);
}

Это производит вывод

sizeof(a) is 8
sizeof(b) is 3

потому что type24 в качестве параметра является указателем. (В C массивы всегда передаются как указатели.) К счастью, компилятор gcc8 выдаст предупреждение по умолчанию.