C++ の次はなんなんだ
余りにもネタが無いので、C++ ベースのプログラミング言語に欲しい機能を列挙。
プログラミング言語C++第3版 とか読んだ事無いので、既存のものがあっても勘弁。
interface
タイミングに依存しない事を示す const
struct と class の分別
virtual なコンストラクタ
プログラミング言語C++第3版 とか読んだ事無いので、既存のものがあっても勘弁。
interface
純粋仮想クラスだと virtual だから嫌。
virtual って言えば、最適化で勝手に virtual が解決される事を期待するなら、それを言語仕様で保証して欲しい。そうでなければ 非virtual を明示的に分別したい。
interface を使いたいのは特にテンプレートだけどね。
てな感じ。template 引数が int, typename, class しか無いのが辛い。特定のインターフェースを持ってる事が分ってるなら、それが明記できれば今の分りにくいコンパイルエラーはもっと明快になるし、インテリセンスも使えるようになる。
virtual って言えば、最適化で勝手に virtual が解決される事を期待するなら、それを言語仕様で保証して欲しい。そうでなければ 非virtual を明示的に分別したい。
interface を使いたいのは特にテンプレートだけどね。
interface IBar { /*プロトタイプの列挙*/ };
template< IBar BAR > class CFoo {};タイミングに依存しない事を示す const
名前はいいのが思いつかなかっただけで、const じゃなくていい。ていうか const は色んな意味を持ちすぎてて分りづらい。
関数って、内部でカウンタを持ってるものとか、デバイス関連とかみたいなタイミングに依存するものと、単純に計算して結果を返すだけのタイミングに一切依存しないものとあるでしょ。
だから最適化時に関数の呼び出し順序は保存される事になってる。
特に最近はオブジェクト指向だから、とことんパーツが分離されて効率が良くない。
極端な話、ポインタと同等なイテレータ(reverse_iteratorみたいの)が外部にあると、いちいち全部メンバ関数呼ばなきゃいけない上に順序が保存されて、それに依存した変数もみんな順序が決定されちゃって、ぜんぜん最適化できないなんて話にもなりかねない。普通イテレータは include するものだからちょっと例えが悪いけど、実際外部に置く事だって出来るわけだし。
あと、ソースコードが分ってる場合は、インライン展開した時に順序に依存しない事が分るからいいんだけど、全ソース include でプログラムを構成していたらコンパイル速度とかたまったものじゃないよね。
根本的な解決としては、オブジェクトファイルをもっと柔軟にすべき。プリコンパイル済みヘッダみたいな感じでパースだけした状態にして、いつでもインライン展開出来る状態になってれば万々歳。
関数って、内部でカウンタを持ってるものとか、デバイス関連とかみたいなタイミングに依存するものと、単純に計算して結果を返すだけのタイミングに一切依存しないものとあるでしょ。
だから最適化時に関数の呼び出し順序は保存される事になってる。
特に最近はオブジェクト指向だから、とことんパーツが分離されて効率が良くない。
極端な話、ポインタと同等なイテレータ(reverse_iteratorみたいの)が外部にあると、いちいち全部メンバ関数呼ばなきゃいけない上に順序が保存されて、それに依存した変数もみんな順序が決定されちゃって、ぜんぜん最適化できないなんて話にもなりかねない。普通イテレータは include するものだからちょっと例えが悪いけど、実際外部に置く事だって出来るわけだし。
あと、ソースコードが分ってる場合は、インライン展開した時に順序に依存しない事が分るからいいんだけど、全ソース include でプログラムを構成していたらコンパイル速度とかたまったものじゃないよね。
根本的な解決としては、オブジェクトファイルをもっと柔軟にすべき。プリコンパイル済みヘッダみたいな感じでパースだけした状態にして、いつでもインライン展開出来る状態になってれば万々歳。
struct と class の分別
struct は名前からしてただの構造体なんだから、クラスのサイズとか保証した方がいいと思う。メンバは 非virtual に限定すべき。明示的な virtual はあってもいいけど、サイズとか変わっちゃうから、それを許可する属性を作って、許可しない限り virtual はコンパイルエラーとか。
逆に class はデフォルトが virtual。非virtual にしたい場合は明示的に指示する。
逆に class はデフォルトが virtual。非virtual にしたい場合は明示的に指示する。
virtual なコンストラクタ
小細工で解決するのは嫌。言語側で持って欲しい。邪道だと思う人は virtual 付けずにコンストラクタ書けばいいんだし。
class base {
public:
virtual base() { foo(); }
virtual void foo() { ::std::cout << "base" << ::std::endl; }
};
class over : public base {
public:
virtual over() : base() {}
virtual void foo() { ::std::cout << "over" << ::std::endl; }
};
main() { over hoge; } // over を出力
