[mgaunard]

Advantage #3 is false. C++ already does this.

The standard explicitly states that a parameter taken by value and initialized from an prvalue of the same type may elide the move constructor (which all implementations do).