C99 const 按值传递

Question

我一直在研究 GNU 科学图书馆源代码，并且不断看到以下类型的声明：

double cblas_ddot (const int N, const double * x, const int incx, const double * y, const int incy)

在 C99 中，声明按值传递的参数是否有任何（优化）好处（例如 <上例中的 code>N 或 incy）const？无论如何，都有一个由它们组成的副本，因为它们是按值传递的，不是吗？

谢谢！ 科内尔

Answer 1

对于调用者来说可能没有任何好处，但是对于被调用者来说。声明函数参数 const 与声明其他局部变量 const 具有相同的有益影响，只要您尝试修改此参数，就会给您自己（作为函数的程序员）带来错误。

在不太智能的实现中，如果内联函数，这样的声明也可能对决策产生影响。但我想现在的编译器会直接从函数的定义中推断出什么来做出这样的决定。

这种实现规范在其接口中表达当然可以被视为对语言的限制。

Answer 2

是的。选项“const”通常用于声明传递给该函数的任何内容都不会被更改。编译方面，没有区别。它仍然是按值传递。

Answer 3

正如其他人所说，函数以这种方式声明，以便在函数的范围内，该变量将不可更改，并且在这样做时，编译器应该警告您。

至于为什么要这样做，请考虑传递指针允许您执行的操作 - 即，您可以取消引用已传递的指针并编辑它指向的数据的值。使用 const 是防止您意外编辑调用者认为未更改的值的好方法。

例如，考虑一下：

#include <stdio.h>

void add(int* result, const int* x, int* y)
{
    *result = *x + *y;
    (*y)++; /* <-- the caller won't expect this! */

}

int main(int argc, char** argv)
{
    int a = 7;
    int b = 10;
    int c = 0;

    add(&c, &a, &b);

    printf("%d + %d = %d\n", a, b, c);
    return 0;
}

这会输出 7+11=17。现在这是一个微不足道的、不严重的情况，但如果我们依赖任何重要的东西，可能会发生各种各样的事情......

如果你坚持 const 反对 y 变量，你应该得到：

constexample.c：在函数“add”中：
constexample.c:7:5: 错误：增量
只读位置 '*y'

编辑，以进一步说明：

为非指针变量声明 const 类型的一个很好的理由是用于表示某物大小的变量，或任何表示某物大小的变量保存数组的最大值。考虑一下：

int editstring(char* result, ..., const char* source, const size_t source_len);

现在，您对自己说，但我永远不会编辑 source_len。好吧，假设在你的算法中你出于某种原因而这样做。如果您的更改增加了 source_len 的值，则您将面临访问超出已分配内存的风险。如果您尝试修改该值，则在那里设置 const 将生成编译器错误。

我应该用双下划线指出，const 只是向编译器说“我保证不编辑它”的一种方式。它不保证内存是只读的，但它是标记您的意图以便捕获错误的一种方式。如果不需要修改它，将其声明为const。

既然你问了，两个版本生成的程序集是相同的。