未定義動作の話と聞いて混ざりにきました。
@Cryolite 現状の規格では * 演算子の結果が有効なポインタについてしか規定されていないので、現状は未定義動作という結論になるかと思います。（ヌルポインタniの場合の動作について処理系に対してなんの制約も無い）
明記が無いことも含めて規格の不備であるのは CWG #232 のとおり間違いないと思います。
this != nullptr を前提とした最適化がすでにいくつかのコンパイラで行われているので、非 static なメンバ関数呼び出しはメンバアクセスと同様に未定義のままとなるべきだろうと思ってます。ここらへん、修正案では抜けてる感じ。
2005 年の Note を最後に CWG #232 の進展が無いのはおかしいだろうと思うので std-discussion に投げて話を進めたほうがいいと思うんですけど、そんなつもりは無いですか？（このチャットルームで規格文面の話をするのもどうかと思うので・・・。）
これってwell-defined or UBどっちかわかる方いますか？
（単純にPDF開くのだるいとも言う
Type Erasureってむつかしいですね。
https://gist.github.com/marionette-of-u/7daa71220358746dc634
https://gist.github.com/marionette-of-u/7daa71220358746dc634
void pointerからbase-derivedの型消去に書き直したいけどエンバグしそうで怖い
はい。それもあります。現状ではtemplate関数を噛ませることで前方宣言を回避してラップしてますが、利便性に欠けます。
あとここのクラスにあるワーキングエリアがvoid*なので、できれば継承関係を使うTypeErasureの方がC++としてベターかなと。
https://gist.github.com/marionette-of-u/7daa71220358746dc634#file-tasklist-hpp-L50
あとここのクラスにあるワーキングエリアがvoid*なので、できれば継承関係を使うTypeErasureの方がC++としてベターかなと。
https://gist.github.com/marionette-of-u/7daa71220358746dc634#file-tasklist-hpp-L50
iya,
使いどころがない！
実はC++03の時代にboostとvirtual tableが嫌いで書いたものをC++>=11に移植したものです
なるほど
update内でnestした型のupdateを呼び出すんですね
コンパイラはそれを別の型と認識するので最適化で展開されることが期待できる
Wandbox でポチポチしてみたところ clang3.0 の頃から警告無しで
std::array から std::tuple に入る
libc++、確かに配列のための特殊化がありますねぇ… http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/__tuple?revision=246408&view=markup#l114
@nyaocat この動作についての質問と解答が本家の ML アーカイブで見つかりました。
http://lists.llvm.org/pipermail/cfe-commits/Week-of-Mon-20140929/115709.html
2014/10/01 時点で "This extension has not been proposed for standardization." だそうです。
拡張ということですけど、デフォルトで有効になってるとけっこう知らずに依存しちゃいそうな気がします。
http://lists.llvm.org/pipermail/cfe-commits/Week-of-Mon-20140929/115709.html
2014/10/01 時点で "This extension has not been proposed for standardization." だそうです。
拡張ということですけど、デフォルトで有効になってるとけっこう知らずに依存しちゃいそうな気がします。
警告オプションつけても警告でないし、うっかり依存したコード書いてしまう危険性はありそうですねぇ