C++03存在隐式造成不必要的拷贝的问题。因此，C++11引入了rvalue引用和移动语义。现在我的问题是，这种不必要的拷贝问题是否也存在于诸如C＃和Java之类的语言中，还是只是C++的问题？换句话说，rvalue引用是否使C++11比C＃或Java更加高效？
就C#而言（它允许运算符重载），假设我们有一个数学向量类，并且我们像这样使用它。
vector_a = vector_b + vector_c;
vector_b + vector_c转换为一个临时对象（我们称之为vector_tmp）。vector_tmp这样的临时 rvalue 和像vector_b这样的 lvalue，因此我们仍然需要将数据复制到vector_a中。在 C++11 中，可以通过使用rvalue 引用和移动语义轻松避免这种情况。在C＃和Java中存在不必要的复制操作。
那么，与C＃或Java相比，rvalue引用使C++11更加高效吗？
答案是肯定的。:)
由于Java和C#中的类使用引用语义，因此在这些语言中永远不会有任何隐式对象副本。移动语义解决的问题在Java和C#中不存在。
ref限定符。没有ref限定符，您将获得按值调用。这两个概念完全正交：您可以通过值或引用传递结构体类型，也可以通过值或引用传递类类型。 - fredoverflowvector_b + vector_c只是一种语法糖，类似于vector add(vector x, vector y)。在最简单的情况下，我们创建一个新对象并返回对它的引用。你可以把这个返回的对象引用看作是你的vector_tmp。之后唯一发生的事情就是我们将引用赋值给一个局部变量。在Java或C#中（至少对于编译器来说），不存在复制构造函数或赋值运算符的概念。 - Voo我认为这可能发生在Java中。请参见下面的add和add_to操作。 add创建一个结果对象来保存矩阵加法运算的结果，而add_to仅将rhs添加到此结果对象中。
class Matrix {
public static final int w = 2;
public static final int h = 2;
public float [] data;
Matrix(float v)
{
data = new float[w*h];
for(int i=0; i<w*h; ++i)
{ data[i] = v; }
}
// Creates a new Matrix by adding this and rhs
public Matrix add(Matrix rhs)
{
Main result = new Main(0.0f);
for(int i=0; i<w*h; ++i)
{ result.data[i] = this.data[i] + rhs.data[i]; }
return result;
}
// Just adds the values in rhs to this
public Main add_to(Main rhs)
{
for(int i=0; i<w*h; ++i)
{ this.data[i] += rhs.data[i]; }
return this;
}
public static void main(String [] args)
{
Matrix m = new Matrix(0.0f);
Matrix n = new Matrix(1.0f);
Matrix o = new Matrix(1.0f);
// Chaining these ops would modify m
// Matrix result = m.add_to(n).subtract_from(o);
m.add_to(n); // Adds n to m
m.subtract_from(o); // Subtract o from n
// Can chain ops without modifying m,
// but temps created to hold results from each step
Matrix result = m.add(n).subtract(o);
}
}
以下是我的讨论内容：
class LongLivedObject
{
private Dictionary <string, string> _settings;
public LongLivedObject(Dictionary <string, string> settings)
{ // In C# this always duplicates the data structure and takes O(n) time.
// C++ will automatically try to decide if it could do a swap instead.
// C++ always lets you explicitly say you want to do the swap.
_settings = new Dictionary <string, string>(settings);
}
}
你可以尝试模拟移动语义。例如，在Trade-Ideas Philip的示例中，你可以传递自定义的MovableDictionary而不是Dictionary：
public class MovableDictionary<K, V> // : IDictionary<K, V>, IReadOnlyDictionary<K, V>...
{
private Dictionary<K, V> _map;
// Implement all Dictionary<T>'s methods by calling Map's ones.
public Dictionary<K, V> Move()
{
var result = Map;
_map = null;
return result;
}
private Dictionary<K, V> Map
{
get
{
if (_map == null)
_map = new Dictionary<K, V>();
return _map;
}
}
}