Q&A
回答ありがとうございます。
なるほど、とりあえずいったん typename 以下を放っておいて処理する段階で同じ形とみなされエラーになるということですか。分かった気がします。
two-phase name look up も（聞いたことあるレベルで）理解していないので、また勉強します。
やはり理解しようとすればしっかり文法を学んでいくことが大切ですね。
C++ 初心者です。
先日、 SFINAE という仕様があると言うことを耳にしました。
面白がっていろいろと試していたのですが、途中で疑問に当たりました。
まず SFINAE について確認させてください。
私は、「テンプレートを型に置き換えるときに文法上のエラーがあった場合は、それをオーバーロード候補から外し（エラーとせず）続行」だと認識しています。
ここで型に置き換えるときのエラーとは、単純には例えば std::enable_if<false>::type などと言う型はない、のようなものだと思っています。
もし誤解があれば、お教えください。
ここで次のようなコードについて考えます。
Code 1:
C++
1extern void* enabler; 2template <typename T, typename std::enable_if<std::is_same<T, int>::value>::type*& = enabler> 3void foo(T) {} 4template <typename T, typename std::enable_if<std::is_same<T, long>::value>::type*& = enabler> 5void foo(T) {}
いわゆる enabler を使うコードです。
上のコードは T が int か long かによって正しく呼び分けられますよね。これは理解できました。
ところが
Code 2:
C++
1template <typename T, typename = typename std::enable_if<std::is_same<T, int>::value>::type> 2void foo(T) {} 3template <typename T, typename = typename std::enable_if<std::is_same<T, long>::value>::type> 4void foo(T) {}
このようにするとコンパイラに怒られます。
しかしこのコードは T が int のとき、std::enable_if<std::is_same<int, long>::value>::type が存在しないので、下側の関数がオーバーロード候補から外されるのではと思うのですが、どういうことなのでしょうか。
コンパイラのエラーは
error: template parameter redefines default argument template <typename T, typename = typename std::enable_if<std::is_same<T, long>::value>::type>
です（Clang 3.7.1）。
読む限りではきっとシグネチャ？が同じなのでオーバーロードできないということなのでしょうが、そうだと言うのなら enabler を用いた例が通るのが逆に不思議に思えてしまいます。
長くなりましたが、要するにお聞きしたいことは Code 1 が 許されて、 Code 2 が許されない理由です。
###補足情報(言語/FW/ツール等のバージョンなど)
Clang (3.7.1), C++14
回答2件
0
ベストアンサー
こんにちは。
「テンプレートを型に置き換えるときに文法上のエラーがあった場合は、それをオーバーロード候補から外し（エラーとせず）続行」
上記の通りに解釈すれば良さそうです。
Code 1の第２パラメータは「非型」パラメータです。void*&型(enable_if<true>時)か、型でさえ無い何か(enable_if<false>時)になります。
enable_if<>というクラス・テンプレートを型に置き換える時、falseだったら「型でさえ無い何か」になり、それは文法エラーになりますので、無かったことになります。
code 2は、単にtemplate<typename T, typename> void foo(T) {}を２つ並べたものですので、同じものを２つ定義したことになります。（デフォルト・パラメータより先に型が評価されるようです。）
ここが参考になります。（この江添氏のサイトは本当に有用です。ありがたや、ありがたや。）
なお、clangの場合、同じものの宣言にデフォルト引数を２回以上書くと、template parameter redefines default argumentのエラーになるそうなので、そこでエラーになっているようです。
【追記】
そうそう、enablerについては、std::enable_ifを使ってオーバーロードする時、enablerを使う？も面白いです。
なんと、yumetodoさんがコメントされてますね。彼が江添氏へ確認したところ「いいのではないか。しかし、そろそろこういうことはコンセプトでやりたい。」って返事が返っているようですが、conceptの採用は延期されてしまいました。orz
投稿2016/04/12 14:23
編集2016/04/12 14:30
総合スコア23272
0
デフォルト引数に指定したものが違ったとしてもシグネチャがおなじになるということだと思うんだけど、規格書でtypenameとオーバーロード周りどうなってたかな・・・。
追記
いやそうじゃないな。two-phase name look up 絡みだな。多分、typename std::enable_if</*略*/>::typeを見る時、先頭のtypename から何らかの型なんだなと評価し
typename = typename /*略*/と認識する。でそうなるとシグネチャがどっちも同じと認識する、みたいな感じだと思う。ただtwo-phase name look upをざっと調べた感じどっちもdependent nameだと思うんだけど・・・あれ・・・？
推測なのでちょっと後で調べます。
追記2
デフォルト・パラメータより先に型が評価されるようです。
それだ！。さて問題はこれ、規格書のどこに該当するかだな。
というかそのサイト私も何回も見てるはずなのになんで思い出せなかったかなぁ・・・。
追記3
コメントでもあるように確かにN4296やN4567には
A template-parameter shall not be given default arguments by two different declarations in the same scope.
[ Example:
cpp
1template<class T = int> class X; 2template<class T = int> class X { /... / }; // error
—end example ]
という記載がありますね。
投稿2016/04/12 14:06
編集2016/04/13 17:14
総合スコア5852
いや、どっちもdependent nameのはずだからtwo-phase name look up先生は関係なさそう(多分)、いずれにせよ規格書をもう一回読まねば・・・
>>デフォルト・パラメータより先に型が評価されるようです。
>それだ！。さて問題はこれ、規格書のどこに該当するかだな。
ですね。江添氏もサラッとスルーしているし．．．
いっそask.fmで江添氏に直接凸するか・・・
"先に評価"というより http://stackoverflow.com/questions/14197436/c11-template-parameter-redefines-default-argument で回答されているC++11 [temp.param]/12が直接根拠では？
`template<typename T, typename X>`の形で、Xにデフォルトテンプレート引数を渡す異なる関数テンプレート宣言が存在するため（型パラメータXに与えるデフォルト型が異なっていますが、そもそも前述項目に反しています）。
結局はオーバーロードしたつもりが同じ宣言になっちゃってるということですね。
うわ、ホントだ。どうもです
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。
2016/04/12 14:37
2016/04/12 15:05
2016/04/12 15:38
2016/04/12 15:49
2016/04/12 15:55
2016/04/12 16:03
2016/04/12 17:46
2016/04/13 10:35
2016/04/13 10:37
2016/04/13 15:22
2016/04/13 15:39 編集
2016/04/13 16:16
2016/04/13 17:09 編集
2016/04/14 12:53
2016/07/29 18:31