Gibt es in C++ die Möglichkeit, (natürlich zur Compiletime) eine Instanziierung eines Templates anzufordern? Sowas wie:

template</* Verschiedenes */>
struct some_attribs {
};

template</* hier wird eine Instanziierung von some_attribs gefordert */>
struct foo
{
};

Soll es genau dann instantiiert werden, wenn foo instantiiert wird? Mit welchen Argumenten?

Als Analogie:
Was du machen willst ist eine Funktion schreiben, von der du dann im nachhinein forderst das zB. Parameter 3 immer 42 sein muss. Das hat keinen Sinn.

Willst du eher sowas?

template <typename T>
struct foo 
{
  typedef some_attribs<T> foo_attribs;
  //...
}

Also some_attribs ist quasi ein Parameterpaket und foo soll solche Parameterpakete (nur Instanziierungen von some_attribs !) als Template-Argument annehmen.

//
template <typename> struct foo;

// foo nur für some_attrib
template <typename... T>
struct foo<some_attrib<T...>> 
{
//...
};