Test C++ - Czy znak 1 oznacza zawsze ujemny?

Question

Właśnie brałem test C++ i otrzymałem następujące pytanie:

Pytanie: Jaki jest wynik tego programu?

#include <iostream> 
#include <stdint.h> 

using namespace std; 

int main() { 
    int a = 0; 
    for (int8_t i = 1; i > 0; i <<= 1) 
     a++; 
    cout << a; 
    return 0; 
} 

wystąpiły następujące odpowiedzi do wyboru

• Undefined Behavior
• Błąd kompilacji

W "poprawne "odpowiedź brzmiała 7. Jeśli w odpowiedziach było" zachowanie zdefiniowane przez implementację ", wybrałbym to, więc wybrałem niezdefiniowane zachowanie, które było najbliższe. Rozumiem, że w znak-i-magnitorze, dopełnienie 1 i uzupełnienie dwójki to odpowiedź 7. Ale czy standard C++ teoretycznie nie zezwala na jakiekolwiek inne reprezentacje liczbowe? Na przykład znak i wielkość, ale 0 oznacza minus?

Czy mam rację, że prawdziwą poprawną odpowiedzią na to pytanie powinno być zachowanie zdefiniowane w ramach realizacji, a jeśli nie, proszę wyjaśnić, dlaczego odpowiedź brzmi 7 niezależnie od implementacji?

Czytałem komentarze na pytanie i wydaje się, że początkowo rodzaj a było char, który najwyraźniej wzbudził wiele skarg czy char jest podpisany, czy nie, więc testsetter zmienił go do int8_t. Jako pytanie premiowe, jest <stdint.h> częścią C++? O_O

Answer 1

Powiedziałbym, że jest niezdefiniowany (a nie definiowany przez implementację) z innego powodu.

od 5,8: 3

Wartość E1 << E2 E1 jest przesuwany w lewo pozycje bitowe E2; wolne bity są wypełnione zerami. Jeśli E1 ma niepodpisany typ, wartość wyniku to E1 × 2 ^E2 , zredukowana wartość modulo o więcej niż maksymalna wartość reprezentowana w typie wyniku. W przeciwnym razie, jeśli E1 ma podpisany typ i nieujemną wartość, a E1 × 2 ^E2 jest reprezentowalne w typie wyniku, to jest to wynikowa wartość; w przeciwnym razie zachowanie jest niezdefiniowane.

Answer 2

Jeśli implementacja zapewnia opcjonalny int8_t, odpowiedź powinna być poprawna, z C99 draft, której odniesienia do C++ 11 dotyczące stdint;

7.18.1.1 Dokładna szerokości liczby całkowite

Nazwa typedef intN_t oznacza podpisaną typu całkowitą o szerokości N, NO bitów dopełniających, a uzupełnienie dwójkowe przedstawienie. Zatem int8_t oznacza liczbę całkowitą ze znakiem o nazwie o szerokości dokładnie 8 bitów.

Answer 3

Ponieważ natychmiastowe pytanie odpowiedział, będę odpowiedzieć na pytanie bonus: <stdint.h> jest nagłówek C, która jest dostępna w języku C++. Zamiast tego należy użyć nowoczesnego nagłówka C++ <cstdint>.