运行时大小的数组和指针衰减

我正在通过新的 C++14 运行时大小的数组测试type_traits标头中的一些工具，请考虑以下代码：

int g[]{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11};
template <typename T> void print(T &t)
{
std::cout << "Type id:    " << typeid(T).name() << 'n';
std::cout << "is_array:   " << std::is_array<decltype(T)>::value << 'n';
std::cout << "is_pointer: " << std::is_pointer<decltype(T)>::value << 'n';
std::cout << "extent:     " << std::extent<decltype(T)>::value << 'n';
}
int main()
{
print(g);
return 0;
}

静态大小的数组g返回以下输出：

Type id:    A11_i
is_array:   1
is_pointer: 0
extent:     11

我假设未修改的名称A11_i是int类型的11个元素的rray 所以这里一切都是正确的，但使用此新代码：

void f(std::size_t s)
{
int a[s];
print(a);
}
int main()
{
f(5);
return 0;
}

我收到错误：

In function 'void f(std::size_t)':
error: no matching function for call to 'print(int [s])'
note: candidate is:
note: template<class T> void print(T&)
note:   template argument deduction/substitution failed:
note:   variable-sized array type 'int [s]' is not a valid template argument

我没想到 size 参数可以传递给模板，但我期待自动数组到指针衰减。我想参数T &不适合这种衰减，所以我尝试将模板签名更改为：

template <typename T> void print(T *&t)

结果类似：

In function 'void f(std::size_t)':
error: no matching function for call to 'print(int [s])'
note: candidate is:
note: template<class T> void print(T*&)
note:   template argument deduction/substitution failed:
note:   mismatched types 'T*' and 'int [s]'

而且我注意到运行时大小数组上的大小变量似乎与类型相关联(而不是mismatched types 'T*' and 'int [5]'我们得到mismatched types 'T*' and 'int [s]')这看起来很奇怪。

那么，问题是什么呢？

• 为什么我在这个运行时大小的数组中没有得到数组到指针的衰减？
• 用于调整运行时大小数组大小的变量是运行时大小数组类型的一部分，还是我误解了错误？