Почему вычет шаблонов для вложенного 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}};

Можно ли использовать шаблонный вычет и инициализацию списка для создания вложенного std :: array объект?

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