typedef 定长数组

Question

我必须定义一个 24 位数据类型。我使用 char[3] 来表示该类型。我可以将 char[3] 键入 type24 吗？我在代码示例中尝试过。我将 typedef char[3] type24; 放入头文件中。编译器没有抱怨它。但是当我在 C 文件中定义一个函数 void foo(type24 val) {} 时，它确实抱怨了。我希望能够定义像 type24_to_int32(type24 val) 这样的函数，而不是 type24_to_int32(char value[3])。

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

Answer 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 编译器默认会发出警告。

Answer 3

构建接受的答案，一种多维数组类型，即固定长度数组的固定长度数组，不能用

typedef char[M] T[N];  // wrong!

相反的方式声明，可以按照接受的答案声明和使用中间一维数组类型：

typedef char T_t[M];
typedef T_t T[N];

或者，可以在单个（可以说是令人困惑的）语句中声明 T ：

typedef char T[N][M];

它定义了一个类型N 个 M 字符数组（此处请注意顺序）。

Answer 4

我们可以将位域用于具有特定大小的类型。让我们用它创建一个结构体并为位字段指定 24 。

typedef struct {
  unsigned int _24bits: 24;
} utype24;

然后我们可以为其分配一个范围在 [ 0 , 16777215 ]

utype24 var = {16777215};
printf("%d", var._24bits);

output : 16777215

之间的值

16777215 来自哪里：

<预>24 位：
2^24-1 = 16777215（最大值）

Answer 5

typedef 是

typedef char type24[3];

但是，这可能是一个非常糟糕的主意，因为结果类型是数组类型，但它的用户不会看到它是数组类型。如果用作函数参数，它将通过引用而不是值传递，并且它的 sizeof 将是错误的。

更好的解决方案是

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

您可能还希望使用 unsigned char 而不是 char，因为后者具有实现定义的签名。

Answer 6

你想要

typedef char type24[3];

C 类型声明这样很奇怪。如果您声明该类型的变量，则可以将类型准确地放置在变量名称所在的位置。

Answer 7

来自 R.. 的回答：

但是，这可能是一个非常糟糕的主意，因为结果类型
是一个数组类型，但它的用户不会看到它是一个数组类型。
如果用作函数参数，它将通过引用传递，而不是通过
value，那么它的 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

Answer 8

在 C 中，数组不能作为函数参数按值传递

。您可以将数组放在结构体中：

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

然后按值传递，但当然这样使用起来不太方便： x.byte[0]< /code> 而不是 x[0]。

您的函数 type24_to_int32(char value[3]) 实际上是通过指针传递的，而不是通过值传递的。它与 type24_to_int32(char *value) 完全相同，并且 3 被忽略。

如果您乐意通过指针传递，您可以坚持使用数组并执行以下操作：

type24_to_int32(const type24 *value);

这将传递指向数组的指针，而不是指向第一个元素的指针，因此您可以将其用作：

(*value)[0]

我不确定这真的是一个收获，因为如果你不小心写了 value[1] ，就会发生一些愚蠢的事情。