matriz de comprimento fixo typedef

Eu tenho que definir um tipo de dados de 24 bits. Estou usando char[3]para representar o tipo. Posso typedef char[3]para type24? Eu tentei em um exemplo de código. Eu coloquei typedef char[3] type24;no meu arquivo de cabeçalho. O compilador não reclamou. Mas quando defini uma função void foo(type24 val) {}no meu arquivo C, ela se queixou. Eu gostaria de poder definir funções como em type24_to_int32(type24 val)vez de type24_to_int32(char value[3]).

O typedef seria

typedef char type24[3];

No entanto, essa é provavelmente uma péssima idéia, porque o tipo resultante é um tipo de matriz, mas os usuários não verão que é um tipo de matriz. Se usado como argumento de função, ele será passado por referência, não por valor, e o valor sizeofestará errado.

Uma solução melhor seria

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

Você provavelmente também deseja usar em unsigned charvez de char, pois o último possui assinatura definida pela implementação.

Você quer

typedef char type24[3];

As declarações do tipo C são estranhas dessa maneira. Você coloca o tipo exatamente para onde o nome da variável iria se estivesse declarando uma variável desse tipo.

Da resposta de R .. :

No entanto, essa é provavelmente uma péssima idéia, porque o tipo resultante é um tipo de matriz, mas os usuários não verão que é um tipo de matriz. Se usado como argumento de função, ele será passado por referência, não por valor, e o tamanho dele será incorreto.

Os usuários que não vêem que é uma matriz provavelmente escreverão algo assim (que falhará):

#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]);
}

Ele será compilado com os seguintes avisos:

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);
         ^

E produz a seguinte saída:

0
1
-453308976
32767

Matrizes não podem ser passadas como parâmetros de função por valor em C.

Você pode colocar a matriz em uma estrutura:

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

e depois passar isso por valor, mas é claro que é menos conveniente usar: em x.byte[0]vez de x[0].

Sua função type24_to_int32(char value[3])realmente passa pelo ponteiro, não pelo valor. É exatamente equivalente a type24_to_int32(char *value), e o 3é ignorado.

Se você está feliz passando pelo ponteiro, você pode ficar com a matriz e fazer:

type24_to_int32(const type24 *value);

Isso passará um ponteiro para o array, não um ponteiro para o primeiro elemento; portanto, você o usa como:

(*value)[0]

Não sei se isso é realmente um ganho, pois se você escrever acidentalmente value[1], algo estúpido acontece.

Para usar o tipo de matriz corretamente como argumento de função ou parâmetro de modelo, faça uma struct em vez de um typedef e adicione uma operator[]à estrutura para que você possa manter a matriz como uma funcionalidade da seguinte maneira:

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

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

Aqui está um pequeno exemplo de por que o array typedef pode ser confusamente inconsistente. As outras respostas fornecem uma solução alternativa.

#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);
}

Isso produz a saída

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

porque type24 como parâmetro é um ponteiro. (Em C, as matrizes sempre são passadas como ponteiros.) Felizmente, o compilador gcc8 emitirá um aviso por padrão.