"std::forward“和"std::move”不生成代码是真的吗？

Question

"std::forward“和"std::move”不生成代码是真的吗？我在<<中看到了这样的说法:一个有效的C++11/14采样器>>。相关代码在脚注中。谁能详细解释一下密码吗？如果能在这个问题上得到一些帮助，我将不胜感激。

根据文档(https://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/a00416_source.html)，其中指出：

   /**
    *  @brief  Forward an lvalue.
    *  @return The parameter cast to the specified type.
    *
    *  This function is used to implement "perfect forwarding".
    */
   template<typename _Tp>
     constexpr _Tp&&
     forward(typename std::remove_reference<_Tp>::type& __t) noexcept
     { return static_cast<_Tp&&>(__t); }



  /**
    *  @brief  Forward an rvalue.
    *  @return The parameter cast to the specified type.
    *
    *  This function is used to implement "perfect forwarding".
    */
   template<typename _Tp>
     constexpr _Tp&&
     forward(typename std::remove_reference<_Tp>::type&& __t) noexcept
     {
       static_assert(!std::is_lvalue_reference<_Tp>::value, "template argument"
                     " substituting _Tp is an lvalue reference type");
       return static_cast<_Tp&&>(__t);
     }
    /**
    *  @brief  Convert a value to an rvalue.
    *  @param  __t  A thing of arbitrary type.
    *  @return The parameter cast to an rvalue-reference to allow moving it.
   */
   template<typename _Tp>
     constexpr typename std::remove_reference<_Tp>::type&&
     move(_Tp&& __t) noexcept
     { return static_cast<typename std::remove_reference<_Tp>::type&&>(__t); }

Answer 1

是否“生成代码”取决于编译器及其设置。正如另一个答案所示，如果优化被禁用，您可以期望生成一些额外的代码。

std::move和std::forward只返回对参数的引用，该参数在运行时不需要任何操作(值类别的更改发生在编译时)，如果启用优化，任何半体面的编译器都不会为它们生成任何代码。

如果您不希望在调试版本中生成额外的代码，请使用static_cast<T &&>而不是这些函数。

Answer 2

那是胡说。它产生代码。密码

#include <utility>

int main() {
    int a;
    int b = std::move(a);
}

使用Clang 10.0 (无优化)生成此程序集：

main:                                   # @main
        push    rbp
        mov     rbp, rsp
        sub     rsp, 16
        lea     rdi, [rbp - 4]
        call    std::remove_reference<int&>::type&& std::move<int&>(int&)
        xor     ecx, ecx
        mov     edx, dword ptr [rax]
        mov     dword ptr [rbp - 8], edx
        mov     eax, ecx
        add     rsp, 16
        pop     rbp
        ret
std::remove_reference<int&>::type&& std::move<int&>(int&): # @std::remove_reference<int&>::type&& std::move<int&>(int&)
        push    rbp
        mov     rbp, rsp
        mov     qword ptr [rbp - 8], rdi
        mov     rax, qword ptr [rbp - 8]
        pop     rbp
        ret

和密码

#include <utility>

int main() {
    int a;
    int b = a;
}

使用Clang 10.0 (无优化)生成此程序集：

main:                                   # @main
        push    rbp
        mov     rbp, rsp
        xor     eax, eax
        mov     ecx, dword ptr [rbp - 4]
        mov     dword ptr [rbp - 8], ecx
        pop     rbp
        ret

https://godbolt.org/z/DthcYe