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

[Anonymous]

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

std::array a1 = std::array{1};
std::array a2 = std::array{std::array{1}};
std::array a3 = std::array{std::array{std::array{1}}};

std::vector v1 = std::vector{std::array{1}};
< /code>
Почему вычет шаблонов для вложенного std :: array с одним элементом приводит к одному размерному std :: array?#include

auto a1 = std::array{1};
auto a2 = std::array{std::array{1}};
static_assert(std::same_as); // passes
static_assert(not std::same_as); // fails


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