Является ли этот тип литой или какой-либо арифметикой указателя?

Question

я наткнулся на строку кода, написанного на C++:

long *lbuf = (long*)spiReadBuffer; 

И получается, что «spiReadBuffer» массив байтов с 12 элементами. Но я немного смущен. Я думаю, что я знаком с определением указателей, и я вижу, что «lbuf» - это тип «длинный» указатель. Кроме того, я думал, что для литья мы можем сделать что-то вроде этого:

y = (int) x;  

Но что, если я положил «*» после «ИНТ» так же, как мой первый пример, где есть один после «долго»? Я извиняюсь, если это действительно тривиальный вопрос, но когда я проходил темы литья и указателей, я не сталкивался со своим делом, и я действительно не понимал этого. Буду признателен, если вы можете направить меня или познакомить меня с любыми соответствующими материалами или ресурсами.

Answer 1

Это называется тип punning. Он комментирует компилятор, считывая память, занимаемую объектом, как если бы она была другого типа.

В вашем случае массив spiReadBuffer распадается на указатель на его первый элемент, тогда указатель будет отлит и сохранен. Когда вы разыщите этот указатель, вы получите доступ к началу массива, как если бы он был long.

Проблема с этим подходом заключается в том, что он вызывает неопределенное поведение (см. строгий псевдоним). Поэтому, несмотря на то, что он работает во многих ситуациях, он также может прерываться без предупреждения.

Существует два способа (что я знаю), чтобы безопасно набирать слова. Первый соответствует стандарту: std::memcpy.

char spiReadBuffer[12]; 
long rbAsLong; 
std::memcpy(&rbAsLong, &spiReadBuffer, sizeof rbAsLong); 
// rbAsLong contains the first four bytes of spiReadBuffer, reinterpreted as a long. 

Второй включает в себя расширение, которое часто предоставляется составителей (но вы должны проверить), что расширяет поведение профсоюзов.

union { 
    char buf[12]; 
    long asLong; 
} spiReadBuffer; 

Стандарт утверждает, что запись в член союза, а затем чтение из другого члена, является неопределенным поведением. Эти расширения компилятора позволяют определить его как безопасную реинтерпретацию.

Answer 2

в массивах C/C++ обрабатывают таким же образом компилятором:

char spiReadBuffer[12]; 
char* pBuffer; 

компилятор будет рассматривать как spiReadBuffer и пиксельный буфер в качестве указателей.

Код фрагмент

long *lbuf = (long*)spiReadBuffer; 

является примером литья типа, только это для типов указателей. Символ * преобразуется в длинный *; Вы можете сказать, что это тип арифметики указателя, потому что теперь вы можете читать sizeof (long) байты от spiReadBuffer, используя long * (вместо одного байта за раз).

Второй фрагмент, который вы показали: y = (int) x; также является отличным, но не для указателей;

Answer 3

Рассмотрим этот фрагмент:

char spiReadBuffer[] = {1,2,3,4,5,6,7,8}; 
long *lbuf = (long*)spiReadBuffer; 
printf ("%08x\n", lbuf[0]); 

Он будет печатать 04030201 на маленькой архитектуры Endian или 01020304 на маленькой архитектуры Endian.

После long *lbuf = (long*)spiReadBufferlBuf заявление указывает на начало spiReadBuffer и lbuf[0] (или *lBuf) позволяет прочитать первые 4 байта spiReadBuffer как долго.