Непонимаю почему со структурой s0 нет ошибки, а со структурой s1 есть.

#include <utility>

template<int... ints>
struct s0{};

using pair = std::pair<int, int>;
template<pair... pairs> // 'struct std::pair<int, int>' is not a valid type for a template non-type parameter
struct s1{};

int main()
{
    using tso = s0<1,2,4>;
    using ts1 = s1<{1,1}, {2,2}> // template argument 1 is invalid
}

Как я должен декларировать и специализировать структуру s1?
Почему со структурой s0 нет такихже проблем?

Здравствуйте, Tasheehoo, Вы писали:

T>Как я должен декларировать и специализировать структуру s1?
Для каких таких прикладных задач это понадобилось?
T>Почему со структурой s0 нет такихже проблем?
Потому что есть ограничения. Даже с float работать не будет.