Verwenden der Laufzeitbedingung, um Vorlagenparameter in C ++ auszuwählen

Ist es möglich, mit einer Vorlagenklasse zu verwenden, ohne die Vorlagenparameter sofort anzugeben?
#include

using MyArray = std::array;
using MyArrayT = std::array; // error: missing template...

Ich habe eine Vorlagenklasse template struct foo.
Diese Klasse kann wie folgt verschachtelt werden also: foo. Der einzige Parameter, der eine foo-Struktur annimmt, ist der erste Typname T
Ich kann...

Ich möchte ein Konzept haben, das überprüft, ob ein Typ ein Container
mit fester Länge ist. Der Typ könnte ein Array im C-Stil sein, ein std :: array , ein std :: span oder ein benutzerdefinierter...

Ich stoße häufig auf ein Problem, das im folgenden minimalen hypothetischen Beispiel veranschaulicht wird.
Ich habe eine Bibliotheksfunktion wie diese:
/**
* `shoes` can take values {0, 1, 2}
*...

Wie kann ich bei einer als Vorlagenargument an eine Funktion übergebenen Funktion den Typ ihres ersten Parameters bestimmen?
Zum Beispiel:
template
void run_func(/* type of argument???? */ value) {...