Est-il un portable de façon à définir INT_MAX?

Pour la INT_MAX dans l'en-tête standard limits.h, le réalisateur a les mains liées par le fait qu'il est nécessaire pour être utilisable dans préprocesseur #if directives. Cela exclut tout ce qui a trait sizeof ou des moulages.

Si vous voulez juste une version qui fonctionne dans le réel C expressions, peut-être que ce serait le travail:

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

Le concept ici est que int peut avoir le même nombre de valeur de bits unsigned, ou, moins une valeur de bit; le C standard permet soit. Afin de tester ce qu'il est, vérifier le résultat de la conversion (int)-1U. Si -1U s'inscrit dans int, sa valeur doit être modifié par le plâtre, de sorte que l'égalité sera vrai. Si -1U ne rentre pas dans int, puis la fonte des résultats de la mise en œuvre défini un résultat de type int. Quelle que soit la valeur est, cependant, l'égalité sera fausse, simplement par le nombre de valeurs possibles.

Noter que, techniquement, la conversion de la int pourrait entraîner une mise en œuvre définies par le signal étant élevé, plutôt que d'une mise en valeur définie par l'étant, mais cela ne va pas se produire lorsque vous faites affaire avec une constante de l'expression qui sera évaluée au moment de la compilation.

Non, car il n'existe pas de portable moyen de savoir la différence dans le nombre de la valeur des bits entre int et unsigned.

Il y a un portable de façon à obtenir UINT_MAX, c'est-à -1u parce que des entiers non signés sont modulo types. Par conséquent, l'expression de INT_MAX est

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

Malheureusement, il n'existe aucun moyen d'obtenir value_bits<unsigned> - value_bits<int>.

En C++, cela semble être possible par le modèle de la méta-programmation, recursing de 15 bits. (L'intervalle [-32767, 32767] est garanti pour être représentable dans 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)

Mais je trouve cela inutile et le bâton avec compilateur défini __INT_MAX__ ;(

EDIT: Oups!

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.

Bien, on peut essayer de

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

ce qui "devrait" travailler à travers les plates-formes avec différentes taille de mot et même avec les différentes représentations de l'entier signé de valeurs. (unsigned) -1 sera portably produire le UINT_MAX valeur, qui est la tous les bits d'un modèle. Divisé par 2, elle devrait être attendus de la valeur maximale pour le correspondant signé de type entier, qui passe sur les bits pour représenter le signe.

Mais pourquoi? L'en-tête standard des fichiers et des définitions en eux ne sont pas censés être portable.

BTW, la définition de INT_MIN que vous avez cité ci-dessus n'est pas portable. Il est spécifique à 2 en complément de la représentation des entiers signés.