Ist ein Compiletime-Konstanten-Index in ein Compiletime-Konstanten-Array selbst Compiletime-Konstante?

Question

Ich versuche, ausgefallene Spiele zu spielen, bei denen der C++ - Compiler Hash-Werte von konstanten Strings bei Compiletime synthetisiert. Dadurch könnte ich die Zeichenfolge durch eine einzige Kennung ersetzen, wodurch sich die Codegröße und Komplexität erheblich verringert.

Für Programmierung Klarheit und Leichtigkeit, es wäre genial, wenn ich Compiletime mit einfachen Inline-Zeichenfolgen wie "Hallo", die Compiletime konstante Zeiger auf Compiletime Konstante Zeichen sind untersuchen und berechnen.

Wenn ich in diese bei compiletime indizieren kann, kann ich ein Template-Metaprogramm machen, um zu tun, was ich will. Es ist jedoch unklar, ob der C++ - Standard einen ct-konstanten Index eines ct-Konstanten-Arrays selbst als ct-Konstante behandelt.

eine andere Art und Weise, ist

gestellte

const char v="Hello"[0]; 

ganz gültig C++ (und C). Aber ist der Wert v eine Kompilierzeitkonstante?

Ich glaube schon, die Antwort ist nein, aber in der Praxis akzeptieren einige Compiler es ohne jede Warnung, viel weniger Fehler. Zum Beispiel können die folgenden kompiliert und ausgeführt, ohne auch nur eine einzige Warnung von Intel C++ Compiler:

#include <iostream> 
const char value="Hello"[0]; 
template<char c> void printMe() 
{ 
    std::cout << "Template Val=" << c << std::endl; 
} 

int main() 
{ 
    const char v='H'; 
    printMe<'H'>(); 
    printMe<v>(); 
    printMe<value>(); // The tricky and interesting case! 
} 

jedoch Microsofts Compiler überhaupt nicht kompilieren, eine einigermaßen zusammenhängende Fehlermeldung über die Verwendung einer Vorlage mit einem Objekt mit internen geben Verknüpfung.

Ich vermute die Antwort auf meine Frage ist "Nein, Sie können keine Array-Referenz selbst auf ein konstantes Array mit einem konstanten Index ist konstant bei Compiletime annehmen". Bedeutet das, dass die erfolgreiche Ausführung des Intel-Compilers ein Fehler im Intel-Compiler ist?

Answer 1

Es funktioniert auch nicht auf GCC.

Allerdings, außerhalb einer Sprache-Compliance-Sichtweise, es ist schön, dass der Compiler-Optimierer behandelt es als eine Zeichenkonstante, so ziemlich. Ich habe diese Tatsache ausgenutzt, um Präprozessor-generierte Charakterkonstanten zuzulassen (mit *#foo). Siehe http://cvs.openbsd.org/cgi-bin/query-pr-wrapper?full=yes&numbers=1652, in der Datei hdr.h. Mit diesem Makro können Sie

DECR(h, e, l, l, o) 

statt

DECR('h', 'e', 'l', 'l', 'o') 

viel besser lesbar, aus meiner Sicht schreiben. :-)

Answer 2

Gute Frage, ja dies getan werden kann, und seine feine mit den Standards, und es wird auf Microsoft, GCC zu arbeiten, und Intel, Problem ist, dass Sie die Syntax falsch haben :)

One zweitens werde ich ein probe kochen ... Ok fertig, hier ist es. Dieses Beispiel ist gültig C++, und ich habe es ziemlich oft verwendet, aber in der Tat wissen die meisten Programmierer nicht, wie man es richtig macht.

template<char* MSG> 
class PrintMe 
{ 
public: 
    void operator()() 
    { 
     printf(MSG); 
    } 
}; 

char MyMessage[6] = "Hello"; //you can't use a char*, but a char array is statically safe and determined at compiletime 

int main(int argc, char* argv[]) 
{ 
    PrintMe<MyMessage> printer; 
    printer(); 
    return 0; 
} 

Answer 3

Der relevante Unterschied hier ist der Unterschied zwischen einem "Integral Constant Expression" und einer reinen Kompilierzeitkonstante. "3.0" ist eine Kompilierzeitkonstante. "int (3.0)" ist ebenfalls eine Kompilierzeitkonstante. Aber nur "3" ist ein ICE. [Siehe 5.19]

More details at boost.org