Является ли константа константы compiletime константным массивом compiletime самой константой compiletime?

Question

Я пытаюсь играть в причудливые игры, в которых компилятор C++ синтезирует хеш-значения постоянных строк в compiletime. Это позволило бы мне заменить строку одним идентификатором, с огромной экономией в размере и сложности кода.

Для ясности и простоты программирования было бы замечательно, если бы я мог исследовать и вычислять в compiletime с помощью простых встроенных символов, таких как «Hello», которые являются постоянными указателями compileime для постоянных символов compiletime.

Если я могу указать их в compiletime, я могу создать метапрограмму шаблона, чтобы делать то, что я хочу. Но неясно, относится ли стандарт C++ к константе ct-константы массива ct-констант как константа ct-константа.

Спросил еще один способ,

const char v="Hello"[0]; 

вполне действительный C++ (и C). Но - это значение v константа времени компиляции?

Я уже считаю, что ответ отрицательный, но на практике некоторые компиляторы принимают его без какого-либо предупреждения, а тем более ошибки. Например, следующие компилируется и работает без единого предупреждения от компилятора C++ от Intel:

#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! 
} 

Однако компилятор от Microsoft не будут компилировать на всех, давая сообщение достаточно когерентные ошибок об использовании шаблона с объектом с внутренним связь.

Я подозреваю, что ответ на мой вопрос: «Нет, вы не можете считать, что ссылка на массив даже в постоянном массиве с постоянным индексом постоянна в compiletime». Означает ли это, что успешное выполнение компилятора Intel является ошибкой в ​​компиляторе Intel?

Answer 1

Он также не работает на GCC.

Однако, за пределами точки зрения соответствия требованиям, приятно, что оптимизатор компилятора действительно относится к нему как к символьной константе. Я использовал этот факт, чтобы разрешить генерируемые препроцессором символьные константы (используя *#foo). См. http://cvs.openbsd.org/cgi-bin/query-pr-wrapper?full=yes&numbers=1652, в файле hdr.h. С этой макрокоманды, вы можете написать

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

, а не

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

Гораздо более удобным для чтения, на мой взгляд. :-)

Answer 2

Хорошего вопрос, да это может быть сделано, и его прекрасно стандартами, и она будет работать на Microsoft, GCC и Intel, проблема в том, у вас есть синтаксис неправильно :)

One второй я приготовлю образец ... Хорошо, вот оно. Этот пример действителен C++, и я использовал его довольно часто, но большинство программистов не знают, как правильно это сделать.

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

Соответствующая разница здесь заключается в различии между «интегральным постоянным выражением» и простой константой времени компиляции. «3.0» - это константа времени компиляции. «int (3.0)» также является константой времени компиляции. Но только «3» - это ICE. [См. 5.19]

More details at boost.org