В стандартном C (C99/C11) мы имеем так называемые целочисленные константные выражения, которые являются постоянными выражениями, операнды которых являются постоянными целыми числами.
Используется следующее определение:
Стандарт C99, раздел 6.6 (пар. 6):
Целочисленное постоянное выражение) должно иметь целочисленный тип и должно имеют только операнды, которые являются целыми суммами, константами перечисления, символьные константы, sizeof выражения, результаты которых являются целыми константы и плавающие константы, которые являются непосредственными операндами слепки.
Это появляется после определения более общего выражения константы.
(Поскольку целочисленное константное выражение определено после выражения константы, я предполагаю, что первое является частным случаем последнего.)
С другой стороны, условные выражения считаются константными выражениями, которые ограничены следующим правилом:
Стандарт C99, раздел 6.6:
Константные выражения не должны содержать присвоение, приращение, декремент, функция-вызов или запятая, за исключением случаев, когда они содержащихся в подвыражении, которое не оценивается.
Развернув значение условного выражения, мы можем упасть до постфиксных выражений и/или унарных выражений.
Теперь, если мы применим эти ограничения к целым константным выражениям, мы грубо получаем, что они состоят из условных выражений, ограниченных таким образом, что каждый операнд является целыми/перечисляющими/символьными константами (или плавающей постоянной сразу же предшествует литье), и поэтому нет назначений, приращений, декрементов, функций-вызовов или запятых.
- В силу простоты предположим, что E является таким выражением без оператора
sizeofи без неопытных операндов.
МОЙ ВОПРОС:
Являются ли следующие операторы косвенно запрещенными в E:
-
&(адрес), -
*(косвенность), -
[](индекс массива), -
.(элемент структуры), -
->(указатель на элементы структуры).
Кроме того, запрещены ли составные литералы?
Примечание:. Я заинтересован в ответе на этот вопрос для строгих программ соответствия (C99/C11).
Я думаю, что они не могут быть в любом подвыражении E, но я не уверен, что это полностью верно. Мое быстрое рассуждение таково:
- Если F является подвыражением целой константы E, то F имеет по определению целочисленный тип
T. - Если унарный оператор
&появляется перед F в E, то & F содержит операнд, имеющий тип "указатель на T", который не разрешен в E (несмотря на то, что F не является объектом, а только целочисленным значением, поэтому&не может применяться). Таким образом,&не может появляться ни в одном E. - Так как F не имеет никакого типа указателя, он не имеет смысла выражение
*F. - Оператор индекса
[]используется для указания элемента внутри массива. Это означает, что у нас было бы E нечто вродеA[N]. ЗдесьNдолжно быть целочисленным постоянным выражением. Однако мы отмечаем, чтоAтакже является операндом, но он является объектом типаarray, который не допускается в E. Это означает, что оператор массива-индекса не может отображаться в E. - Если у нас есть E операторы
.и->, они подразумевают, что они используются внутри E следующим образом:S.memb pS->memb. Таким образом, мы имеем операндS, тип которогоstructилиunionиpS, который являетсяpointer to struct or pointer to union. Но эти "операнды" не допускаются в E. - Компонентные литералы не допускаются в E, потому что они являются lvalues, что означает, что они будут иметь адрес при запуске программы. Поскольку такой адрес не может быть известен компилятору, выражение, включающее составной литерал, не считается константой.
Считаете ли вы, что мои рассуждения верны?
Знаете ли вы исключительные случаи, что некоторые из этих операторов или выражений могут быть [частью] целочисленного постоянного выражения (как в ограниченном случае, который я обозначил E).
