Pourquoi ne pas C ont unsigned flotteurs?

Pourquoi C++ n'est pas prise en charge pour les flotteurs est parce qu'il n'y a pas d'équivalent en code machine des opérations pour le PROCESSEUR à exécuter. Donc, il serait très inefficace pour la soutenir.

Si C++ ne le soutenir, alors vous seriez parfois à l'aide d'un unsigned flotter et ne pas réaliser que votre performance a été tué. Si C++ appuyé, puis chaque opération de virgule flottante aurait besoin d'être vérifié pour voir s'il est signé ou non. Et pour les programmes qui ne des millions d'opérations en virgule flottante, ce n'est pas acceptable.

Donc la question serait pourquoi ne pas le matériel maîtres d'œuvre en charge. Et je pense que la réponse à cela est qu'il n'y avait pas non signé flotteur standard défini à l'origine. Puisque les langues comme compatible, même s'il a été ajouté les langues ne pouvais pas en faire usage. Pour voir la virgule flottante spec, vous devriez regarder la La norme IEEE 754 en virgule Flottante.

Vous pouvez obtenir autour de ne pas avoir un unsigned type à virgule flottante bien que par la création d'un unsigned float classe qui encapsule un float ou double et lance des avertissements si vous essayez de passer en un nombre négatif. C'est moins efficace, mais sans doute si vous n'utilisez pas intensément, vous ne se soucient que de légères pertes de performances.

Je vois vraiment l'utilité d'avoir un unsigned char. Mais le C/C++ tend à choisi d'efficacité qui fonctionne le mieux pour tout le monde sur la sécurité.

(En aparté, Perl 6 vous permet d'écrire

subset Nonnegative::Float of Float where { $_ >= 0 };

et puis vous pouvez utiliser Nonnegative::Float tout comme vous le feriez pour tout autre type.)

Il n'y a pas de support matériel pour les opérations à virgule flottante, donc C n'est pas l'offrir. C est principalement conçu pour être portable assemblée", c'est-à proximité du métal que vous pouvez être sans être attaché à une plate-forme spécifique.

[modifier]

C est comme de l'assemblée: ce que vous voyez est exactement ce que vous obtenez. Un implicite "je vais vérifier que ce flotteur est positif pour vous" va à l'encontre de sa philosophie de conception. Si vous le voulez vraiment, vous pouvez ajouter assert(x >= 0) ou similaire, mais vous devez le faire explicitement.

Je pense que Treb est sur la bonne voie. Il est plus important pour les entiers que vous avez un unsigned type correspondant. Ce sont ceux qui sont utilisés dans de décalage de bits et utilisé dans bits-cartes. Un bit de signe est juste dans la manière. Par exemple, le droit-transfert d'une valeur négative, la valeur est définie par l'implémentation en C++. Que faire avec un entier non signé ou de débordement de ces a parfaitement défini la sémantique parce qu'il n'y est aucune de ces bits dans le chemin.

Donc pour les entiers au moins, la nécessité d'un autre type non signé est plus fort que juste de donner des avertissements. Tous les points ci-dessus ne doivent pas être considérés pour des flotteurs. Donc, il y a, je pense, pas de réel besoin de support matériel pour eux, et C déjà de ne pas les soutenir à ce point.

Une racine carrée aura certainement jamais de retour d'un nombre négatif. Il y a d'autres lieux où un négatif float valeur n'a pas de sens. Candidat parfait pour un unsigned char.

C99 prend en charge les nombres complexes, et un type de la forme générique de la racine, de sorte sqrt( 1.0 * I) sera négatif.

Les auteurs ont mis en évidence une légère brillance ci-dessus, en ce que je faisait allusion au type générique sqrt macro plutôt que de la fonction, et il sera de retour un scalaire valeur en virgule flottante par la troncature du complexe de son composant réel:

#include <complex.h>
#include <tgmath.h>

int main () 
{
    complex double a = 1.0 + 1.0 * I;

    double f = sqrt(a);

    return 0;
}

Il contient aussi un cerveau-prout, comme la partie réelle de la racine carrée de tout nombre complexe est positif ou nul, et sqrt(1.0*I) correspond à la racine carrée de(0,5) + sqrt(0.5)*j'ai pas -1.0.

Entier non signé types en C sont définies de manière à obéir aux règles de l'abstrait algébrique de l'anneau. Par exemple, pour toute valeur de X et Y, l'ajout de X-Y pour Y donnera X. entier non signé types sont garantis à obéir à ces règles dans tous les cas qui n'impliquent pas la conversion en, ou à partir de n'importe quel autre type numérique [ou unsigned types de tailles différentes], et que la garantie est l'une des fonctionnalités les plus importantes de ces types. Dans certains cas, il est intéressant de donner la possibilité de représenter les nombres négatifs en échange des garanties supplémentaires seulement unsigned types peuvent fournir. Les types à virgule flottante, que ce soit signé ou non, ne peut pas respecter toutes les règles de l'algébrique de l'anneau [par exemple, ils ne peuvent pas garantir que X+Y-Y sera égal à X], et, en effet, IEEE n'autorise même pas à respecter les règles d'une classe d'équivalence [en exigeant que certaines valeurs de comparer l'inégalité à eux-mêmes]. Je ne pense pas qu'un "unsigned" virgule flottante type de respecter les axiomes qui ordinaire à virgule flottante type ne pouvait pas, donc je ne suis pas sûr de ce que les avantages qu'elle offre.

IHMO c'est parce que l'appui à la fois signés et non signés, les types à virgule flottante dans le matériel ou le logiciel ne soit pas trop gênant,

Pour les types integer, nous pouvons utiliser le même unité logique pour signé et non signé entier opérations dans la plupart des situations à l'aide de la belle propriété de 2 en complément, parce que le résultat est identique dans ces cas pour l'add, sub, non-élargissement de mul et la plupart des opérations bit à bit. Pour les opérations qui font la différence entre signés et non signés version, on peut encore part de la majorité de la logique. Par exemple

• Arithmétique et logique maj besoin que d'un léger changement dans la matière de remplissage pour le haut bits
• L'élargissement de la multiplication peut utiliser le même matériel pour la partie principale et puis certains séparer la logique d'ajuster le résultat de modifier la signness. Non pas que c'est utilisé dans de véritables multiplicateurs mais il est possible de faire
• Signé comparaison peut être converti unsigned comparaison et vice versa facilement en cliquant sur le haut bits ou l'ajout de INT_MIN. Aussi théoriquement possible, ce n'est probablement pas utilisé sur du matériel, il est pourtant utile sur les systèmes qui prennent en charge qu'un seul type de comparaison (comme 8080 ou 8051)

Les systèmes qui utilisent le 1er complément aussi juste besoin d'un peu de modification de la logique, car c'est tout simplement le bit de retenue enroulé autour de la bit le moins significatif. Pas sûr au sujet de signe-amplitude systèmes, mais il semble comme ils utilisation 1 en complément à l'interne de sorte que la même chose s'applique

Malheureusement nous n'avons pas ce luxe pour les types à virgule flottante. Simplement en libérant le bit de signe, nous allons avoir la version non signée. Mais alors, que devons-nous utiliser que peu de?

• D'augmenter la portée en l'ajoutant à l'exposant
• Augmenter la précision en l'ajoutant à la mantisse. C'est souvent plus utile, que nous avons généralement besoin de plus de précision que la gamme

Mais les deux choix ont besoin d'un plus additionneur afin de prendre en compte l'ensemble de la gamme de valeur. Qui augmente la complexité de la logique, tandis que l'additionneur du haut bits se trouve là inutilisés la plupart du temps. Encore plus de circuits seront nécessaires pour les multiplications, de divisions ou d'autres opérations complexes

Sur les systèmes qui utilisent le logiciel en virgule flottante vous avez besoin de 2 versions pour chaque fonction, ce qui n'était pas prévue pendant le temps de la mémoire est tellement cher, ou vous aurez à trouver une certaine "difficulté" manière de partager des parties de l'signés et non signés fonctions

Cependant la virgule flottante existé longtemps avant de C a été inventé, je crois donc que le choix dans C était dû à l'absence de support matériel à cause de la raison que j'ai mentionné ci-dessus

Cela dit, il existe plusieurs spécialisé unsigned les formats à virgule flottante, principalement pour le traitement de l'image, comme Khronos group 10 et 11 bits à virgule flottante de type