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];

Однак це, мабуть, дуже погана ідея, оскільки отриманий тип - це тип масиву, але користувачі його не побачать, що це тип масиву. Якщо він використовується як аргумент функції, він передаватиметься посиланням, а не значенням, аsizeof для цього буде помилковим.

Кращим рішенням було б

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

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

Ти хочеш

typedef char type24[3];

Декларації типу C дивні. Ви вводите тип саме там, куди піде ім'я змінної, якщо ви декларували змінну цього типу.

З відповіді Р .. :

Однак це, мабуть, дуже погана ідея, оскільки отриманий тип - це тип масиву, але користувачі його не побачать, що це тип масиву. Якщо його використовувати як аргумент функції, він передаватиметься за посиланням, а не за значенням, і розмірofof для нього буде помилковим.

Користувачі, які не бачать, що це масив, швидше за все, напишуть щось подібне (що не вдається):

#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

Масиви не можна передавати як функціональні параметри за значенням у С.

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

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 видасть попередження за замовчуванням, на щастя.