代码之家 › 专栏 › 技术社区 › Andrew Tomazos

t“衰减”到指向t的指针数组的函数参数?[副本]

language-lawyer c++

Andrew Tomazos · 技术社区 · 6 年前

这个问题已经有了答案:

When a function has a specific-size array parameter, why is it replaced with a pointer? 3答

如果我有一个函数…

void f(int x[3]) {}

…这和函数有区别吗…

void f(int* x) {}

如果没有,在标准中它在哪里解决这个问题?

很明显,有数组到指针的标准转换,但我认为它们不适用于这里?

我似乎记得说这种话的语言,但似乎找不到。

$ cat t.cc
void f(int x[3]) {}

void f(int* x) {}

$ g++ t.cc
t.cc: In function âvoid f(int*)â:
t.cc:3:6: error: redefinition of âvoid f(int*)â
 void f(int* x) {}
      ^
t.cc:1:6: note: âvoid f(int*)â previously defined here
 void f(int x[3]) {}
      ^

3 回复 | 直到 6 年前

eerorika 6 年前

如果我有一个函数…
void f(int x[3]) {}
…这和函数有区别吗…
void f(int* x) {}

不。这些声明是等效的。

标准草案:

【DCL.FCT】

函数的类型使用以下规则确定。每个参数的类型(包括函数参数包)由它自己的decl说明符seq和声明符确定。确定后将每个参数的类型、T_或T型函数的__数组的任何参数调整为 _156;指向T__的指针。…

这个规则补充了数组衰减规则。数组衰减允许调用带有-显然-数组参数的函数,而此规则允许声明带有-显然-数组参数的函数,而实际上传递的是指针。这些规则源于C语言的传统。与指针衰减的函数相同。

Quentin 6 年前

从 [dcl.fctÂ§5] (重点是我的):

函数的类型使用以下规则确定。每个参数(包括函数参数包)的类型由其自身决定。 decl说明符seq 和 声明符 . 在确定每个参数的类型之后,任何类型的参数 T _或功能类型 T 调整为__指针 T 艾斯 .

StoryTeller - Unslander Monica 6 年前

它在函数声明器规范中进行了描述

[DCL,FCT]

5 […]确定每个参数的类型后,任何参数 _类型t_或功能类型t的数组调整为_指针指向 T.[…]

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前