C++相談室 part78 - 暇つぶし2ch

C++相談室 part78 at TECH

910:デフォルトの名無しさん
10/03/14 23:18:09
>>905
まず、has_swap<T>はどんな型にも適合するのでhas_swap<hoge>の実体化が行われる。

コンパイラはhas_swap<hoge>の基底クラスとして、has_swap_impl<hoge, void>を実体化しようとする。
なお、has_swap_implの第2テンプレート引数は省略されているのでデフォルトのvoidが使われる。

has_swap_impl<hoge, void>を実体化しようとした際に、
コンパイラはまず、より特殊化されたバージョンである
14行目のバージョンに適合するかのチェックを行う。
ここで問題は、typename has_swap_helper<T, &T::swap>::type が void と一致するかどうか。
・メンバ関数としてvoid T::swap(T&)が存在するならば、has_swap_helperのテンプレート引数が確定し、
　かつ4行目のテンプレートに適合するので、4行目のテンプレートが実体化され、voidになる。
　すると、has_swap_impl<hoge, void>は14行目のバージョンに適合する。
・void T::swap(T&)が存在しないならば、適合するhas_swap_helperは「存在しない」。
　通常の感覚ならばエラーになりそうだが、　SFINAEの規則によってエラーとはならず、
　単に14行目のバージョンが候補から除外される。
　コンパイラは次に9行目のバージョンの実体化を行おうとする。
　9行目は何でも適合するので、has_swap_impl<fuga, void>は9行目のバージョンに適合する。

あくまでもhas_swap_impl<hoge, void>がどれにマッチするかが問題なので、
たとえば6行目のtypedefをintに変えたりするとダメ
（その場合、9行目を class U = int にすればいい）

次ページ

続きを表示

1を表示