Почему вычет шаблонов для вложенного std :: массив с одним элементом приводит к одному размерному std :: массив? ⇐ C++

[Anonymous]

Следующий код успешно компилируется с Clang и GCC . Наивно, я бы ожидал, что a2 будет тип std :: array .

Код: Выделить всё

#include 

auto a1 = std::array{1};
auto a2 = std::array{std::array{1}};
static_assert(std::same_as);  // passes
static_assert(std::same_as);    // passes, but I expect this to fail

Так почему же вычет шаблонов для вложенного std :: array с одним элементом приводит к одному размерному std :: ray ?

Подробнее здесь: https://stackoverflow.com/questions/796 ... esult-in-a