Обеспечение ограничений для пакета параметров ⇐ C++

[Anonymous]

У меня есть шаблонный класс, который содержит кортеж. < /p>
template
class Foo
{ ... };

Как я могу применить ограничение на типы, содержащиеся в пакете параметров -параметров?template < template class... SomeTypes>
class Bar
{ ... };
< /code>

Вот более конкретный случай того, что я ищу. Код не должен (и не) компилировать, потому что foob не является заполненным. Я надеюсь, что смогу добавить какое -то предложение «Требуется к Foocontainer , что дало бы гораздо более четкую ошибку».
#include
#include

template
class Foo
{
};

template
class FooA : public Foo
{
public:
int some_data {0};

void DoSomething()
{
some_data++;
}
};

template
class FooB : public Foo
{
public:
// non-copyable object
FooB() = default;
FooB( const FooB& ) = delete;
FooB& operator=( const FooB& ) = delete;
~FooB() = default;

int some_data {0};

void DoSomething()
{
some_data++;
}
};

template < template class... SomeTypes>
// requires (std::copyable) ???
class FooContainer
{
public:
std::tuple my_tuple;

template
void DoAllThings()
{
}

template
void DoAllThings()
{
std::get(my_tuple).DoSomething();
DoAllThings();
}
};

using MyContainer = FooContainer;

int main()
{
MyContainer my_bar;
my_bar.DoAllThings();
MyContainer my_bar2 = my_bar;
}


Подробнее здесь: https://stackoverflow.com/questions/795 ... meter-pack