使用std::shared_ptr管理数组时最后一个元素值异常的原因排查

让我们来分析你遇到的问题：你的Array模板类在输出最后一个元素时显示了随机值，而不是预期的5。

问题根源 #

问题出在你的构造函数参数声明上：

explicit Array(const T arr[N]);

在C++中，当函数参数是数组类型（比如const T arr[N]）时，编译器会自动将其退化为指针类型，也就是等价于const T* arr。这意味着编译器无法在编译期验证传入的数组大小是否与模板参数N匹配，虽然你传入的是大小为5的数组，但这种写法存在潜在的未定义行为风险——尤其是当编译器无法确定数组实际大小时，可能会导致内存访问异常或赋值失败。

在你的案例中，虽然逻辑上循环复制了5个元素，但指针退化可能导致编译器对数组访问的优化或处理出现异常，最终使得最后一个元素的赋值没有正确生效，呈现出未初始化的随机值。

解决方法 #

将构造函数的参数修改为数组引用，这样编译器会强制检查传入的数组大小是否与模板参数N完全匹配，同时避免指针退化的问题：

修改头文件中的构造函数声明：

explicit Array(const T(&arr)[N]);

构造函数的实现不需要修改，保持原来的循环逻辑即可：

template <typename T, size_t N>
Array<T, N>::Array(const T(&arr)[N]) {
    ptr = std::make_shared<T[]>(N);
    for (size_t i = 0; i < N; ++i) {
        ptr[i] = arr[i];
    }
}

为什么这样有效？ #

数组引用const T(&arr)[N]会告诉编译器：传入的参数必须是一个大小恰好为N的T类型数组。这样一来：

1. 编译器会在编译期进行类型检查，如果传入的数组大小与N不匹配，直接报错，避免了潜在的错误。
2. 不会发生指针退化，编译器明确知道数组的大小，复制元素时的内存访问是完全安全的，不会出现未定义行为。

验证修改 #

修改后重新编译运行你的代码，应该会输出预期的结果：

0xxxxxxx:1 0xxxxxxx:2 0xxxxxxx:3 0xxxxxxx:4 0xxxxxxx:5

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