std::pair 移动未在定义中省略？

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

看来不是移动 ctor 或模板化移动 ctor 导致问题，而是模板化移动 ctor 中存在 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__ << ...;
  }
  

• 失败！已调用移动 ctor！

  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 - 如果事实 any 额外的默认参数会起作用（例如 , int defaulted_param_on_move_ctor = 0，它仍然会防止移动省略)。

  这也扩展到仅具有默认参数的复制ctor的类型。也不会被忽略。快速cross-check with gcc 表明那里似乎没有任何此类问题。

简答

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

我为此问题添加了bug on MS.connect。

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