3

背景

我正在使用 GMP 库的 C 接口，我需要操作整数数组。GMP 库中整数的主要类型是 mpz_t，并且 GMP 使用了一个技巧来允许用户在没有显式分配的情况下使用 gmp_z，同时能够将它们作为指针传递。即 gmp_z 类型定义如下。

typedef struct
{
  int _mp_alloc;        
  int _mp_size;
  mp_limb_t *_mp_d;
} __mpz_struct;

typedef __mpz_struct mpz_t[1];

这很简洁，但是我无法将 mpz_t 数组传递给在 const 数组上运行的函数。

例子

举例来说，考虑这个简单的非 GMP 程序。

#include <stdio.h>

typedef struct {
  int x;
} x_struct;

typedef x_struct x_t[1];

void init_x(x_t x) {
  x->x = 23;
}

void print_x(const x_t x) {
  printf("x = %d\n", x->x);
}

// I'm just printing so taking a const array 
void print_x_array(const x_t* x_array, size_t n) {
  size_t i;
  for (i = 0; i < n; ++ i) {
    printf("x[%zu] = %d\n", i, x_array[i]->x);
  } 
}

int main() {
  x_t x; // I can declare x and it's allocated on the stack
  init_x(x);
  print_x(x); // Since x is an array, pointer is passed

  x_t x_array[3];
  init_x(x_array[0]);
  init_x(x_array[1]);
  init_x(x_array[2]);
  print_x_array(x_array, 3); // Compile warning
}

该程序使用GMP技巧，只是炫耀用法。编译这个程序会给出一个恼人的警告

gcc test.c -o test
test.c: In function ‘main’:
test.c:33:3: warning: passing argument 1 of ‘print_x_array’ from incompatible pointer type [enabled by default]
test.c:17:6: note: expected ‘const struct x_struct (*)[1]’ but argument is of type ‘struct x_struct (*)[1]’

问题

由于我不是 C 专家，因此有人可以进一步说明为什么会发生此警告。更重要的是，有没有办法在仍然使用 mpz_t （或示例中的 x_t ）的同时绕过这个警告？

4

2 回答 2

0

只需将其转换为const：

  print_x_array((const x_t *)x_array, 3); // Should be ok
于 2013-10-30T22:30:32.760 回答
0

首先，让我们注意您收到的编译器警告与 GMP 完全无关，它们将mpz_t类型定义为大小为 1 的数组的策略，以便它促进库中的一些函数调用（但仅促进标量参数传递），也不是将数组传递给函数，实际上它本身也不是一个真正的问题。

问题都依赖于const函数参数输入的声明，这不是一个真正的问题。有这样的定义很好，所以如果函数编写器试图修改传递给函数的对象，编译器会阻止。但是不能把负担放在函数调用者身上！

-pedantic在我的设置（OpenSUSE、x86_64、gcc 版本 9.2.1）中，如果我不使用编译器选项，您的代码不会发出警告并且工作得很好。这是因为，正如 Michael Pankov 所说，（旧的）C 标准非常严格，有时很麻烦，而今天的编译器非常聪明。编译器现在可以执行您想要的操作，并且会为您提供正确的代码，请放心。此外，在您的环境中，调用该函数的人似乎比更改它的人多，因此可以确保输入不会被过度修改，并且您可以完全忽略警告。

为了在此处忽略 GCC 的此特定警告检查，其他编译器也提供此选项。

关于这里const的函数参数输入检查，我特别喜欢这个答案：“如果你的代码有很多人在处理它并且你的函数是不平凡的，那么你应该标记任何你可以标记的东西。在编写工业强度的代码时，您应该始终假设您的同事是精神病患者，他们试图以任何可能的方式得到您（尤其是因为将来通常是您自己）。 ”。const

于 2021-12-19T04:10:44.110 回答