13

我希望能够将 const 数组参数传递给 C++ 中的方法。

我知道,当您将数组传递给方法时,它与将指针传递给数组的第一项相同,因此一种简单的方法是使用指针。

void myMethod(int * const inTab)

但是有时拥有一个数组会更好,例如,您可以编写数组的大小。

4

5 回答 5

24

您可以使用获取数组大小的模板:http: //ideone.com/0Qhra

template <size_t N>
void myMethod ( const int (& intArray) [N] )
{
    std::cout << "Array of " << N << " ints\n";
    return;
}

编辑:避免代码膨胀的一种可能方法是拥有一个函数,该函数接受一个指针和一个执行实际工作的大小:

void myMethodImpl ( const int * intArray, size_t n );

和一个调用它的简单模板,很容易内联。

template <size_t N>
void myMethod ( const int (& intArray) [N] )
    { myMethodImpl ( intArray, N ); }

当然,您必须找到一种方法来测试它是否始终被内联,但您确实获得了安全性和易用性。即使在不是的情况下,您也可以以相对较小的成本获得好处。

于 2012-07-18T14:32:55.137 回答
8

每 3.9.3:2

任何应用于数组类型的 cv 限定符都会影响数组元素类型,而不是数组类型 (8.3.4)。

和 8.3.4:1

任何形式的“cv-qualifier-seq array of NT”都被调整为“array of N cv-qualifier-seq T”,同样适用于“array of unknown bound of T”。

此外,根据 8.3.5:5

在确定每个参数的类型后,将“T的数组”或“返回T的函数”类型的任何参数分别调整为“指向T的指针”或“返回T的函数的指针”。

这意味着在采用数组参数的函数中,参数类型实际上是一个指针,并且由于 3.9.3:2,该指针是非 cv 限定的:

void foo(const int parameter[10]) {
    parameter = nullptr;   // this compiles!
}

这不会影响函数本身的类型,因为 8.3.5:5 中有另一个子句

在生成参数类型列表后,任何修改参数类型的顶级 cv 限定符都会在形成函数类型时被删除。

因此,如果您希望能够传递带有 cv 限定符的数组,它必须是通过引用:

void foo(const int (&parameter)[10]);
于 2012-07-18T14:58:49.720 回答
5

不知道是不是你问的,但也许是你要找的

void func (const int array[10])
{
    //array[0] = 12345; // this wouldn't compile, so 'const' works
}

int main ()
{
    int array[10];
    func(array);
}
于 2012-07-18T14:38:04.107 回答
4

如果您需要数组的大小:

template < std::size_t Size >
void myMethod( const int ( &inTab )[ Size ] );
于 2012-07-18T14:29:38.667 回答
0

尝试std::vector

void myMethod(const std::vector<int> &inTab);
于 2021-12-10T15:01:23.643 回答