Anatoly Moskovsky, а где написано, что нельзя разыменовывать указатель с адресом 0x0 (не путать с указателем NULL, который хоть и представлен во многих компиляторах именно как (void*)0)?

a guestrdb_devуказатель с адресом 0x0Можно узнать способ получения указателя с адресом 0x0?Можно! Открой заголовочные файлы гнуса и узри в них:



Но лично я предпочитаю что-то типа:

a guestrdb_dev

http://eel.is/c draft/lex.name#3In addition, some identifiers are reserved for use by C++ implementations and shall not be used otherwise; no diagnostic is required.
— Each identifier that contains a double underscore __ or begins with an underscore followed by an uppercase letter is reserved to the implementation for any use .
— Each identifier that begins with an underscore is reserved to the implementation for use as a name in the global namespace.
Большинству разработчиков на это совершенно пофигу! Ты найдешь пренебрежение этой рекомендацией даже в исходниках RHEL, не говоря уже о заголовочных файлах реализации cstdlib.

a guestНу и в какой конкретно строчке получается указатель с адресом 0x0, но при этом не нулевой указатель?Поясняю для непонятливых - адреса с 0x0 по 0x0000FFFF в ОС Windows для x86 являются инвалидными только благодаря самой реализации ОС, в которой при доступе по этим адресам возникает исключение page fault, но это не значит, что эти адреса инвалидны в реализациях любых ОС, в т.ч. проприетарных или в реализациях прошивок контроллеров, которые могут хранить по этим адресам некие заранее известные структуры данных по заранее известным смещениям. Поэтому, валидно любое приведение любых адресов в арифметике указателей, чтобы там не насочиняли стандартописатели.

a guestrdb_devвалидно любое приведение любых адресов в арифметике указателейМожно цитаты из стандарта?Цитаты из стандарта о том, что для процессоров и контроллеров валидны все доступные им адреса памяти?

Anatoly Moskovskyrdb_devAnatoly Moskovsky, а где написано, что нельзя разыменовывать указатель с адресом 0x0 (не путать с указателем NULL, который хоть и представлен во многих компиляторах именно как (void*)0)?
4.10 параграф 1
A null pointer constant is an integer literal (2.13.2) with value zero or a prvalue of type std::nullptr_t. A
null pointer constant can be converted to a pointer type; the result is the null pointer value of that type

Т.е. число 0 при преобразовании в указатель дает нулевой указатель (независимо от того как на данной платформе реализован нулевой указатель).
Таким образом (T*)0 - это нулевой указатель.Нет! В стандарте не сказано, что null указатель, это тоже самое, что (void*)0, хотя в некоторых компиляторах это действительно так! На эту тему было сломано немало копий именно по той простой причине, что для процессоров и контроллеров, это абсолютно реальный адрес оперативной памяти, по которому может находиться информация. Именно по этой причине в стандарт введен null указатель, который совсем не (void*)0, а именно неинициализированный указатель.

a guesta guestинициализация не валидным указателем на объектинициализация выражением, которое не обозначает валидный объект.А какая разница? Представь, что ты пишешь на Си часть прошивки к контроллеру, а до тебя разработчики, что писали, к примеру boot loader на ассемблере, поместили в начальные адреса адресного пространства некие статичные инициализированные в бутстрапе структуры данных. Зная о формате этих структур, ты как к ним будешь доступ получать?

Anatoly MoskovskyВнутри кода стандартной библиотеки могут быть какие угодно хаки, не всегда даже являющиеся С++.
Так что не стоит оттуда брать примеры ))Без "грязных хаков" на Си/С++ системные вещи вообще не пишутся! Есть идеалисты, придумывающие стандарт, которому рекомендовано следовать, а есть программисты, которые вынуждены обходить ограничения стандартов.

Anatoly Moskovsky,

" 2.14.7 Pointer literals [lex.nullptr]
pointer-literal:
nullptr
The pointer literal is the keyword nullptr . It is a prvalue of type std::nullptr_t . [ Note: std::nullptr_t
is a distinct type that is neither a pointer type nor a pointer to member type; rather, a prvalue of this type is
a null pointer constant and can be converted to a null pointer value or null member pointer value. See 4.10
and 4.11. — end note ]"

Смотрим 4.10 и 4.11:

" 4.10 Pointer conversions [conv.ptr]
1 A null pointer constant is an integral constant expression (5.19) prvalue of integer type that evaluates to zero
or a prvalue of type std::nullptr_t . A null pointer constant can be converted to a pointer type; the result
is the null pointer value of that type and is distinguishable from every other value of pointer to object or
pointer to function type. Such a conversion is called a null pointer conversion. Two null pointer values of the
same type shall compare equal. The conversion of a null pointer constant to a pointer to cv-qualified type is
a single conversion, and not the sequence of a pointer conversion followed by a qualification conversion (4.4).
A null pointer constant of integral type can be converted to a prvalue of type std::nullptr_t . [ Note: The
resulting prvalue is not a null pointer value. — end note ]"

" 4.11 Pointer to member conversions [conv.mem]
1 A null pointer constant (4.10) can be converted to a pointer to member type; the result is the null member
pointer value of that type and is distinguishable from any pointer to member not created from a null pointer
constant. Such a conversion is called a null member pointer conversion. Two null member pointer values
of the same type shall compare equal. The conversion of a null pointer constant to a pointer to member of
cv-qualified type is a single conversion, and not the sequence of a pointer to member conversion followed by
a qualification conversion (4.4)."

Никак не могу разглядеть - в каком месте тут UB?

Anatoly Moskovsky[/src]
С nullptr:

Еще не могу понять, каким образом компилятор C++ должен "дедуктировать", что тип std::nullptr_t , подходит для вызова функции void f(char*)?