#include <iostream>

 template<long B, unsigned long E>
 struct pow_helper {
   static long const value = B * pow_helper<B, E - 1>::value;
 };

 template<long B>
 struct pow_helper<B, 0> {
   static long const value = 1;
 };

 template<long B, long E>
 struct power {
    static double const value;
 };

 template<long B, long E>
 double const power<B, E>::value= E < 0 ? 1.0 / pow_helper<B, E < 0 ? -E : 0>::value
                                        : pow_helper<B, E < 0 ? 0 : E>::value;

 int main() {
   std::cout << power<10, -3>::value << std::endl;
 }

an dieser Stelle

pow_helper<B, E < 0 ? -E : 0>

verstehe ich nicht was der ternäre Operator soll, da dieses Template doch sowieso nur "ausgeführt" wird wenn E < 0.
Ich habs getestet, ohne funktioniert es auch nicht, also hab ich irgendwo einen Denkfehler, in meinem Gedankenmodell funktionierts auch ohne, also:
wozu ist die Abfrage da?

Hi,
Bei Wikipedia gibt es zur Templatemetaprogrammierung folgendes Beispiel

#include <iostream>
 
 template<long B, unsigned long E>
 struct pow_helper {
   static long const value = B * pow_helper<B, E - 1>::value;
 };
 
 template<long B>
 struct pow_helper<B, 0> {
   static long const value = 1;
 };
 
 template<long B, long E>
 struct power {
    static double const value;
 };
 
 template<long B, long E>
 double const power<B, E>::value= E < 0 ? 1.0 / pow_helper<B, E < 0 ? -E : 0>::value
                                        : pow_helper<B, E < 0 ? 0 : E>::value;
 
 int main() {
   std::cout << power<10, -3>::value << std::endl;
 }

an dieser Stelle

pow_helper<B, E < 0 ? -E : 0>

verstehe ich nicht was der ternäre Operator soll, da dieses Template doch sowieso nur "ausgeführt" wird wenn E < 0.
Ich habs getestet, ohne funktioniert es auch nicht, also hab ich irgendwo einen Denkfehler, in meinem Gedankenmodell funktionierts auch ohne, also:
wozu ist die Abfrage da?

Um unbeschränkte Instantiierung zu verhindern.
Betrachte

a ? b : c;

Was ist der Typ dieses Ausdrucks? Offenbar hängt er vom den beiden Typen b und c ab. Also müssen diese Typen bestimmt werden, selbst dann, wenn a stets true oder false ist

true ? b : c;
false ? b : c;

Beide Ausdrücke haben den gleichen Typ (der von b und c abweichen kann) - in beiden Fällen wissen wir aber, dass nur ein einzelnes Argument b bzw c jewals ausgewertet werden wird.
Bei unserem Template ist das nicht anders. Auch wenn wir uns für den konkreten Wert, den pow_helper<B, E < 0 ? 0 : E>::value im Falle von E < 0 nie interesseieren werden, müssen wir doch seinen Typ bestimmen, und das impliziert die Instantiierung dieses Templates als auch des statischen Members zusammen mit seinem Initialisierer. Letzteres würde zu unendlicher rekursiver Instantiierung führen, wenn wir durch den ternären Operator nicht auf einen Abbruchfall kommen würden.

extern int a;
int b;
int c = false ? a : b;

Wenn a nun nirgendwo definiert wird, werden wir uns nicht wundern, falls der Linker sich über eine fehlende Definition beschwert (oder umgekehrt es nicht tut in diesem Fall). Obwohl es ja offensichtlich auf den konkreten Wert von a gar nicht ankommt.
Nur um zu zeigen, dass das keine Eigenheit von Templates ist, sondern sich im Gegenteil widerspruchsfrei in den Rest der Sprache einfügt (und nat. trotzdem manchmal Kopfschmerzen bereiten kann).