Здравствуйте.
Решил познакомиться с вышеупомянутым документом. При переводе возникли трудности. Возможно они связаны с недостаточными знаниями основ информатики и вычислительной техники или/и возможно у меня недостаточные знания английского языка. Мне кажется стоит создать раздел (этот топ) в котором можно будет задавать вопросы по данному документу. Если не стоит, то модераторам стоит закрыть данный раздел(им виднее).
В любом случае, пока у меня один вопрос.
INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x5.1.2 Execution environments
1 Two execution environments are defined: freestanding and hosted. In both cases,
program startup occurs when a designated C function is called by the execution
environment. All objects with static storage duration shall be initialized (set to their
initial values) before program startup. The manner and timing of such initialization are
otherwise unspecified. Program termination returns control to the execution
environment.
Forward references: storage durations of objects (6.2.4), initialization (6.7.9).
5.1.2.1 Freestanding environment
1 In a freestanding environment (in which C program execution may take place without any
benefit of an operating system), the name and type of the function called at program
startup are implementation-defined. Any library facilities available to a freestanding
program, other than the minimal set required by clause 4, are implementation-defined.
2 The effect of program termination in a freestanding environment is implementationdefined.
5.1.2.2 Hosted environment
1 A hosted environment need not be provided, but shall conform to the following
specifications if present.

Freestanding environment - это запуск вне ОС ? Например это набор программ на С реализующих ОС ?
Hosted environment - запуск в среде ОС, например программа написанная в IDE VS и запущенная в W7 ? Хотя какая разница где она написана.

PS
Я кстати удивился что так часто встречаю "shall" в этом документе.

INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x5.1.2.2.1 Program startup
The function called at program startup is named main. The implementation declares no
prototype for this function. It shall be defined with a return type of int and with no
parameters:
int main(void) { /* ... */ }
or with two parameters (referred to here as argc and argv, though any names may be
used, as they are local to the function in which they are declared):
int main(int argc, char *argv[]) { /* ... */ }
or equivalent;10) or in some other implementation-defined manner.

If they are declared, the parameters to the main function shall obey the following
constraints:
— The value of argc shall be nonnegative.


Всё логично. Тогда почему не сделать у argc тип unsigned int подумал я. Проверил



Происходит неявное преобразование видимо. Как получилось что argc=-5, хотя согласно "The value of argc shall be nonnegative" быть такого не может.

нееет, я не так написал. До этого я пробовал присваивать unsigned int a =-5, и присваивание происходило. Вопрос в голове остался(подумал-наверное неявное преобразование), а код не стал оставлять.

Basil A. Sidorov
Вообще оксюморон - присвоили знаковой переменной отрицательное значение, выбрали соответствующий модификатор и удивляемся, что всё отработало так, как должно отработать.

Я удивляюсь что это произошло, ведь согласно черновику стандарта такое действие незаконно

INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x— The value of argc shall be nonnegative.


Anatoly Moskovsky На юридическом языке "shall" имеет значение "должен".

Знаю, просто давно его не встречал в таком количестве, вот и удивился ;) Вспоминается классический пример "will you marry me" и ветка ответов "yes, I will !", "yes, I shall", так мы учили разницу между shall и will C:

Всем спасибо, понял.
По argc снова вижу избыточность. Вечером подумаю.
Ставлю спецификатор i, и выводится int

Что такое "integer promotion", я в общих чертах разобрался. Сейчас ещё читаю.

1. Можно сказать что это частный случай приведения к наибольшему общему типу ?
2. Как правильно перевести на русский язык ? или в таких случаях лучше называть вещи по-английски ?

Почитал ещё тут .
Удивил комментарий по следующему коду



по ссылке вышеIn this example, the comparison operator operates on a signed int and an unsigned int. By the conversion rules, si is converted to an unsigned int. Because -1 cannot be represented as an unsigned int value, the -1 is converted to UINT_MAX in accordance with the C Standard, subclause 6.3.1.3, paragraph 2 [ISO/IEC 9899:2011]:


Ссылаются в документ в названии топа, я проверил, вроде-бы так.
Вопрос: почему правило именно такое, и в данном случае signed int приводится к unsigned int. Почему не сделали наоборот ?

White Owl, спасибо, понял.
White OwlВ С есть только два случая неявного приведения типов - в int и в void*

INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 5.1.2.3 12EXAMPLE 3 Similarly, in the fragment
float f1, f2;
double d;
/* ... */
f1 = f2 * d;
the multiplication may be executed using single-precision arithmetic if the implementation can ascertain
that the result would be the same as if it were executed using double-precision arithmetic (for example, if d
were replaced by the constant 2.0, which has type double).


Мне показалось что в данном случае правая часть может быть посчитана с использованием арифметики двойной точности, а значит будет и неявное преобразование. Наверное что-то не так понял ?

наличие знака, равносильно умножению на два количество вариантов без знаков, да ещё плюс 1, ибо вместо двух нулей, теперь 1.
Хотя в ваших словах наверное есть логика, с точки зрения арифметики и представления чисел в ЭВМ.

Вот ещё по неявному приведению,
INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 5.1.2.3 13EXAMPLE 4 Implementations employing wide registers have to take care to honor appropriate
semantics. Values are independent of whether they are represented in a register or in memory. For
example, an implicit spilling of a register is not permitted to alter the value. Also, an explicit store and load
is required to round to the precision of the storage type. In particular, casts and assignments are required to
perform their specified conversion. For the fragment
double d1, d2;
float f;
d1 = f = expression;
d2 = (float) expression;
the values assigned to d1 and d2 are required to have been converted to float.

Всем спасибо :) понял все кроме неявного приведения, но думаю этот вопрос решится позже.

1.
INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 5.1.2.3 14 example 5


проверил на разных значениях, получалось эквивалентно. Приведите пример чтобы было не эквивалентно, пожалуйста
2.INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x 5.1.2.3 15EXAMPLE 6 To illustrate the grouping behavior of expressions, in the following fragment


the expression statement behaves exactly the same as


due to the associativity and precedence of these operators. Thus, the result of the sum (a + 32760) is
next added to b, and that result is then added to 5 which results in the value assigned to a. On a machine in
which overflows produce an explicit trap and in which the range of values representable by an int is
[-32768, +32767], the implementation cannot rewrite this expression as


since if the values for a and b were, respectively, -32754 and -15, the sum a + b would produce a trap while the original expression would not; nor can the expression be rewritten either as


since the values for a and b might have been, respectively, 4 and -8 or -17 and 12. However, on a machine
in which overflow silently generates some value and where positive and negative overflows cancel, the
above expression statement can be rewritten by the implementation in any of the above ways because the
same result will occur.


Проверил всё, и всё ок, видимо он знает в каком порядке вычислять, либо незримо для меня расширяет правую часть как и в случаем с чарами в правой части. Либо я что-то не так понял с переводом, ниже мой код и комментарии

Спасибо :) Сейчас попробую