Gibt es eine portable Art und Weise zu definieren, INT_MAX?

Für die INT_MAX in der standard-header - limits.h der Implementierung die Hände gebunden sind durch die Tatsache, dass es erforderlich ist, werden in nutzbare Präprozessor #if Richtlinien. Diese Regeln, alles was mit sizeof oder wirft.

Wenn Sie wollen einfach nur eine version, die funktioniert in der aktuellen C-Ausdrücke, vielleicht würde das funktionieren:

(int)-1U/2 == (int)(-1U/2) ? (int)-1U : (int)(-1U/2)

Das Konzept hier ist, dass int kann die gleiche Anzahl von Wert-bits unsigned oder eine weniger Wert bit; der C-standard erlaubt es, entweder. Um zu testen, welche es ist, überprüfen Sie das Ergebnis der Konvertierung (int)-1U. Wenn -1U passt in int, der Wert muss unverändert durch den cast, so dass die Gleichheit wahr wird. Wenn -1U passt nicht in int ist, dann die cast-Ergebnisse in eine von der Implementierung definierte Ergebnis-Typ int. Egal, was der Wert ist, aber die Gleichheit wird falsch sein lediglich durch den Bereich der möglichen Werte.

Beachten Sie, dass, technisch gesehen, die Umwandlung zu int führen könnte, eine von der Implementierung definierte signal ausgelöst wird, eher als eine von der Implementierung definierter Wert, der erhalten wird, aber dies wird nicht passieren, wenn Sie ' re Umgang mit einem Konstanten Ausdruck ausgewertet werden zur compile-Zeit.

Nein, weil es keine portable Möglichkeit zu wissen, den Unterschied in der Anzahl der Wert der bits zwischen int und unsigned.

Gibt es eine portable Art und Weise zu erhalten UINT_MAX, das ist -1u weil vorzeichenlose Ganzzahlen modulo-Typen. Daher der Ausdruck INT_MAX ist

(int)(UINT_MAX >> (value_bits<unsigned> - value_bits<int>))

Leider gibt es keinen Weg, um value_bits<unsigned> - value_bits<int>.

In C++ ist dies möglich zu sein scheint von template meta-Programmierung, recursing von 15 bits auf. (Der Wertebereich [-32767, 32767] garantiert ist darstellbar in int.)

template<int bits>
struct max0
{
    static const int value = max0<bits - 1>::value * 2 + 1;
};

template<>
struct max0<15>
{
    static const int value = 32767;
};

template<int bits>
struct max1
{
    static const int value =
        max0<bits + 1>::value > max0<bits>::value ?
        max1<bits + 1>::value :
        max0<bits>::value;
};

#define INT_MAX (max1<15>::value)

Aber ich finde das übertrieben und stick mit compiler-definiert __INT_MAX__ ;(

EDIT: Oops!

max.cpp: In instantiation of 'const int max0<32>::value':
max.cpp:17:51:   recursively required from 'const int max1<16>::value'
max.cpp:17:51:   required from 'const int max1<15>::value'
max.cpp:28:28:   required from here
max.cpp:4:52: warning: integer overflow in expression [-Woverflow]
     static const int value = max0<bits - 1>::value * 2 + 1;
                              ~~~~~~~~~~~~~~~~~~~~~~^~~
max.cpp:4:22: error: overflow in constant expression [-fpermissive]
     static const int value = max0<bits - 1>::value * 2 + 1;
                      ^~~~~
max.cpp:4:22: error: overflow in constant expression [-fpermissive]
max.cpp:4:22: error: overflow in constant expression [-fpermissive]
max.cpp: In instantiation of 'const int max0<914>::value':
max.cpp:17:51:   recursively required from 'const int max1<16>::value'
max.cpp:17:51:   required from 'const int max1<15>::value'
max.cpp:28:28:   required from here
max.cpp:4:52: fatal error: template instantiation depth exceeds maximum of 900 (use -ftemplate-depth= to increase the maximum)
     static const int value = max0<bits - 1>::value * 2 + 1;
                              ~~~~~~~~~~~~~~~~~~~~~~^~~
compilation terminated.

Gut, kann man versuchen,

#define INT_MAX (int) ((unsigned) -1 / 2)

dem "sollte" auf allen Plattformen funktionieren, die mit anderen word-Größe und sogar mit verschiedenen Darstellungen von signed-integer-Werte. (unsigned) -1 werden portabel produzieren die UINT_MAX Wert, die der all-bit-Muster. Geteilt durch 2 sollte es die erwarteten max-Wert für die entsprechende Ganzzahl-Typ, der verbringt am bit für die Darstellung der Zeichen.

Aber warum? Der standard-header-Dateien und-Definitionen getroffen werden, die eigentlich nicht tragbar.

BTW, die definition von INT_MIN Sie oben zitiert ist nicht tragbar. Es ist spezifisch für 2-Komplement-Repräsentation von vorzeichenbehafteten Ganzzahlen.