【无标题】

记录一个有趣的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;
}

• 说明

由于模板参数是数组引用，限制了入参类型，避免了本意是获取数组长度，但是实际取的是指针长度的情况，避免了数组截断或者越界的情况，是一种好代码。