File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change 1804
1804
Shall not exit via an exception.\br
1805
1805
post: \tcode {Y(a) == b}, \tcode {a == X(b)} & \\ \rowsep
1806
1806
1807
- \tcode {X u(move(a));} \br
1808
- \tcode {X u = move(a);} &
1807
+ \tcode {X u(std:: move(a));} \br
1808
+ \tcode {X u = std:: move(a);} &
1809
1809
&
1810
1810
Shall not exit via an exception.\br
1811
1811
post: \tcode {a1} equals the prior value of \tcode {a}. & \\ \rowsep
1812
1812
1813
- \tcode {X u(move(b));} &
1813
+ \tcode {X u(std:: move(b));} &
1814
1814
&
1815
1815
Shall not exit via an exception.\br
1816
1816
post: \tcode {a} equals the prior value of \tcode {X(b)}. & \\ \rowsep
2421
2421
\tcode {A} is bound, the argument binds to an lvalue reference~(\ref {temp.deduct.call })
2422
2422
and thus is not covered by the previous sentence. \exitnote \enternote If a program casts
2423
2423
an lvalue to an xvalue while passing that lvalue to a library function (e.g. by calling the function
2424
- with the argument \tcode {move(x)}), the program
2424
+ with the argument \tcode {std:: move(x)}), the program
2425
2425
is effectively asking that function to treat that lvalue as a temporary. The implementation
2426
2426
is free to optimize away aliasing checks which might be needed if the argument was
2427
2427
an lvalue. \exitnote
You can’t perform that action at this time.
0 commit comments