- 811 名前：デフォルトの名無しさん mailto:sage [2008/02/10(日) 17:21:37 ]
- >>809
参照型のメンバを持つ pair/tuple における代入や swap の semantics がどうなるかは
従来から散々議論されているのは承知しています．
結論が出ているかどうかは知らないのですが．
ただ，自分は forwarding などの局面で参照型メンバを持つ pair/ tuple を使うこと
想定してそういうものは自然に扱いたいという趣旨で発言しました．
誤解があるとあれなので補足しておきたいのですが，
tuple<T1,...> はあらゆる型 T1, ... に対して代入や swap が
well-defined である必要はなく， T1, ... に対してどういう操作が行えるかによって
tuple<T1,...> に対して行える操作が限定される場面があっても構わないと思っています．
そうしたときに，たとえば T1,... の一部またはすべてが参照型であるとき，
tuple<T1,...> に対して値としての代入や swap を well-defined な形で提供するのは難しいですが，
たとえば construction などは依然 well-defined に定義できますから，
construction などしか行えない tuple を提供することはできます．
で，そのような制限のかかった tuple でも forwarding などには十分使えますので
それを自然に扱いたいという motivation は排除してほしくないです．
|
 |
