C 0x中的“id”函数

基本上,我希望id是一个什么都不做的函数,一个对程序没有可观察影响的函数.

我的第一次尝试如下：

#include <iostream>

class X
{
public:
  X(std::string&& s) : s(std::move(s)) {};
  X(const std::string& s) : s(s) {};
  std::string s;
  ~X() { std::cout << "Destroying: " << s << std::endl; }
private:
  X(const X&) {};
  X(X&&) {};
};

template <class T>
T&& id(T&& X) { return static_cast<T&&>(X); }

int main()
{
  auto&& x1 = X("x1");
  std::cout << "Line 1" << std::endl;
  auto&& x2 = id(X("x2"));
  std::cout << "Line 2" << std::endl;
}

但是,我担心在这种情况下,x2是悬空参考,因为X(“x2”)在“第2行”执行之前被破坏.

所以在这里,很明显id具有可观察到的效果.

如何在C 0x中编写id函数,特别适用于没有移动/复制构造函数的类型.