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

[Anonymous]

У меня есть шаблонный класс, который содержит кортеж. < /p>
template
class Foo
{ ... };
< /code>
Как я могу применить ограничение на типы, содержащиеся в пакете параметров -параметров, например, если я хотел убедиться, что все типы соответствуют концепции std :: Перемещаемая?template < template class... SomeTypes>
class Bar
{ ... };
< /code>
-edit-< /p>
Вот более конкретный случай, что я ищу. Код не будет компилироваться, потому что FOOB не является заполненным (это ожидается). К сожалению, компилятор не дает лучших сообщений об ошибках, когда он сталкивается с этим (в фактическом коде я имею дело с типами более сложные, и это заканчивается гигантскими ошибками -романами). Я надеюсь, что смогу добавить какое -то предложение о необходимости в Foocontainer, что дало бы гораздо более ясную ошибку. < /P>
#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