Błąd przesunięcia jest ujemny lub zbyt duży - poprawne rozwiązanie?

Question

Mam następujący funkcja czytania big-endian poczwórne (w abstrakcyjnym pliku bazowego I/O) klasy: funkcje

unsigned long long File::readBigEndQuadWord(){ 
    unsigned long long qT = 0; 
    qT |= readb() << 56; 
    qT |= readb() << 48; 
    qT |= readb() << 40; 
    qT |= readb() << 32; 
    qT |= readb() << 24; 
    qT |= readb() << 16; 
    qT |= readb() << 8; 
    qT |= readb() << 0; 
    return qT; 
} 

readb() odczytuje bajt. Oto typedefs używane:

typedef unsigned char BYTE; 
typedef unsigned short WORD; 
typedef unsigned long DWORD; 

Chodzi o to, że ja się 4 ostrzeżenia kompilatora na pierwszych czterech linii z pracy zmianowej:

ostrzeżenie C4293: „< <”: Ilość przesunięcie ujemny lub zbyt duże, niezdefiniowana zachowanie

rozumiem dlaczego występuje to ostrzeżenie, ale nie wydaje się dowiedzieć się, jak się go pozbyć poprawnie. Mogłem zrobić coś takiego:

qT |= (unsigned long long)readb() << 56;

Powoduje usunięcie ostrzeżenia, ale czy nie ma żadnego innego problemu, czy urządzenie BYTE będzie prawidłowo przedłużane przez cały czas? Może po prostu o tym myślę za dużo, a rozwiązanie jest takie proste. Czy możecie mi pomóc? Dzięki.

Answer 1

Twój sposób usunięcia ostrzeżenia jest poprawny. Jak już zapewne wiesz, ostrzeżenie występuje, ponieważ próbujesz przesunąć zawartość bajtu poza granice słowa, , a następnie zapisać je w quadword. Ta operacja jest niezdefiniowana. (Oceni prawą stronę zadania przed przypisaniem wartości.) Przez wyraźne rzutowanie najpierw jest wystarczająco dużo miejsca, aby wykonać przesunięcie, więc nie ma na co narzekać.

Możliwe, że kompilator powinien być w stanie stwierdzić, że zamierzasz zapisać go w quadrze, więc powinien najpierw przydzielić czwarte słowo i wykonać tam przesunięcie, ale może nie być wystarczająco inteligentny, aby go zrozumieć. na zewnątrz.

Ponadto, nie jestem tego pewien, ale prawdopodobnie kompilacja tego dla x64 również nie wygeneruje ostrzeżenia, ponieważ jedno słowo ma 64 bity?

Answer 2

qT | = (unsigned long long) readb() < < (shiftvalue & 63); To będzie idealne rozwiązanie, zakładając, że nie potrzebujesz więcej niż 63-bitowej zmiany