什么语言规则规定模板化的按引用数组函数参数中的`T&&`不是转发引用？

这个问题涉及到 C++ 中的引用折叠和模板类型推断。当使用模板化的 T&& 参数时，如果传入的参数本身就是一个左值引用，那么 T 会被推断为该左值引用类型的引用，而非一个转发引用。

下面是一个示例代码，可以帮助理解这个问题：

template <typename T>
void foo(T&& arr)
{
    static_assert(std::is_same_v<T, int&>, "T should be int&!");
}

int main()
{
    int arr[] = {1, 2, 3};
    foo(arr);
    return 0;
}

在这个示例中，foo 函数定义了一个模板化的按引用参数 T&& arr，并使用 static_assert 检查其类型是否为 int&。然而，当我们将 int 类型的数组传递给 foo 函数时，static_assert 会触发失败，并提示 T should be int&!。

这是因为在这个调用中，T 被推断为 int[]& 类型的引用，而不是一个转发引用。这个推断是由于引用折叠规则造成的，即当两个 && 接在一起时，会折叠为一个 &。因此，T&& 实际上折叠为 int[]&，而非我们期望的转发引用类型。

为了解决这个问题，我们可以使用 std::forward 函数来明确指定参数的类型为转发引用。下面是一个修正后的示例代码：

template <typename T>
void foo(T&& arr)
{
    static_assert(std::is_same_v<T, int&>, "T should be int