c++ - std::pair move 没有在定义中被省略？

Question

我注意到 Visual Studio 2012 有一些非常奇怪的地方:像这样定义一对对象:

    auto objp = pair<int, LogMe>();

不会在 VC11 中删除对的复制/移动，此调用将打印:

LogMe::LogMe - def.ctor!
LogMe::LogMe - move.ctor!
LogMe::~LogMe - dtor!

也就是说，将创建一个临时对，然后将其移至 objp 变量中。 (将其声明为 pair<...> obj; 仅记录默认 ctor)

我已经单独与我的 LogMe 测试对象进行了交叉检查:

cout << "# Construct Object via auto obj = ...\n";
auto obj = LogMe();

# Construct Object via auto obj = ...
LogMe::LogMe - def.ctor!

这里的分配将被省略。

这似乎是 VC11 特有的，如 testing it in IDEOne (使用 gcc 4.8.1)显示多余的移动总是在那里被省略。

这是怎么回事？ 无法依赖初始化拷贝被删除让我很紧张。

注意:发布版本与调试版本的测试显示相同的结果。 (这是我所预料的，因为复制省略是独立于 MSVC 中的优化标志执行的。)

---

要测试的完整源代码(另请参阅 ideone link):

#include "stdafx.h"
#include <iostream>
#include <map>

using namespace std;

struct LogMe {
    std::string member;

    LogMe() {
        cout << __FUNCTION__ << " - def.ctor!" << endl;
    }
    ~LogMe() {
        cout << __FUNCTION__ << " - dtor!" << endl;
    }
    LogMe(LogMe const&) {
        cout << __FUNCTION__ << " - cpy.ctor!" << endl;
    }
    LogMe& operator=(LogMe const&) {
        cout << __FUNCTION__ << " - cpy.assign.op!" << endl;
        return *this;
    }
    LogMe(LogMe&&) {
        cout << __FUNCTION__ << " - move.ctor!" << endl;
    }
    LogMe& operator=(LogMe&&) {
        cout << __FUNCTION__ << " - move.assign.op!" << endl;
        return *this;
    }
};

int _tmain(int argc, _TCHAR* argv[])
{
    {
        cout << "# Construct Object via auto obj = ...\n";
        auto obj = LogMe();
        cout << "# Construct pair<int, object> via auto objp = ...\n";
        auto objp = pair<int, LogMe>();
        cout << "# Construct pair<int, object> via pair objp2; ...\n";
        pair<int, LogMe> p2;
    }
    return 0;

Answer 1

看来不是移动构造函数，也不是导致问题的模板化移动构造函数，而是 enable_if<is_convertable<... 的存在。在模板化移动构造函数中:

仅用一个对象进行测试，抛出 auto和 pair出测试:

• 好的，复制/移动已省略:

          cout << "# Construct Object: auto obj = LogMe();\n";
          LogMe obj = LogMe();
  
          LogMe(LogMe&&) {
              cout << __FUNCTION__ ...
          }
  

并且，通过这样的测试:

    cout << "# Construct Object: LogMeTempl obj = LogMeTempl();\n";
    LogMeTempl obj = LogMeTempl();
    cout << "# Construct Object: LogMeTempl obj2;\n";
    LogMeTempl obj2;

• 好的，复制移动也被省略了:

  template<class Other>
  LogMeTempl(Other&& rhs
  //      , typename enable_if<is_convertible<Other, LogMeTempl>::value, void>::type ** = 0
  ) {
      cout << __FUNCTION__ << ...;
  }
  

• 失败!已调用移动构造函数!

  template<class Other>
  LogMeTempl(Other&& rhs
          , typename enable_if<is_convertible<Other, LogMeTempl>::value, void>::type ** = 0
  ) {
      cout << __FUNCTION__ << ...;
  }
  

  注意 enable_if 可以减少到 enable_if<true, void>::type** = 0 - 如果事实上任何额外的默认参数都可以(例如, int defaulted_param_on_move_ctor = 0并且它仍然防止移动省略)。

  这也扩展到仅具有默认参数的复制构造函数的类型。也不会被淘汰。快速cross-check with gcc显示那里似乎没有任何此类问题。

简答

在其复制/移动构造函数中具有默认参数的类型不会省略其初始化复制/移动。

我添加了一个 bug on MS.connect对于这个问题。

我还为 (N)RVO 添加了一个测试用例 to IDEone .即使没有默认参数，*N*RVO 似乎在 gcc 中比 VC++ 工作得更好。