0

第一个问题，所以我希望它可以理解！

我正在初始化一个指向复合文字的指针，它是一个结构指针数组。然后我可以像通常使用指针数组一样使用这个指针。

typedef struct
{
    uint32_t test1;
    uint32_t test2;
    uint32_t test3;
    uint32_t test4;
    uint32_t test5;
    uint32_t test6;
    uint32_t test7;
    uint32_t test8;
    uint32_t test9;
    uint32_t test10;
    uint32_t test11;
} TestStruct;

TestStruct* TestStructArray = (TestStruct[])
{
    {
        .test1 = 69,
    },
    {
        .test1 = 69,
    },
    {
        .test1 = 0,
    },
};

当我稍后尝试遍历这个数组时，我使用 size_t 类型的变量作为循环计数器，并使用 [] 数组表示法访问数组的成员。

void main(void)
{
    size_t ArrIdx = 0U;
    while(TestStructArray[ArrIdx].test1 != 0U) \\\\\ <-- warning: (752) conversion to shorter data type
    {
        LocalTestFunction();
        ArrIdx++;
    }
}

当数组大小低于某种大小阈值时，编译器会给出以下警告：(752) 转换为更短的数据类型。向 struct 添加更多成员，或向 struct 数组添加更多成员会删除警告。即.. 在此示例中，初始化数组的另一个成员会消除编译器错误。

此警告似乎指向我使用 size_t 类型的索引访问数组成员的行。似乎编译器用于数组索引的类型不是常量，实际上取决于数组的大小。这使得防止截断或未使用的内存变得非常困难。

我已经在一个全新的项目中编译了这个测试代码，并且行为仍然存在。

我是疯了还是我发现了优化的一些有趣的怪癖？

我的构建环境如下：

  • MPLAB X v5.35
  • XC8 v2.10
  • C 库中的 C99 标准和链接
  • 警告级别：-9
  • 器件：PIC18F46K20
  • 优化：空间（PRO）

示例项目

4

2 回答 2

0

此警告似乎指向我使用 size_t 类型的索引访问数组成员的行。似乎编译器用于数组索引的类型不是常量，实际上取决于数组的大小。

C 对数组的固有索引类型没有任何意义。允许通过任何整数类型的索引表达式访问数组，这并不意味着将索引转换为特定的整数类型。

我是疯了还是我发现了优化的一些有趣的怪癖？

我想你已经发现了编译器的一个怪癖，但不清楚这是否与优化有关。也不清楚该警告是否表明存在任何真正的风险。但是，从 C 语言的角度来看，我认为您在 C99 或更高版本中发布的代码片段没有任何问题，无论是单独发布还是一起发布。

于 2020-04-16T23:06:44.100 回答
0

如果您查看 XC8 用户手册（我的是第 149 页上的 1.42），它说 int 是 16 位，因此猜测，默认 int 是 16 位。

  1. 在声明末尾添加 ULL
  2. 与 32 位比较时，使用 0ULL。
于 2020-04-18T11:13:00.387 回答