为什么我不能在函数中声明常量？

Question

当我尝试执行以下函数时出现此错误 src\main.c(41): error: #259: constant value is not known

代码：

uint8_t checksum_tx(uint64_t Data, uint8_t dataLength, uint8_t checksum_len )   {

  const uint8_t length = (dataLength + checksum_len - 1) / checksum_len;

    //** splitting data into 6-bits subunits . . .
    
    uint8_t res = 0U;   
    uint8_t dataSubUnit[length];

导致错误的行 const uint8_t length = (dataLength + checksum_len - 1) / checksum_len;

有人可以澄清发生了什么问题吗？ 我在某处读到C中的常量必须直接声明，不允许初始化它们，我想这就是我所做的。

Answer 1

这是语言的限制...或const 标记对象的功能（取决于阅读者）。我认为您对const 关键字的解释，适用于生命周期有限的数据对象，应该使其在对象的生命周期内不可变，即定义它的块的执行。但是编译器使数据有效地成为一个常量（如常量 PI），并且它必须在整个程序生命周期内保持相同的值，而不是在每个函数调用时。在您发布的情况下，常量将具有的表达式的值在函数启动并且参数接收它们的值之前是未知的（只有这样才能评估初始化表达式），所以常量实际上不是常量（您可以在不同的调用中为函数参数提供不同的值，并使常量值与上一次调用不同）。

例如，在 java 中，有一个 final 关键字来将数据值标记为常量，并且您必须在对象的生命周期内保留（您不能为其分配/更改值）（这意味着因为它被创建直到被销毁），但初始值是在创建时动态确定的。这在 C 语言中不成立。const 声明的数据对象实际上必须是一个常量，并且必须由一个表达式（称为 const 表达式）初始化，该表达式的值可以在编译时确定。

Answer 2

常量不是真正的变量：一旦代码被编译，常量就会被转换成硬编码的值（立即操作数），或者程序中不能写入的部分（通常是 .rodata）中的引用。

因此，不能在运行时为常量赋值。您必须设置一个在编译时已知的值，因此该值不依赖于其他变量。 （例如const int length = 42;）。 如果您在编译代码之前无法知道length 的值，那么您需要一个变量，而不是const。

我猜你需要一个常量来声明数组dataSubUnit。解决这个问题的常用方法是声明一个足够大的数组以包含任何可能的length：

#define MAX_DATA_SUBUNIT_LEN 42

uint8_t checksum_tx(uint64_t Data, ... ) {
  uint8_t dataSubUnit[MAX_DATA_SUBUNIT_LEN];

...并防止可能的溢出：

uint8_t length = (dataLength + checksum_len - 1) / checksum_len;

if ( length < MAX_DATA_SUBUNIT_LEN ) {
   ... // proceed 
}
else {
    // return some relevant error code
}