東方算程譚

Oriental Code Talk ── επιστημηが与太をこく、弾幕とは無縁のシロモノ。

目次

Blog 利用状況

ニュース

著作とお薦めの品々は

著作とお薦めの品々は
東方熱帯林へ。

あわせて読みたい

わんくま

  1. 東京勉強会#2
    C++/CLI カクテル・レシピ
  2. 東京勉強会#3
    template vs. generics
  3. 大阪勉強会#6
    C++むかしばなし
  4. 東京勉強会#7
    C++むかしばなし
  5. 東京勉強会#8
    STL/CLRによるGeneric Programming
  6. TechEd 2007 @YOKOHAMA
    C++・C++/CLI・C# 適材適所
  7. 東京勉強会#14
    Making of BOF
  8. 東京勉強会#15
    状態遷移
  9. 名古屋勉強会#2
    WinUnit - お気楽お手軽UnitTest

CodeZine

  1. Cで実現する「ぷちオブジェクト指向」
  2. CUnitによるテスト駆動開発
  3. SQLiteで組み込みDB体験(2007年版)
  4. C++/CLIによるCライブラリの.NET化
  5. C# 1.1からC# 3.0まで~言語仕様の進化
  6. BoostでC++0xのライブラリ「TR1」を先取りしよう (1)
  7. BoostでC++0xのライブラリ「TR1」を先取りしよう (2)
  8. BoostでC++0xのライブラリ「TR1」を先取りしよう (3)
  9. BoostでC++0xのライブラリ「TR1」を先取りしよう (4)
  10. BoostでC++0xのライブラリ「TR1」を先取りしよう (5)
  11. C/C++に対応した、もうひとつのUnitTestFramework ─ WinUnit
  12. SQLiteで"おこづかいちょう"
  13. STL/CLRツアーガイド
  14. マージ・ソート : 巨大データのソート法
  15. ヒープソートのアルゴリズム
  16. C++0xの新機能「ラムダ式」を次期Visual Studioでいち早く試す
  17. .NETでマンデルブロ集合を描く
  18. .NETでマンデルブロ集合を描く(後日談)
  19. C++/CLI : とある文字列の相互変換(コンバージョン)
  20. インテルTBBによる選択ソートの高速化
  21. インテルTBB3.0 によるパイプライン処理
  22. Visual C++ 2010に追加されたSTLアルゴリズム
  23. Visual C++ 2010に追加されたSTLコンテナ「forward_list」
  24. shared_ptrによるObserverパターンの実装
  25. .NETでマンデルブロ集合を描く(番外編) ── OpenCLで超並列コンピューティング
  26. StateパターンでCSVを読む
  27. 状態遷移表からStateパターンを自動生成する
  28. 「ソートも、サーチも、あるんだよ」~標準C++ライブラリにみるアルゴリズムの面白さ
  29. インテルTBBの同期メカニズム
  30. なぜsetを使っちゃいけないの?
  31. WPFアプリケーションで腕試し ~C++でもWPFアプリを
  32. C++11 : スレッド・ライブラリひとめぐり
  33. Google製のC++ Unit Test Framework「Google Test」を使ってみる
  34. メールでデータベースを更新するココロミ
  35. Visitorパターンで遊んでみたよ
  36. Collection 2題:「WPFにバインドできる辞書」と「重複を許す検索set」
  37. Visual C++ 2012:stateless-lambdaとSQLiteのぷち拡張
  38. 「Visual C++ Compiler November 2012 CTP」で追加された6つの新機能

@IT

  1. Vista時代のVisual C++の流儀(前編)Vista到来。既存C/C++資産の.NET化を始めよう!
  2. Vista時代のVisual C++の流儀(中編)MFCから.NETへの実践的移行計画
  3. Vista時代のVisual C++の流儀(後編) STL/CLRによるDocument/Viewアーキテクチャ
  4. C++開発者のための単体テスト入門 第1回 C++開発者の皆さん。テスト、ちゃんとしていますか?
  5. C++開発者のための単体テスト入門 第2回 C++アプリケーションの効率的なテスト手法(CppUnit編)
  6. C++開発者のための単体テスト入門 第3回 C++アプリケーションの効率的なテスト手法(NUnit編)

AWARDS


Microsoft MVP
for Visual Developer - Visual C++


Wankuma MVP
for いぢわる C++


Nyantora MVP
for こくまろ中国茶

Xbox

Links

記事カテゴリ

書庫

日記カテゴリ

charは虚数ですか?

ネタ元 → char と signed char

ちゃっぴタンからメッセンジャのお誘い。
納得いかねぇ! らしいので追試しました(VC9,VC10β共)

#include <typeinfo>
#include <iostream>

int main() {
  signed char sc[1];
  char c[1];
  unsigned char uc[1];

  std::cout << typeid(sc).name() << std::endl;
  std::cout << typeid( c).name() << std::endl;
  std::cout << typeid(uc).name() << std::endl;
}

結果、signed char / char / unsigned char はそれぞれ別物だとさ。
char は 符号付き でも 符号なし でもない、と。 んなアホな。

投稿日時 : 2009年6月15日 0:01

コメントを追加

# re: charは虚数ですか? 2009/06/15 1:15 アキラ

typeinfoのnameが返す名前はあまり信用しない方がいいのでは?
(VCはわりとまともな名前返してくれますけど、&やconstを付けてくれなかったりします。)
type_traitsのis_signedとかis_sameとかstatic_assertとか使って判定した方がいいと思います。

# re: charは虚数ですか? 2009/06/15 1:16 アキラ

static_assertはtype_traitsじゃなかったです…。

# re: charは虚数ですか? 2009/06/15 1:22 アキラ

何度もすいません。元ネタ読んでなかったです。
signed charからcharへの変換がコンパイルエラーになるから別物と言ってたのですね。

# re: charは虚数ですか? 2009/06/15 1:53 egtra

私もこの仕様の理由が知りたいです。ただこれ、MSが悪いのではなく、大元のC++の規格でそう決まっているんです。g++などほかのコンパイラでも別の型として扱われます。

X3014:2003の3.9.1 基本型の中に「単なる文字型(char)、符号なし文字型(unsigned char)、及び符号付き文字型(signed char)は、三つの別々の型とする」という規定がありです。すなわちISOのでも同様の文言が含まれているんでしょう。

#C言語もC99で同じ方式になった。いったい何がしたい。

# re: charは虚数ですか? 2009/06/15 2:12 hito

これは結構有名だと思ったのですが。
C++ Templatesにも書いてあるし、Boostの実装もそうなっているし。
charは文字を入れるためのもであって、符号とは無縁の存在であるべきとか主張する理想主義者が、規格制定時に混じっていたのではなどと邪推してしますが。

# re: charは虚数ですか? 2009/06/15 7:08 774RR

理想主義者もいたのでしょうけど、規格制定前の実情として
・ある処理系の char は符号付きだった
・ある処理系の char は符号なしだった
・どっちか片方だけを規格違反にするわけにはいかなかった
ということなんだと思います。

wchar_t も独立型で、ほかの型と勝手に合致しないっす。

# re: charは虚数ですか? 2009/06/15 8:51 επιστημη

> これは結構有名だと思ったのですが。

有名なのかー orz

ちゃっぴタンとこにあったのはね、System::Stringのコンストラクタに:

String::String(SByte*) てのがある。
SByteはsigned byteであろうから、C++/CLIにおいて:

signed char s[] = "ほげほげー";
String^ ss = gcnew String(s);
→ error C2664:
 'System::String::String(const wchar_t *)' :
 1 番目の引数を 'signed char [11]' から
 'const wchar_t *' に変換できません。

...エラーになるのはどんな了見でぃ!?

さらに、
String^ ss = gcnew String("ぱよぱよー");

これが通る。
てーことは文字列リテラルは signed char[] てことか。
だとしたら char* p = "ぺもぺもー"; はエラーとなるはず。
...なのに無問題。わっけわかんね。

# re: charは虚数ですか? 2009/06/15 9:38 NyaRuRu

>てーことは文字列リテラルは signed char[] てことか。
>だとしたら char* p = "ぺもぺもー"; はエラーとなるはず。

いや,そうではなくて,文字列リテラルは char[] かと.
んで,Common Type System の Sbyte に対応する,C++/CLIの型が char になってるとかじゃないですかね.

#include <iostream>
using namespace std;

static void foo(const char* ptr) {
 cout << "foo(const char* ptr)" << endl;
}
static void foo(const signed char* ptr) {
 cout << "foo(const signed char* ptr)" << endl;
}
static void foo(const unsigned char* ptr) {
 cout << "foo(const unsigned char* ptr)" << endl;
}

int main() {
 char string1[] = "あいうえお";
 signed char string2[] = "あいうえお";
 unsigned char string3[] = "あいうえお";

 foo(string1);
 foo(string2);
 foo(string3);
 foo("あいうえお");

 return 0;
}

結果
foo(const char* ptr)
foo(const signed char* ptr)
foo(const unsigned char* ptr)
foo(const char* ptr)

# re: charは虚数ですか? 2009/06/15 9:57 επιστημη

> Common Type System の Sbyte に対応する,
> C++/CLIの型が char になってるとか

んー...
SByte ⇔ char であり
SByte ⇔ signed char ではないのか。
しかしながら SByte は 符号付きバイト なのかー...

# re: charは虚数ですか? 2009/06/15 12:54 ちゃっぴ

> しかしながら SByte は 符号付きバイト なのかー...

System::String(const char *value) には char (内部 unsigned char) を放りこめちゃうんですけどね。/J つけると。。。

System::SByte(const System::SByte %) に char [] を放りこもうとすると怒られます。signed char * じゃなきゃだめって。

System::String(sbyte *value) は間違っていてSystem::String(const char *value) が正しいような気がしてきました。
ん、でも C# では通るから両方存在する?

# re: charは虚数ですか? 2009/06/15 18:42 egtra

どこにコメント付けていいか迷いますが、C++/CLI的にはこういう対応になるらしいです。実際のVC++でもこういう出力になります。ただし、System::Stringコンストラクタはこれだと説明付かないのですが。
http://vene.wankuma.com/draft_114/Topics/D-1_14-33.html

signed char : SByte
unsigned char : Byte
/J無しchar : IsSignUnspecifiedByte modopt付きSByte
/J有りchar : IsSignUnspecifiedByte modopt付きByte

# re: charは虚数ですか? 2009/06/15 21:33 επιστημη

で、で、charの符号が決定できんとなると

char c = 0x80;
int n = c;
ってやったとき、nは正なの負なの?

# re: charは虚数ですか? 2009/06/15 23:25 επιστημη

↑やってみた。

こたえ: -128
signedぢゃーん!!!

# /J つけたら128ですた。

# re: charは虚数ですか? 2009/06/15 23:38 aetos

なんつーかー…
符号あり == signed じゃない、とか?
signed なんてしょせんはキーワードに過ぎず、saindo でも別にいいんじゃね? 符号付きだから signed なはずだなんて言えないんじゃね? みたいな?

# System::String constructor まとめ 2009/06/21 0:03 ちゃっぴの監禁部屋

System::String constructor まとめ

# System::String constructor まとめ 2009/06/21 0:04 ちゃっぴの監禁部屋

System::String constructor まとめ

タイトル
名前
URL
コメント