抛弃指向 const 的指针数组中的常量性，以及有关 C 的其他问题

Question

我正在运行一些代码来测试 MATLAB mex 函数中的多线程（我知道 MATLAB 不是线程安全的......我只是想看看会发生什么）。 MATLAB C 代码函数的入口点具有帖子底部代码片段中的 mexFunction 函数的签名。 由于我本质上想将该函数的参数传递到使用 pthread 创建的另一个线程中，因此我需要将所有内容捆绑到一个结构中。 mexFunction 的签名（我无法更改）包含指向 mxArray 的指针数组，但是我无法直接在结构定义中包含指向 mxArray 的指针数组，因为从那时起我无法分配给结构的该字段（无法分配给数组）。 例如，这不起作用：

typedef struct MexFunArgs {
  int nrhs;
  const mxArray *prhs[];
} MexFunArgs;

/* ... now within the mexFunction ... */

MexFunArgs mfa;

mfa.prhs = prhs;

解决此问题的第一个想法是将结构定义更改为：

typedef struct MexFunArgs {
  int nrhs;
  const mxArray **prhs;
} MexFunArgs;

但是，当我在另一个线程中使用此结构时，我需要按顺序强制转换回指针数组将其传递给 mexCallMATLAB 函数，据我所知这是无法完成的（如果我错了，请纠正我！）。

因此，我想改为将结构定义更改为：

typedef struct MexFunArgs {
  int nrhs;
  const mxArray *(*prhs)[];
} MexFunArgs;

即，指向 mxArray 指针数组的指针。 这解决了赋值问题（尽管编译器仍然抱怨指针类型不兼容，原因我不明白）。 然而，事实证明 mexCallMATLAB 函数并不采用指向 const mxArray 的指针数组，而是采用指向非 const mxArray 的指针数组。 所以现在我想知道是否有一种方法可以将指针的 const 方面丢弃到指向 const mxArrays 的指针数组。 我不知道该怎么做......以下是不合法的：

(mxArray *(*)[])

可以做到吗？ 如果不是，我正在尝试做的事情（将这些参数完好无损地传递给另一个线程，以便它们可以在没有编译器抱怨的情况下使用）可以在C中以其他方式实现吗？

以下是我目前使用的完整代码，它按预期运行，但在编译时会产生警告。 我讨厌警告，并希望它消失。 实现这一目标的正确方法是什么？

#include <pthread.h>
#include <unistd.h>
#include <mex.h>

typedef struct MexFunArgs {
  int nrhs;
  mxArray *(*prhs)[];
} MexFunArgs;

void *do_thread(void *args) {
  MexFunArgs *mfa = (MexFunArgs*) args;

  mexCallMATLAB(0, NULL, mfa->nrhs, *mfa->prhs, "disp");

  pthread_exit(NULL);
}

void mexFunction(int nlhs, mxArray *plhs[], int nrhs, const mxArray *prhs[]) {
  int num;

  if (nrhs < 1)
    mexErrMsgTxt("not enough input arguments");
  else
    num = mxGetScalar(prhs[0]);

  MexFunArgs mfa;

  mfa.nrhs = nrhs;
  mfa.prhs = &prhs[1]; /* <-- threads.c:29: warning: assignment from incompatible pointer type */

  pthread_t threads[num];

  int rc, t;
  for (t = 0; t < num; t++) {
    mexPrintf("In main: creating thread %d\n", t);
    rc = pthread_create(&threads[t], NULL, do_thread, (void *) &mfa);
    if (rc)
      mexErrMsgTxt("Problem with return code from pthread_create()");
  }
  return;
}

Answer 1

该警告是由于分配

指向 const mxArrays 的指针数组（名称）

指向

指向非常量mxArray指针数组的指针。

请记住，您只能安全地分配给更合格的类型。

这些是不同的类型。 您要么禁用该特定行的警告，要么使用强制转换——两者同样危险。

另请注意，如果您使用基于 C99 的编译器进行编译，则 mxArray 声明中结构的空 [] 声明一个可变长度数组。 这是你想要的吗？

Answer 2

找到了一个让一切顺利进行的方法。 因为数组和指针在函数签名中的处理方式相同，所以我只是将 mexFunction 更改为采用 mxArray ** 而不是 mxArray *thing[]。 那么转换就没有问题，因为不需要转换为数组类型（非法）。

Answer 3

根据您的标题进行大胆猜测，我认为您还没有掌握指针的常量与它所指向的对象的常量之间的区别。

请参阅 为什么这允许从 ( char *) 到 (const char *)? 的示例可以指导您。

对于和其他问题部分，为什么不将它们分成单独的问题。 这可能有助于获得您寻求的答案。