C++/C中如何判断指针数组是否已被填充

Question

假设我有函数

foo(双 * pa)

其中 pa 填充范围为 [0] 到 [100] 或者 pa 仅针对 [0] 进行填充。

我的函数执行以下操作：

foo(双 * pa)

{

IF（pa 是 100 的数组）THEN x[0 到 100] = pa[0 到 100]

ELSE x[0 到 100] = pa[0]

}

Answer 1

那是不可能的。 pa 未填充，因为它不是数组。按照惯例，它是一个指针，指向数组的第一个元素。但它的类型只是指向 double 的指针，并且没有关于它是指向单个 double 还是包含 1、10、100 或 1000 个元素的数组的信息。

“传统”解决方案是传递两个参数：指针和数组的大小：

void foo(double* pa, size_t arraysize)
{
    if (arraysize == 100) {
        ...
    }
    else {
        ...
    }
}

Answer 2

问： foo() 如何知道 pa[] 是否是一个 100 的数组？

一般来说，你必须告诉它。例如：

void
foo (double *pa, int len)
{
  if (len == 100)
    ...
  else
    ...

但是，如果您使用 C++ 进行编码，则可以使用 STL 容器，例如向量：

void foo (vector<double> & pa)
{
  if (pa.size() == 100)
    ...

Answer 3

给定 foo() 函数参数中的信息，无法找出：

• “填充”的元素数量
• 指向的数组中的元素总数pa

为了实现此目的，您需要向 foo() 函数传递额外的参数，以说明总数组有多大，以及已填充多少个元素。

Answer 4

基于您的 上一个问题，结合这个问题，我认为您可能想要的只是一个重载，请参见这里：

void foo_impl(double * x)
{
    // common functionality here
}

void foo(double * pa)
{
    double x[100];
    std::copy(pa, pa + 100, x);
    foo_impl(x);
}

void foo(double pa)
{
    double x[100];
    std::fill(x,x+100,pa);
    foo_impl(x);
}

有了这个，您可以使用指针调用 foo ，其中假定它指向一个至少具有以下属性的数组： 100 个值。或者您可以使用单个值来调用它。将两个函数之间的通用功能放在 foo_impl 中，这样就不会重复代码。

Answer 5

你不能。 foo() 唯一知道 pa 是它是一个指针，无论它是否为空指针，如果它为非空，它指向什么。它无法判断它是指向单个对象还是指向数组的第一个元素。

如果可能的话，您可能应该使用 foo() ，以便调用者必须传递附加信息：（

void foo(double *pa, size_t count) {
    /* ... */
}

注意：您应该声明 foo 的返回类型。）