Slide 33
Slide 33 text
is_swappable_with
is_swappable_with
usingstd::swap
usingstd::swapされたという条件下かつ、
されたという条件下かつ、
未評価な⽂脈で
未評価な⽂脈で
swap(declval(),declval())
swap(declval(),declval())と
と
swap(declval(),declval())
swap(declval(),declval())が
が
ともにwell-formedな式となるかを判定する。
ともにwell-formedな式となるかを判定する。
Preconditions
型TとUが、完全型であること。
もしくは(cv修飾された)voidか、要素数不明の配列型であること。