odr-useにふれたよ！

🌸桜花🌸 @rofi

じゃなくてですね、わからないことが起こったので出てきたのですよ、はい　　　C++erはおらぬのかっ！！（

🌸桜花🌸 @rofi

http://t.co/uWCGOxzj 　　このコードがMacのclangさんで通らないのですよ…　　ldにおいてA::thのシンボルがないって言われる・・・

にゃははー仙人 @Flast_RO

@rofi 19行目で_1 >= thって使ってますけどこれがord-useに触れるのでthの実体が必要になります

にゃははー仙人 @Flast_RO

@rofi コンパイル時に解決できる場合は問題ないですが、この場合Boost.Lambdaのoperator<=がthへの参照を行うので実体が必要になってしまうんですね

🌸桜花🌸 @rofi

@Flast_RO ord-useとは…　　んーっと、const staticで定義してあるので実体はあると思うのですが、これはダメなのですか…？　gccではビルドが通る点がなおさらよくわからなくて…

にゃははー仙人 @Flast_RO

@rofi んーgccが古いんだと思います手元の環境(4.6.3)ではリンクエラーですね　static const int th = 100; はあくまで宣言なので、const int A::th;を何処かに書かないといけないです

🌸桜花🌸 @rofi

@Flast_RO const static int th = 100; って宣言であって実体はないのですか？　　staticでconstならこれで実体も宣言されるものだと思ってたのですけど違うのですか…

にゃははー仙人 @Flast_RO

@rofi yes クラス内のメンバ変数は全て宣言です　static constなintegral typeが初期化できるように見えるのはそれがconstant expressionとなるのでconstant expression中で参照する分には実体がいらないですが、（続

にゃははー仙人 @Flast_RO

@rofi もし参照をとるようなことを行うと、参照なので何か実体がないといけなくなってしまうので実体化を何処かで行わないといけないです。

🌸桜花🌸 @rofi

@Flast_RO でもboost::lambdaって実体ない定数値って引数に取ることができましたよね？　　そうなるとstatic constなメンバ変数も同じように定数値と同じく引数に取れてもおかしくはないと思うのですが、それは無理なのでしょうか…

にゃははー仙人 @Flast_RO

@rofi それって_1 >= 0とかのことですかね

🌸桜花🌸 @rofi

@Flast_RO ですです　　それと結果的には一緒（定数値直打ちじゃなくstatic constなのはスコープ持った名前で書きたいだけ）なので、それと等価に扱ってくれないのかなぁ〜と

にゃははー仙人 @Flast_RO

@rofi _1>=0の場合は0がprvalueなので一時オブジェクトを生成してconst lvalue-refへ束縛できますが、const int thはlvalueなので一時オブジェクトの生成は行われずそのまま束縛をしようとします　なので参照するために実体が必要です

にゃははー仙人 @Flast_RO

@rofi 例えばC++11モードでstatic const intなメンバ変数をconst int &&へ束縛しようとするとエラーになるのが解ると思います。一方0をconst int &&へ束縛することはできます

pepshiso @pepshiso

@rofi _1 >= th を _1 >= int(th) にすると良いです。キャストのところでlvalue-to-rvalue conversionされて、th が odr-used でなくなるので……。