0x35の日記

奇妙で怖いC++

2010年の7月頃に納涼！　プログラミング怪談大会！というのをやってみたみたいで、もう結構前の事だがまとめを見て一人でうおおとなってますた。

取りあえずまずADL。function arguments typeによってcallするfunctionを探索するというのは分かってたが

• http://ideone.com/pLK0g

template argumentsにfunction typeを渡すとそれのargumentまでassociated namespaceになるんだとか。template argumentsに渡した全てを把握しきってしまうという….。

template argument が関数の型の場合、その引数の型の名前空間もassociated namespaceになるってことかなこれ… http://ideone.com/pLK0g

— でちまるさん（実際かわいい）さん (@decimalbloat) 7月 3, 2010

ゾクゾクするなぁ…。ただし

3.4.2 読んでも基底クラスがtemplate-idのときにそのtemplate argumentsに関するnamespacesがassociated namespacesになるようには読めないのだけれど #proghost

— 梶本裕介さん (@uskz) 7月 3, 2010

念のためComeau C++で試したところやはり最初のやつのfは弾かれた。やっぱGCCのバグっぽい。C++コンパイラのバグに遭遇するのはこれでいったい何度目だろう。 #proghost

— 梶本裕介さん (@uskz) 7月 3, 2010

多分http://ideone.com/C8XnYのxxx::fの事で継承先のtemplate argumentsの関数型内のパラメータでxxx::aaaとしているがそこまではassociated namespacesには入らないということ….なのかな…。なるほどわからん。

次にこんなの。

switch(2) { case 1,2,3: puts(“1 or 2 or 3”); default: puts(“others”); } このコードを Borland C++ でコンパイルおよび実行するとその出力結果は “others” となります。 #proghost

— 道化師HDさん (@wraith13) 7月 3, 2010

あ、break; が抜けてた。ちなみに switch(3) だと “1 or 2 or 3” が出力されます。これはどういう事かと言うと case 1, 2, 3: がどうもカンマ演算子によって case 3: のように解決されてしまっているものと思われます。 #proghost

— 道化師HDさん (@wraith13) 7月 3, 2010

そうなんだ…手元にBorland無いのでアレですが。怖い。

GCCはstd::vector<int> v; for (int i = 0; i < v.size(); ++i)みたいなsignedとunsignedの比較で警告出してくれないので怖い #proghost

— Faith and Braveさん (@cpp_akira) 7月 3, 2010

そうですな… -Wallオプションつければ警告吐いてくれるようにはなりますが、標準でするべき。

次。

• http://codepad.org/OT1Fny8m

え。4.1.2がｗ まぁ最新だと1と出力されます。次。

• http://ideone.com/EmXrO

これは何も出力されない。僕は何分か考えて理解できた。多分あってると思うので一応解説。まず11行目。これはコンストラクタを呼び出しているように見えるがそうではなくHoge型が戻り値のパラメータ無しローカル関数プロトタイプ宣言という意味になる。これは普通に理解できる。理解に時間がかかったのは12行目。これもコピーコンストラクタが呼び出されるようにも思える。lvalueに対してconst&で受け取ることも可能だ。しかし出力はされない。

h2 はなぜ出力無いのか分からない…。んん…？ RT: @melponn: 以前の奴をネタとしてタグ付けておこう http://ideone.com/EmXrO #proghost

— RiSKさん (@sscrisk) 6月 14, 2010

どうなってるのかというと結論からいうとこれも関数宣言とみなされてしまうということ。Hoge型が戻り値の関数宣言となる。でlvalueを渡しているかのように見える部分はそうではなく、Hoge型が戻り値のパラメータ無しの識別子のない抽象宣言子となる。つまり12行目の

Hoge h2(Hoge());

は

Hoge h2(Hoge(*)());

と同じということになる。….のだと思う。そう考えた。あってるのかどうかアレだけどこうとしか僕は思いつきませんでした。

• http://codepad.org/yYaZIeTH

これは…リンクとかの関係だろうと。

….と色々面白かった。

最後にちょっと巡回してADLに関して取り上げている分かりやすい/おもしろいページをば。

• ADL簡単解説:http://d.hatena.ne.jp/faith_and_brave/20071219/1198055224
• using-directive/declarationによるADL回避の整理:http://d.hatena.ne.jp/uskz/20060712/p1
• n2930:Range-based for loopについて:http://cpplover.blogspot.jp/2009/08/n2930-range-based-for-loop.html

一番上が分かりやすく解説されているサイト。二つ目がusing namespace~、usingを用いてADLを回避し意図しない動作をさせる前にエラーを出させるまとめ。最後がRange base forのADLによって起こるC++03との互換性問題とこれからも起こりうるassociated namespaceに入ることによる問題を解説してくださっている。

後ADLをまとめた感じのコード。これなら誰でもわかる気がする。

#include<cstdio>
namespace aho{
	struct X{};

	template<class T>
	void call(T&){std::puts("UHO!");}
};

namespace Foo{
	template<class T>
	struct foo{};
}

int main()
{
	{
		Foo::foo<aho::X> x;
		call(x);
	}
	{
		Foo::foo<void(aho::X)> x;
		call(x);
	}
	{
		aho::X x;
		call(x);
	}
}

C++怖い。というか皆さん凄すぎて怖い

#追記

@uskzさんが言っていた、なるほどわからんだった件について。書いて検討してみた。

#include<iostream>
 
namespace ns{
        struct hoge{};
        template<class T>
        void f(T&){std::cout<<"ns::f()"<<std::endl;}
}
namespace ns1{
        template<class T>
        struct hoge1{};
        template<class T>
        void f1(T&){std::cout<<"ns1::f1()"<<std::endl;}
}
namespace ns2{
        struct hoge2:ns1::hoge1<void(ns::hoge (*)())>{};
        template<class T>
        void f2(T&){std::cout<<"ns2::f2()"<<std::endl;}
}
namespace ns3{
        template<class T>
        struct hoge3{};
}
 
int main()
{
        ns3::hoge3<ns2::hoge2> a;
        //f(a); // ns is not associated namespace
        f1(a); // ns1 is associated namespace
        f2(a); // ns2 is associated namespace
}

http://ideone.com/vBLjA

書いた結果を見てみる限りは上記に書いてある認識でよさげ。

コードの下にあるnote内英文の単語とかのexpressionがあっているかは知らない（ attainとかってこうやって使う単語なのだろうか。

適当なC++コードジェネレータ

を作った。睡眠コーディングで作ったのでもうなんか色々コードがあれなのだが。単に引数にとったものをコードの断片に入れ込んでそれをファイルに作るだけ。といってもちょくちょくある確認コードやサンプルコードなどを書いたりするとき、やはり何度も同じことを書いたりして面倒くさい。なのでということで。

しかしこれコードが本当酷い。

具体的な使い方や動いてるのはこちらを見てください。

….それにしても眠すぎて死にそうだ。

emplace系統のinserterとか

emplace_back_inserterとかあるだろうなーとか思ってたら無かったので作った。こんな感じに普通に。

#include<miko/rall_cout.hpp>
#include<miko/iterator.hpp>
#include<memory>
#include<functional>
#include<algorithm>
#include<vector>
#include<list>
#include<array>
#include<string>

int main()
{
	std::array<std::string,4> strings{"hoge","aho","foo","uho"};
	std::list<std::string> li;
	std::copy(std::begin(strings),std::end(strings),
			miko::emplace_front_inserter(li));
	miko::rall_cout<<li; // "uho","foo","aho","hoge"
	

	std::vector<size_t> v;
	std::transform(std::begin(strings),std::end(strings),
			miko::emplace_back_inserter(v),
			std::mem_fn(&std::string::length));
	miko::rall_cout<<v; // 3,3,3,4

	
	std::vector<std::string> m;
	for(auto i:strings)
		miko::emplace_inserter(m,m.end())=i;
	miko::rall_cout<<m; // "hoge","aho","foo","uho"
}

しかしgccのコンテナあたりを見てみたらC++0xオプション付いてたらpush_backだろうがなんだろうか内部的にはemplace_backしてるのとかあってちょっと…と思った。 後gcc4.6.1ではsetやらあたりにemplaceがまだ無いのか？ vectorにはあったが。….なんという。とにかく4.7にしよう。