Объектное представление char * и void * - PullRequest
Новая
       11

Объектное представление char * и void *

1 голос
/ 27 марта 2019

В Стандарте есть претензия на 6.2.5(p28):

Указатель на void должен иметь те же требования к представлению и выравниванию, что и указатель на тип символа.

Я действительно не понимаю этого.Представление объекта определяется как содержимое unsigned char[sizeof(the_type)], полученное memcpy.

Итак, взяв два произвольных char * и void *, как, скажем, 

int i = 10;
char * test1 = (char *) &i;

int j = 20;
void * test2 = &j;
printf("%d\n", test2 == test1); // prints 0

Приведенный выше код печатает 0, подразумевая, что объектное представление test2 и test1не то же самое, 6.2.6(p4)

Два значения (кроме NaN s) с одинаковым представлением объекта сравниваются равными.

ВОПРОС: Предполагает ли пункт, что указатель на void , преобразованный из указателя в тип символа , должен иметь те же требования к представлению и выравниванию, что и указатель на тип символа , из которого онбыл преобразован ?

Ответы [ 2 ]

2 голосов
/ 27 марта 2019

«Представление» примерно означает, как вещи хранятся в памяти.Цитированная часть 6.2.5 § 28 предписывает, что определенные типы указателей должны храниться одинаковым образом.В том же абзаце предъявляются еще несколько требований к различным другим типам указателей.

Помимо перечисленных типов указателей, C дает некоторую свободу реализации для хранения указателей экзотическими и не обязательно совместимыми способами.Но на практике это ошибочно, так как я не думаю, что какие-либо реализации реального мира когда-либо делали это.Вместо этого системы с необходимостью разных представлений указателей, кажется, всегда изобретают нестандартные ключевые слова для квалификаторов указателей: far и near.

Приведенный выше код выводит 0, подразумевая, что представление объектаtest2 и test1 - это не одно и то же, 6.2.6 (p4)

Они указывают на разные переменные, поэтому, конечно, они не будут одинаковыми - указатели содержат разные значения независимо от представления.Чтобы проверить, является ли их представление объекта одинаковым, вы должны сделать следующее: 

int i = 10;
char * test1 = (char *) &i;
void * test2 = &i;
printf("%d\n", test2 == test1); // prints 1

Или лучше: printf("%d\n", memcmp(test1, test2, sizeof test1));.Который печатает 0 (равно).

ВОПРОС: Предполагает ли предложение, что указатель на void, преобразованный из указателя на тип символа, должен иметь те же требования к представлению и выравниванию, что и указатель натип символа, из которого он был преобразован?

Да, потому что это требуется согласно 6.2.5 §28.У нас также есть требование из главы преобразования указателей 6.3.2.3. §7:

Указатель на тип объекта может быть преобразован в указатель на другой тип объекта.Если результирующий указатель неправильно выровнен для ссылочного типа, поведение не определено.В противном случае при обратном преобразовании результат будет сравниваться равным исходному указателю.

Это также означает, что на практике все указатели объектов должны иметь один и тот же формат внутри, иначе вышеприведенное не было бывозможно.

2 голосов
/ 27 марта 2019 
printf("%d\n", test2 == test1);

Указатель test2 отличается от test1, потому что вы сравниваете их значения, которые представляют местоположения i и j.I и J - разные переменные с разным расположением для представляющего их объекта.

Таким образом, правильное значение равно 0.

В случае, если вы сделаете это: 

int i = 10;
char * test1 = (char *) &i;
void * test2 = &i;
printf("%d\n", test2 == test1);

, выход будет равен 1.

...