http://www.research.att.com/~bs/programming.html To appear November 2008. http://www.amazon.co.jp/Programming-Principles-Practice-Using-C/dp/0321543726 出版社: Addison-Wesley Professional; 1版 (2008/12/5) http://www.amazon.com/Programming-…

N2798には属性(attribute)に関する記述が追加されています。誰も解説していないようなので簡単な紹介を書きます。 属性は型、変数、名前、ブロック、翻訳単位に情報を付加するもので、 [[attribute]] のように、ブラケット二つで囲まれた中に記述します。 C#…

ストリームとコンセプトを組み合わせてみた。 #include <iostream> #include <concepts> auto concept HasShowing<typename T> { requires std::HasLeftShift<std::ostream&, T>; } template <HasShowing T> void show(T x) { std::cout << x; } int main() { show('A'); show("abc"); //show(123); // ambiguous //show(3.14)</hasshowing></std::ostream&,></typename></concepts></iostream>…

vectorって特殊化されてたのか…。知らなかった。 namespace std { template <class Allocator> class vector<bool, Allocator> { /* ... */ }; } 使うなと言っている人もいるようだ。（Tips.68) http://www.sun-inet.or.jp/~yaneurao/intensive/tips2.html 特殊化されている割にはビット列とし</bool,></class>…

最新のドラフトが出たようです。 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/#mailing2008-10 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2798.pdf コンセプトが追加されたようです。これから読み始めます。

nullptrが導入されれば純粋仮想関数がこんな風に書けるのかと思っていたのだけれども、 virtual void func() = nullptr; 現在のドラフトにはこんな記述はなかった。実際にvtblにヌルポインタを置くわけじゃないのは分かるけど、=0;ってやっぱ気持ち悪いなあ……

新鮮なネタではないけれども、そのうち書こうと思っていたので… http://www.hyuki.com/yukiwiki/wiki.cgi?WhyINoLongerLikeOrUseCPlusPlus この文章では、C++のうんざりなところとして「生産性が低い」ことと「ABIがない」ことが挙げられている。 性能を意識…

concept std::Trueの実験にと思ってコードを書いてみたのだけれども、ConceptGCCが14行目でinternal compiler errorを吐く。 #include <iostream> #include <concepts> template <class T> requires std::True<(sizeof(T) < 4)> void f(T x) { std::cout << "a"; } template <class T> requires std</class></class></concepts></iostream>…

この前書いた記事はconcept_map Rangeがあるのかと思ったらconst char[]なだけだったというわけだが、 http://d.hatena.ne.jp/meryngii/20080927/1222494258 せっかくなので書いてみた。 #include <iostream> #include <cstring> #include <concepts> namespace std { concept_map Range<const char*> {</const></concepts></cstring></iostream>…

Callableは関数オブジェクト用のコンセプトで、N2741だと汎用的にVariadic Templatesを利用して定義されている。 auto concept Callable<typename F, typename... Args> { typename result_type; result_type operator()(F&&, Args...); } operator()のところだけれども、これが「一定の数</typename>…

Variadic Templatesの練習のためにSystem.Consoleもどきを。 #include <iostream> #include <complex> struct Console { template <typename T, typename... Types> static void Write(T&& arg, Types... args) { std::cout << arg; Write(args...); } template <typename... Types> static void WriteLine(Types... args) { Write(</typename...></typename></complex></iostream>…

C文字列に拡張for文を使ったら、普通に通った。 #include <iostream> int main() { for (char c : "test") std::cout << c << std::endl; } C++ユーザにとっては新鮮なコード。んでこれが通るということは、const char*についてのconcept_map Rangeがどこかにあるはず</iostream>…

Visual Studioにはユーザーキーワードという微妙に便利な機能があるらしいです。 http://wikiwiki.jp/redstrange/?Microsoft%20Visual%20Studio%20%A5%E6%A1%BC%A5%B6%A1%BC%A5%AD%A1%BC%A5%EF%A1%BC%A5%C9 これはC++0xのキーワードを色分けするしかない！ …

C++では==と!=のように片方だけあれば十分なものもすべて定義しなければならない。これを自動的に生成してくれるのがBoost.Operatorsなわけだが、標準ライブラリにもstd::rel_opsに比較演算のみ自動的に生成するものがあるようだ。 namespace rel_ops { temp…

andLinux上でのConceptGCCのmakeに挫折したので、結局Cygwin上で試すことになった。 ものすごくコンパイルが長いけど、テスト版だからしょうがない。 #include <algorithm> int main() { std::sort(1, 2, 3); // ここでエラー } conceptg++ -o test test.cppなかなか簡</algorithm>…

andLinuxでConceptGCCをコンパイルしてみたが、どうもうまくいかなかった。再度挑戦するときのために経過をメモしておく。 まず、おなじみのツールをインストールする。 apt-get install gcc apt-get install autoconf apt-get install makeGMPとMPFRが必要…

andLinuxをインストールした。 http://d.hatena.ne.jp/wadap/20080602/1212419216 この手順通りにインストールしても、ネットワークにつながらなくなってうまくいかなかった。 調べてみたら、ルータのIPと衝突しているのが原因だった。 http://d.hatena.ne.j…

C++0xのためにConceptGCCでも使ってみようと思い立ったので、せっかくなのでLinux上でやろうではないか。 でもWindowsをメインに作業しているので、いちいち変えるわけにもいかない。以前WubiでUbuntuを入れてみたわけなのだけれども、あまり手をつけていな…

ほとんどC言語ネタなわけだが、C++0xの9月分のドラフトまでもう少しだと思うので、それまでつなぎを書いておく。 #include <boost/type_traits/is_same.hpp> #include <boost/static_assert.hpp> typedef int* DtoI(double); typedef DtoI* V10[10]; typedef V10* f(char); typedef int* (*(*g(char))[10])(double); B</boost/static_assert.hpp></boost/type_traits/is_same.hpp>…

組み込みなんかでは、今でもRS-232Cを使う機会がある。 Boost.Asioではシリアルポートに対応しているようだ。単にネットワーク用のライブラリでは終わらないらしい。 ファイルもサポートするようだけれども、filesystemとの関係はどうなるんだろう。 http://…

http://codezine.jp/article/detail/2971 Bjarne Stroustrup氏のインタビューが公開された。 プロ意識(Professionalism)というのは、責任と能力らしい。失敗が許されない分野のソフトウェアには、何らかの基準を設けて審査することも必要なのかもしれない。 …

C++の文字列処理は、何かと評判が悪い。 template <class charT, class traits = char_traits<charT>, class Allocator = allocator<charT> > class basic_string; typedef basic_string<char> string; typedef basic_string<wchar_t> wstring; 批判はいろいろあるようだが、まず文字列を操作する関数が少ないことだ。文字列を文字</wchar_t></char></chart></class>…

noncopyableはコピーや代入を禁止するために使われる。C++0xにはこういう動作を禁止するための専用の構文（=delete）が存在する。 そういえば、noncopyableっていうスペルは本当に合っているのかという議論を見た記憶がある。 辞書に載っていないのが困った…

標準GUIとまではいかなくても、C++で書かれた近代的な設計のGUIライブラリが欲しい。 wxWidgetsはとても実用的だけれども、設計が古くてAPIをいじるのと同じ気分になってくる。Notusの設計はよかったけれども、企画倒れしてしまった。 最近のツールは華やか…

Unicodeサポートのためのchar16_tとchar32_tは、C++0xで予約語になるようだ。 C99に合わせるために取り入れられるint32_tなんかは、名前が似ているがstd名前空間に入っている。 おそらく新しいプリミティブ型だからだろうと思う。

統一された関数宣言構文というものがある。 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2582.html template <class T, class U> [] mul(T x, U y) -> decltype(x * y) { return x * y; } うーむ、気持ち悪い。 class A { template <class T> [] operator[](T x) -> decl</class></class>…

%access_modifer ;宣言を追加。C#ジェネレータでParser/ISemanticAction/Tokenにアクセス限定子を付加します。 こう書いてあるのだけれども、実際に指定するとbad directiveだといわれる。 どうやらスペルが間違っているようだ。 %access_modifier internal;

人は胎児の間に、人類までの進化を早送りしたような成長をすると聞いたことがある。 考えてみると、その後勉強を始めてそれがだんだん難しくなっていくことも、人間が少しずつ学問を発展させてきたことと似通っているではないか。 現代では、人の一生は人類…

Googleがブラウザを公開した。 Chrome ブラウザ IEの独占時代から比べれば、ずいぶんと状況が変わったものだ。私はFirefoxを使っているが、選択肢が増えることは標準への意識が高まってよいと思う。こうやって少しずつ切り崩していくしかないのだろう。

volatileは主に組み込みで使われる機能で、constと同じ場所に置けるのでcv-qualifierとまとめて呼ばれる。コンパイラによる読み出しの最適化を抑制する効果がある。 さて、「constを指すポインタ」と「constなポインタ」があるように、「volatileを指すポイ…