请问代码int* p=+s;的作用是什么？数组s是否发生指针退化？

首先直接给结论：+s的作用是显式触发数组到指针的隐式转换（也就是数组退化），最终效果和直接写int* p = s;完全一致——让指针p指向数组s的第一个元素。

接下来详细拆解细节：

• 数组s的原始类型是int[5]（包含5个int元素的数组）。在C/C++中，数组类型的表达式在绝大多数场景下会自动“退化”为指向数组首元素的指针，这是语言标准规定的隐式转换规则。
• 一元加号运算符（+）的操作数不支持数组类型，所以当你写+s时，编译器会先把数组s转换为int*类型的指针（指向s[0]），再对这个指针应用一元加号——而一元加号对指针的操作就是返回指针本身，没有任何额外改动。
• 所以int* p = +s;本质上等价于int* p = static_cast<int*>(s);，和直接赋值int* p = s;的运行结果完全相同，只是+s用一种更简洁的方式，显式强调了这里发生了数组到指针的转换。

再补充几个关键知识点：

• 数组退化的例外场景：当数组作为sizeof的操作数、取地址运算符&的操作数，或者用decltype获取类型时，数组不会退化，会保持原有的数组类型。比如sizeof(s)得到的是整个数组的字节大小（5*sizeof(int)），而sizeof(+s)得到的是指针类型的字节大小。
• 为什么要写+s？有时候开发者会用这种写法明确表达“这里我需要的是指针，不是数组”，避免潜在的歧义；不过在大多数普通赋值场景下，直接写s就足够，因为隐式转换已经会自动发生。

你测试的GCC和Clang都支持这个写法，是因为它们严格遵循了C/C++标准中关于数组转换和一元运算符的规定。

内容的提问来源于stack exchange，提问作者msc