记录一个有趣的c++问题
当我们定义函数时,如果入参变量时数组,那么数组退化指针
typedef char char128[129];
void test(char128 str)
{
std::cout << sizeof str << std::endl;
std::cout << sizeof(int) << std::endl;
}
int main()
{
char128 str = "1111111111111111111111111111";
std::cout << sizeof str << std::endl;
test(str);
return 0;
}
.\test.exe
129
4
4
第一行输出129 因为我们定义的变量是长度为129的数组
第二行输出4 因为定义的输出变量如果作为入参传入到函数中,那么它将退化为指针,指针长度是4(视机器情况而定,一般为int类型的长度)
第三行输出4 证实了输出长度与int类型相同,说明与指针长度一致
当我们定义函数时,如果入参变量时如果是数组引用呢,那么数组是否会退化指针
typedef char char128[129];
void test_reference(char128& str)
{
std::cout << sizeof str << std::endl;
}
int main()
{
char128 str = "1111111111111111111111111111";
std::cout << sizeof str << std::endl;
test_reference(str);
return 0;
}
.\test.exe
129
129
当数组引用作为函数入参时,数组不会退化成指针,仍旧会保留了原有的信息
如何妙用数组引用
template<typename T, std::size_t N>
constexpr std::size_t arraySize(T(&)[N]) noexcept {
return N;
}
void test(char128 str)
{
std::cout << sizeof(int) << std::endl;
std::cout << sizeof(str) << std::endl;
std::cout << arraySize(str) << std::endl; //该行无法编译,由于模板参数是数组引用,所以入参只能是数组
}
int main()
{
char128 str = "1111111111111111111111111111";
std::cout << sizeof str << std::endl;
std::cout << arraySize(str) << std::endl;
return 0;
}
由于模板参数是数组引用,限制了入参类型,避免了本意是获取数组长度,但是实际取的是指针长度的情况,避免了数组截断或者越界的情况,是一种好代码。