非constexpr文脈内でconstexpr関数をコンパイル時評価したような気分になる方法
どうやら本日学生生活最終日らしいです。不思議
std::cout<<log(42);
このような場合logがconstexpr関数であってもコンパイル時に評価されない
constexpr関数はconstexprな文脈でのみ呼び出されからだ。上記はconstexpr文脈ではない
よってlogをコンパイル時に評価したい場合constexprな文脈で呼び出す必要がある
例えば以下の通りだ
constexpr auto a=log(42);//コンパイル時に処理される std::cout<<a;
このプログラムは以下と同等に動くことが期待される
std::cout<<3.73767;
しかしこれはだるい。なのでこんなマクロを作ってみた
#define MACRO(expr) ([]{constexpr auto a=(expr);return a;}())
これを使うとconstexpr呼び出ししたような気分になれる。気分?気分
以下のようになるはずだ
std::cout<<MACRO(log(42));
↓
std::cout<<[]{constexpr auto a=log(42);return a;}();
std::cout<<[]{return 3.73767;}();
最後は関数がinline展開されて
std::cout<<3.73767;
となるはずだ。コンパイラの最適化が十分に働いてくれれば
[Wandbox]三へ( へ՞ਊ ՞)へ ハッハッ
この場合だとマクロを使わずベタに書いている場合0.75秒かかっているのに対し
マクロ版は0.09秒で計算を終えている
ただし、コンパイラ最適化を強くした場合
[Wandbox]三へ( へ՞ਊ ՞)へ ハッハッ
両者ほとんど変わらない数値を出している。人生大体コンパイラがどうにかしてくれる。コンパイラに母性を求める日も近い
C++コードを投げるとアセンブラを投げ返すハイテックなオンラインサービス
最近聞いたいい話
Compiler Explorer
タイトルの通りC++のコードを打ち込むとアセンブラで返してくれる
ちなみにそのままC++11/14なコードを打ってもコンパイルエラーとなる
コンパイラオプションは適当に[Wandbox]三へ( へ՞ਊ ՞)へ ハッハッとかから必要そうなところを切り抜いてもってこよう
ところでこういうサービスもオンラインコンパイラと呼んでいいのだろうか
例
- std=gnu++1y -O2 -march=native
@Fuyutsubaki http://t.co/F4iRJPPev9 こういうのがありますよ。
— yoh (@yohhoy) 2015, 3月 2
yoh on Twitter: "@Fuyutsubaki http://t.co/F4iRJPPev9 こういうのがありますよ。"
神と腹痛と科学
諸君お気づきであろうか?神や真理というのは病める時も健やかな時も我々の理と無関係に在るのである
先日腹痛に見舞われた。正露丸の瓶は空であった
幸い自宅であったため好きなだけトイレの住人と化すことはできたのだが、私は襲い来る痛みの波をただただ耐えるほかなかったのである
腹痛というのは内臓痛であり、外傷などによって引き起こされる痛みとはプロセスが異なる。格闘家でも腹痛は耐え難い痛みであると聞く。つまりとても痛い
正露丸はない。科学は私を見放した
私は腹部を出来る限り温め、チャント*1を唱え、神に祈った
するとだんだんと腹痛が引いていくではないか
私は精神を持ち直た。神のことは忘れた
これでも私は一応科学を修めた人間である。ゆえに似非科学というのは鼻で笑うような対象であると考えている
しかし、もしも腹痛下、トイレにたまたま「おなかに効くお地蔵」がいたらどうしただろうか
多分拝んだと思う。拝み倒したと思う。現に神に祈ったし
今回は腹痛であったが、これがもし癌であったら私はどうしたであろうか
療法(正露丸)は尽きた。そしてがんが治る水なる怪しげなものを売りつける輩が来た
恐らく私はその水をがぶ飲みするだろう。私は腹痛で神に祈る人間である。私はその似非科学を使うだろう。普段であれば鼻で笑ったその水を
そんな時も神や科学と言ったものは、私とは無関係に在る
病める時は科学を忘れ神に祈り、健やかな時は神を忘れ科学を信じ。
もしかすると、そんな私を神や科学はどこかで見下ろしているかもしれない。それはさすがに自意識過剰か
私という人間は痛いだ熱いだ苦しいだで真理というものを容易に失うが、それでも科学や神は在って
私という人間は病める時の言うことはあてにならず、ゆえに健やかな時も言うことはあてにならず、私という人間と無関係に神や科学はあるのです
当たり前のようであたりまえな話
*1:イタイノイタイノトンデイケ
constexpr で テンプレートメタプログラミング
この記事はC++ AdventCalendar2014 6日目の記事になります
祝C++14!!祝C++14!!祝C++14!!祝C++14!!
C++14においてconstexprの大幅な規制緩和が制定された
これによりconstexprにおいてforなどループ文の記述が可能になった
一方そのころTMPは
残念ながらテンプレート用for文が入ることはなかった
しかしTMPはfor文を必要としている。forは力だ。力はいい。持ちすぎて困ることはない
そしてTMPにかなり近いところにいるconstexprは今、for文を持っている。これを利用しない手はない
constexprを用いたフィルターメタ関数の実装
template<class tList,template<class>class Pred> struct filter { static const std::size_t N=tList::size; template<std::size_t...Idxs> static constexpr sprout::pair<std::size_t,sprout::array<std::size_t ,N>> impl(std::index_sequence<Idxs...>) { sprout::array<bool ,N> v{{(Pred<at<tList,Idxs>>{}())...}}; sprout::array<std::size_t ,N>idx{{Idxs...}}; std::size_t k=0; for(std::size_t i=0;i<N;++i) { if(v[idx[i]]) { idx[k]=idx[i]; ++k; } } return {k,idx}; } static constexpr auto res=impl(std::make_index_sequence<N>{}); template<std::size_t...Idxs> static constexpr List<at<tList,res.second[Idxs]>...> impl2(std::index_sequence<Idxs...>){return {};} using type=decltype(impl2(std::make_index_sequence<res.first>{})); };
Impl は必要な型のインデックス配列とその長さを返す
impl2は結果の長さと同じ長さのindex_sequence→残す型のインデックス→残す型に変換していきタイプリストにする
結果、タイプリストと評価用メタ関数を受け取り、タイプリストを返すメタ関数を作ることができた
せっかくだからバブルソートも書いてみた
[Wandbox]三へ( へ՞ਊ ՞)へ ハッハッ
比較するときにis_base_ofを使うような場合は使えないが実用上問題はないだろう*1
型安全printfなど構文解析が必要な所作もconstexprを用いて実装可能だ*2
このようにconstexprを使い頭皮に優しい、もしかしたらコンパイラにも優しいTMPが可能になる
まとめ
このように今まで型を必要としていた分野、今までゴリゴリとTMPしていた分野でもconstexprを用いることができる。やるやらない出来る出来ないは別としてゴリゴリと型を用いるプログラミングをする際は頭の片隅に入れておくべきである
なおこれらのコードはClangでしか動かない
各コンパイラ、とくにMS社の蒼いコンパイラには頑張ってもらいたい
C++ Advent Calendar 2014 - Qiita
明日はh_hiro_ さんです
よろしくお願いします
おまけ。
値と型、そして未来
2014年現在 型安全printfは実用上マクロ(SPROUT_TYPES_STRING_TYPEDEFなど)に頼る必要がある
printf(MACRO("%d%d%d"),a,b,c)
値を型に用意に変換する構文がないのだ。マクロを使わない場合ラムダ式内で構造体を作って云々
[]{struct hoge{constexpr auto operator()(){return "%d%d%d";}};return hoge{};}()
もしくは
mpl_string<'%','d','%','d','%','d'>{}
非常に残念な感じだ
残念な感じなので未来に願いを託そう
まず文字列ユーザー定義リテラル
すごいユーザ定義リテラルたのしく遊ぼう - ボレロ村上 - ENiyGmaA Code
の一番下に載っているヤツだ
これはmpl_stringの構築を容易にする構文だ
mpl_stringからconstexprな文字列に変換するのは容易なのでコレがあれば型printfつらい問題は解決する
もう一つの可能性はラムダ式だ。ラムダ式がデフォルトコンストラクタを持ち、constexprになれば、つまり
[]{return "%d%d%d";}
が
struct _ { constexpr auto operator()()const{return "%d%d%d";} }
を生成するようになれば,ラムダ式はintegral_constant的な関数とみなせるようになる
[Wandbox]三へ( へ՞ਊ ՞)へ ハッハッ
なぜラムダ式がconstexprではないかというと
本の虫: もしlambda式がconstexprだったら
という経緯があるためである
逆にいうとコンセプトが入った段階でラムダ式がconstexpr化する可能性も無きにしも非ず、かもしれない
デジゲー博で頒布したはるはあけぼのの不具合について
デジゲー博で頒布したゲームにいくつか不具合が見つかりました
申し訳ありません
お手数ですが以下のファイルの中身をすべてゲームのフォルダにコピーしてください。同じ名前のものは置き換えてください。
https://www.dropbox.com/sh/p7foxjuvncedu8p/AAAi6brXT5eeWW5ql0Xi67Hka?dl=0
本日(11/16)開催のデジゲー博に参加します。C-02a TXT.TXTです。
ゲームが出来たてほやほやなので取り急ぎ告知と宣伝
自爆しちゃう系STG「はるはあけぼの、我は弾丸」を頒布します
C-02a です
■おはなし
およそ50年ほど前、地球温暖化対策として植林したバイオ植物が思いのほか育ちすぎてしまいました
元気な植物たちは盛んに求愛します。花粉被害が凄まじいです
時の大国は安価で小さな機械を量産し花粉を駆除することにしました
その、安価で小さな機械があなたです
さあ死にましょう。お仕事です
■操作説明
[矢印キー] :移動 /移動します
[zキー] :ショット /弾を撃ちます
[xキー] :自爆 /押すと自爆準備に入ります。ボタンを離すか一定時間経つと自爆します
[cキー] :母艦移動 /復帰時の開始地点を移動します
標準ライブラリに重複した型を取り除くuniqueifyが入るかもしれないっていうからuniqueの実装について
本の虫: 2014-10-pre-Urbanaのレビュー: N4142-N4149
曰く重複した型を取り除くuniqueify が追加されるかもらしい
そこで実装の話
俺俺ライブラリOTMPよりunique
uniqueはタイプリストを受け取り重複した型を取り除き返す
unique_t<List<char,int,long,int>>;//List<char,int,long>
この処理は「二つのユニークなリストL Rを受け取り、RからLの中に含まれているものを除いたリストをLの結合させ返す」メタ関数unique_concatと2分割統治するfoldがあれば実装できる
template<class L,class R> unique_concat=concat<L, remove_if< R, rcarry<lift<is_in>,to_set<L>> >> fold<map<List,self<List>>,unique_concat>
unique_concatのイメージ
(char,int,long),(long,char,void)
(char,int,long),(void)
(char,int,long,void)
畳み込みのイメージ
(char,int,lomg,int,long,char,void)
こーして(map< List,self< List>>)
( (char),(int),(lomg),(int),(long),(char),(void))
foldで二分木にして処理して
[[[(char),(int)],[(long),(int)]],[(long),(char),(void)]]
unique_concatで畳み込んでいく
[[(char,int),(lomg,int)],[(long,char),(void)]]
[(char,int,long),(long,char,void)]
[(char,int,long,void)]
unique_concatについてはis_inで検索しやすいように集合に直しておくと良い(to_set< L>)
O(1)で要素を探すことができるのでO(n^2)だったunique_concatがO(N)になる
集合に実装については要素をすべてwrapして多重継承
検索時にはis_base_ofすればいいだろう
/*こんなイメージ。実際は同じ型があった時対策でもうちょっと色々ある*/ template<class...T> struct set:wrap<T>...{};