我可以传递伪装成数组的常量指针吗？

Question

void foo(const char *s);

相当于：

void foo(const char s[]);

是否有与以下两个类似的等价物？

void foo(char * const s);
void foo(const char * const s);

Answer 1

在 C++ 中，编译器会自动将 T 类型 N 个元素的数组（其中 N 可以未知）类型的函数参数转换为 >指向 T 的指针。在同一转换中，参数的顶级 const 限定符被删除：

void f( const int x ); // => declares: void f( int )
void f( int * const ); // => declares: void f( int* )

这意味着在指针的情况下，顶级 const 限定符被删除，而在数组的情况下，它被转换为指向的指针。现在，另一方面，您不能混合两者，只是因为您不能声明一个 T 类型的 N 个元素的常量数组，因为数组始终是 const。这意味着你不能写：

void f( const int a[] const );  // Invalid type definition

因为参数的类型无效。如果它是有效类型，则将应用转换，但由于它不是有效类型，编译器将在尝试执行转换之前拒绝该代码。

这在 C++03 标准的 §8.3.5/3 中进行了处理（可能在 C++11 中接近的地方）

单个名称可以在单个范围内用于多个不同的函数；这就是函数重载（第 13 条）。具有给定参数列表的函数的所有声明应在返回值的类型以及参数的数量和类型方面完全一致；省略号的存在或不存在被视为函数类型的一部分。函数的类型是使用以下规则确定的。每个参数的类型由其自己的 decl-specifier-seq 和声明符确定。在确定每个参数的类型之后，任何“T的数组”或“返回T的函数”类型的参数分别被调整为“指向T的指针”或“指向返回T的函数的指针”。生成参数类型列表后，会对这些类型进行多次转换以确定函数类型。 任何修改参数类型的 cv 限定符都会被删除。 [示例：类型 void(*)(const int) 变为 void(*)(int) — 示例结束] 此类 cv 限定符仅影响参数的定义在函数体内；它们不影响函数类型。如果存储类说明符修改参数类型，则说明符将被删除。 [示例：寄存器 char* 变为 char* —结束示例] 此类存储类说明符仅影响函数体内参数的定义；它们不影响函数类型。转换后的参数类型的结果列表是函数的参数类型列表。

请注意，由于编译器将执行该转换，因此最好遵循最小意外原则编写编译器将使用的实际类型：

void f( int a[10] ) { a[5] = 7; }

编译器不会检查传递的数组是否有 10 个元素，它会将声明读取为 void f( int * )，并且很乐意接受包含较少元素的数组甚至根本没有数组（指向单个 int 的指针）的调用。在实际代码中使用指针：

void f( int *a ) { a[5] = 7; }

可能会在代码审查中触发一些警报：我们是否保证在对 f 的所有调用中参数至少有 6 个元素大？为了以防万一，我们不应该也传递尺寸吗？

Answer 2

在 C89 中不能，但在 C99 中您可以将等价物声明为：

void foo(char s[const]);
void foo(const char s[const]);

Answer 3

这在某些情况下很有用：

class AA {
  void foo(char a[]);
  void foo(const char a[]);
};

void AA::foo(char* const a) { … }
void AA::foo(const char* const a) { … }

在 C 中：

extern void foo(char a[]);
extern void fooc(const char a[]);


void foo(char* const a) { … }
void fooc(const char* const a) { … }

Answer 4

我认为指针可以为空，而数组参数不能为空（并且允许编译器在知道这一点的情况下进行优化；但是在一个简单的示例中，gcc-4.6 不会进行此类优化，即使使用 -O3 也是如此）。

我期望编译器会对下面的两个函数进行不同的优化。事实并非如此。我手头没有 C 标准来检查它是否可以删除下面 ss 中的测试。

int s (int *t)
{
  if (!t)
    return 0;
  return t[0] + t[1];
}


int ss (int t[])
{
  if (!t) // never false, since t is an array!!
    return 0;
  return t[0] + t[1];
}