Массивы размера во время выполнения и распад указателя

Я тестировал некоторые инструменты в заголовке type_traits на новых массивах размера среды выполнения С++ 14, рассмотрим код ниже:

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 Я предполагаю, что это Aмассив 11 элементов типа int, поэтому здесь все правильно, но с этим новым кодом :

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

Я не ожидал, что аргумент размера может быть передан в шаблон, но я ожидал автоматического распада массива на указатель. Я предполагаю, что аргумент 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]') этого выглядит довольно странно.

Итак, в чем вопрос?

• Почему я не получаю распад массива к указателю в этом массиве размера времени выполнения?
• Используется ли переменная для определения размера массива размера среды выполнения, как часть типа массива размера среды выполнения, или я неправильно понимаю ошибку?