Соответствие std :: index_sequence аргументу по умолчанию

Question

Допускается ли следующее при выводе аргумента шаблона или это неконтролируемый контекст?

#include <utility>
#include<tuple>

template<std::size_t... I>
auto make(std::index_sequence<I...> = std::make_index_sequence<2>())
{
    return;
}

int main() {
    make();
}

Предупреждение о компиляции довольно странное

Answer 1

Аргументы по умолчанию не являются частью вывода.

Таким образом, вы не можете делать то, что вы хотите здесь (таким образом).

Если необходимо, вы можете сделать:

template <typename Seq = std::index_sequence<0, 1>>
auto make(Seq = std::make_index_sequence<2>())
{
    /*...*/
}

Answer 2

Для чего это стоит, это составляет:

template<std::size_t... I>
auto make(std::index_sequence<I...> = std::make_index_sequence<sizeof... (I)>())

но, вероятно, не делает то, что вы хотите.