C言語のunsigned doubleとは何か？

総合スコア5852

2017/06/17 17:14

GPUまわりは16bitの半精度浮動小数点数(GPUじゃなくてもARM向けならGCCで__fp16が使えるとか)などもありますし、なにがあってもおかしくないと思います。ただ、ほしいのはC言語でなんですよね。C言語でunsigned doubleが欲しいです。

2017/06/17 18:28

上に載せたyoh2さんのツイートじゃないですけど、どういうunsigned doubleがほしいんでしょう・・・？単に0以上であることを求めるならabs系関数を使うべきです。実際 https://stackoverflow.com/a/43037280/6277384 C#の実装ですがそういうクラスを作っている回答があります。なお半精度浮動小数点数はC++標準化委員会に提案されていました(がC++17には入らなかった) https://cpplover.blogspot.jp/2016/03/c-p0190r0-p0199r0.html

2017/06/17 20:32

私がほしいのはunsigned doubleというのがC言語に存在するかどうかの情報です。現在の標準には存在しませんが、もし特定の実装では存在するなら「Cにunsigned doubleなんてものはない」というと鼻で笑われる可能性があります。人に間違っていることを指摘するときに自分が間違っているということは可能な限り避けなければならないと考えています。

2017/06/18 05:10

うーん、必殺タクティクス「IEEE754にはありません」「C/C++標準規格にはありません」「私の知る限りそのような処理系は存在していません」を使ってしまっていいと思うんですけどね～。

2017/06/18 15:55

というかそうしないと悪魔の証明ですし・・・

2017/06/21 07:11

失礼します。「Because most floating point hardware doesn't support unsigned types. Some graphics cards do work with unsigned floating point, but it's generally internal, not really visible to a program or user.」ハードウェアレベルでのサポートがないようですが、GPUならあるようですね。 https://stackoverflow.com/questions/2523025/unsigned-double-in-c 使用するライブラリによってはunsigend double が使用可能な場合があるかもしれませんね・・・ちょっと分かりませんね。

2017/06/21 11:31

@strike1217 KSwordOfHasteさんがすでにまったく同じ回答をしているうえに私も >KSwordOfHasteさんが取り上げているSOFのJerry Coffin氏の回答はこれを念頭においている可能性があります。と言い、また具体例としてDirectX HLSLを挙げているにも関わらずそういうコメントをつけるというのは一体どういう新手の嫌がらせでしょうか。

行動規範の内容に同意します

情報といえるようなものではないですが・・・

stackoverflow: Unsigned double in C++?の回答の中に「あるグラフィックカードのプロセッサー(?)が内部的に符号なし浮動小数点数を用いている」とありました。

Because most floating point hardware doesn't support unsigned types. Some graphics cards do work with unsigned floating point, but it's generally internal, not really visible to a program or user.

情報の確度の程は不明ですが、そういうグラフィックカードのプロセッサがあるなら、特別版のC処理系があっても不思議はなさそうです。

とはいえraccyさんが挙げておられる多くのページで「Ｃ言語の基本型」という文脈で書かれているものについては例え特殊目的のコンパイラーが存在していたとしても「著者の書き間違え」というべきと思いました。

(「raccyさんもそう考えておられると思います。」と最初書きましたが、コメントを拝見するとあくまで「客観的な事実を確認したい」ということだったと思います。失礼致しました。)

投稿2017/06/17 06:43

編集2017/06/18 00:50

KSwordOfHaste

総合スコア18400

2017/06/17 17:39

私は「他人の知識を疑う前に、自分の知識を疑え」を地で行く思想なので、私の知らないものがあってもおかしくないという前提です。人に教える立場、人に教えるための記事において、基礎的な所で間違いを放置するのはあり得ないと思っています。なので、きっとあるはずです。もし、書き間違いなら、私だったら、恥ずかしくて、C言語ができるなんて言えないです。

KSwordOfHaste

2017/06/18 00:41

> 他人の知識を疑う前に、自分の知識を疑え自分は確信できてないことも考え・意見としてコメントすることも多く、意見を事実と受け取られるようなまずいコメントをしないようより注意しないと・・・と改めて思いました。「意見」でしかないのでraccyさんの興味外かも知れませんが・・・具体例がなかなか見つけられないのは特殊目的＝非公開システムであるためなのかなと想像しました。だとすれば確認できる仕様書のようなものが見つけられず「それがある」という誰かのコメントにしかないのは道理かも知れない・・・とそう思いました。

行動規範の内容に同意します

ベストアンサー

実験してみました。

#include<stdio.h>

int main() {
	unsigned double  aa = 0.345;
	signed double bb = 0.4509;
	double cc = 0.472873;
	printf("%f\n", aa);
	printf("%f\n", bb);
	printf("%f\n", cc);
}

windows でやるとwarningが出ますが、コンパイルはできました。

結果は、、、
0.000000
0.000000
0.472873

となりますね。
・・・unsigned, signed ともにダメみたいですね。

unsigned doubleが使用できるライブラリがあるかも・・・？
分からないですね・・・

「追記」
コメントを見て追記しました。

#include<stdio.h>

int main() {
	unsigned double  aa = 3.345;
	signed double bb = 0.4509;
	double cc = 0.472873;
	unsigned int dd = 3.345;
	printf("%f\n", aa);
	printf("%f\n", bb);
	printf("%f\n", cc);
	printf("%d\n", dd);
	printf("%d\n", aa);
}

結果は、
0.000000
0.000000
0.472873
3
3

投稿2017/06/21 07:22

編集2017/06/21 11:58

総合スコア651

2017/06/21 10:22

警告付きとはいえ、コンパイルできるんですか？windowsだけでは曖昧すぎてどんな環境(コンパイラはいっぱいあるので)なのかわかりませんので、コンパイラ(GCCとかだとたくさん種類があるので、ダウンロードできるサイトも)とそのバージョン、また、コンパイラオプションや32bit/64bit環境などを教えて欲しいです。

2017/06/21 10:43 編集

os : windows 8.1 64bit cpu : intel core i7 compiler : cl : visual studio オプションなしです。

2017/06/21 10:47

warningのログは以下のようになりました。 warning C4076: 'unsigned': cannot be used with type 'double' warning C4076: 'signed': cannot be used with type 'double' warning C4477: 'printf' : format string '%f' requires an argument of type 'double', but variadic argument 1 has type 'unsigned int' warning C4477: 'printf' : format string '%f' requires an argument of type 'double', but variadic argument 1 has type 'int'

2017/06/21 10:48

visual studioのバージョンを教えて欲しいです。バージョンによって結構動作が異なりますので。

2017/06/21 10:53

visual studio 2015 ver 14.0.25431.01 update3 ですね。

2017/06/21 11:17

VS2015 with VS2017のコマンドラインツールがバグで動かなかったのでVS2017で試したら、確認できました。どうやら、`double`を無視して`unsigned int`、`signed int`として扱っているようです(もともと、intは省略可能なので、`double`が無いとすればそう解釈される)。 https://docs.microsoft.com/ja-jp/cpp/error-messages/compiler-warnings/compiler-warning-level-1-c4076 によると無視されるのは`unsigned`や`signed`のはずなんですけど、逆になっているようです。 `unsigned double`とか平気で書く人達は警告を無視して進めるVisual Studioユーザーなのかも知れません。

2017/06/21 11:21

警告だけしてdouble側を無視するのがコンパイラの動きとして正しいのかどうかはさておき、とりあえず「コンパイルはできる」ことが実証できたのは素晴らしいことです。ベストアンサーにさせていただきます。

2017/06/21 11:32

いいやちょっとまて、それが警告で済むのはおかしいだろ・・・あとでバグレポ投げねば。

2017/06/21 11:43

「`unsigned double`とか平気で書く人達は警告を無視して進めるVisual Studioユーザーなのかも知れません。」 warningを無視するユーザは結構見かけますね・・・わたしも時々無視するときがありますが・・・

2017/06/21 11:46

・・・もしかして unsigned double x; をunsigned intとして認識する処理系は合法なのだろうか・・・怖いので江添さんに質問を投げた。答えが来るかは江添さんのノリしだいだけど https://pawoo.net/@yumetodo/22042214

2017/06/21 12:00

unsigned double x; をunsigned intとして認識する。正しいのではないでしょうか？追記の実験であたかもint型のように動作しています。 printf("%d\n", aa); はdouble型であるにも関わらず、warningが出てこないんですよね！！

2017/06/21 12:11

しかしgccはerrorにするので、これはgccのほうが正しい挙動なんじゃないかという思い。規格書読まねば。 Qiitaの記事にしてやった。 http://qiita.com/yumetodo/items/3bb5c9a4d68f544da939

行動規範の内容に同意します

こんにちは。

びっくりなテーマですね。
ついググってしまいました。グーグルから、多数のunsignd floating point的な提案があり、そのまま検索したら「なんで◯◯にはunsigned float/doubleがないんだ？」という質問が多数あるようです。
unsigned intがあるから、unsigned doubleもあると思い込んでしまう人がそこそこ居るということのように思えます。
raccyさんが挙げている記事も、一部はコピペ後の修正ミス等と思われますが、一部は思い込み記事のように感じます。

昔は浮動小数点フォーマット規格なんてありませんでしたし、ソフトウェアで計算してましたから作ることは可能だった筈ですが、覚えている限りでは符号なし浮動小数点数はありません。昔のFORTRANにはunsigned intさえありませんでした。C言語でunsigned intに出会ってちょっとびっくりした記憶がかすかに残ってます。

ところで、リアルの世界はというと、「九章算術」に小数も負の数も記載されていて、どちらとも文献で確認できる最初のものらしいのです。

unsigned doubleは都市伝説やおばけと同様な存在ではないでしょうか?

投稿2017/06/17 07:15

Chironian

総合スコア23272

2017/06/17 17:53

都市伝説ぅ…ですかねぇ… 私もただの間違いであって欲しいとは思っているのですが、存在しない事を証明することは難しいので、知恵を拝借したいというのが、この質問なんです。やはり、存在しないのかなー。

Chironian

2017/06/18 08:52

カーテンの揺れを見て「おばけ」と思い込むのと同じだと思います。（unsigned intを見てunsigned doubleがあると思い込む。）「おばけ」の非存在を証明できないのと同じで証明はできませんので、「そんな処理系見たこと無い」で十分では？

行動規範の内容に同意します

こんな資料を見つけました。
→ https://www.renesas.com/ja-jp/doc/products/mpumcu/doc/superh/r01us0031jj_sh-2a.pdf

CPUの解説書ですが、命令がC言語との比較でも書かれています。そこにはunsigned doubleが128bit整数値らしいことが書かれています。

もしかしたらベンダー独自実装でそういう型が存在するコンパイラーがあるのかもしれません。

投稿2017/06/17 06:33

catsforepaw

総合スコア5944

2017/06/17 06:59

見てきましたが、これはunsigned doubleがstd::uint64_tくらいの意味合いで書かれているとしか取れない・・・というのは、浮動小数点演算命令の解説ではIEEE754に準拠している、とあるので(表 1.1)

2017/06/17 17:33

yumetodoさんの言うとおり、整数型の話の所なので、uint64_tの意味で使っているように見えます。unsigned long longとかと書くべきだったと言えるのかも知れません。間違いが無いものは存在しないとは思いますけど、会社全体のC言語理解レベルが低いと言っているようなもので、この会社は恥ずかしくないのでしょうか…。

2017/06/17 18:23

>unsigned long longとかと書くべきだったと言えるのかも知れません。それはおかしい

2017/06/17 19:32

え、uint64_tでいいならunsigned long longでいいのではないのですか？

2017/06/17 20:12

いつからunsigned long longは64bitになったのでしょう・・・？

2017/06/17 20:26

たしかに64bit以上であって64bitである保証はありませんが、それをいいだすと、他のところもCで正確に表現するにはuintN_t系使わないと無理になっちゃいますし、つまりは、この資料はまったくもって全部駄目ってことでしょうか？

行動規範の内容に同意します

unsigned doubleが書かれた資料(後述)があるため、一部のコンパイラや古いコンパイラではできる、とか、・・・

独自拡張とかそれを書いた人の勘違いとかでは？

C のバイブル的な「プログラミング言語 C 第 2 版」には "signed および unsigned の修飾子は、char あるいは任意の整数に使ってよい。unsigned 数は常に正かゼロであり、n をその型のビット数としたとき、モジュロ n^2 の算術法則にしたがう・・・" と書いてあります。

unsigned double というものは存在しませんが（少なくともその本には）・・・

以下の記事は unsigned double ではなく unsigned float がどうして C にないのかという話ですが、回答では "there is no equivalent machine code operations for the CPU to execute" と言ってます。

Why doesn't C have unsigned floats?
https://stackoverflow.com/questions/512022/why-doesnt-c-have-unsigned-floats

自分的には CPU がサポートしてないからないに納得です。

投稿2017/06/17 05:54

退会済みユーザー

総合スコア0