C ++按值传递非原始类型？

Question

我必须对C ++ 11有一个基本的误解。 我的教授告诉我，除了引用或指针之外，不可能将非原始类型传递给函数。 但是，以下代码工作得很好

#include <iostream>
using namespace std;

class MyClass
{
public: 
    int field1;
};

void print_string(string s) { 
    cout << s << endl; 
}

void print_myclass(MyClass c) { 
    cout << c.field1 << endl; 
}

int main(int argc, char *argv[]) 
{
    string mystr("this is my string"); 
    print_string(mystr); // works
    MyClass m; 
    m.field1=9; 
    print_myclass(m); 
    return 0;
}

运行该程序会产生以下输出

this is my string
9

RUN SUCCESSFUL (total time: 67ms)

我在Win7上使用MinGW / g ++

为什么这样做？ 我以为非原始类型不能通过值传递？！

Answer 1

非原始类型当然可以通过值传递。 （这在C ++标准的5.2.2 [expr.call]部分中有所介绍。）

但是，有一些原因通常不鼓励这种情况，特别是在C ++ 03代码中。

首先，对于大型对象，这样做效率较低（与通过引用传递相比），因为数据在堆栈上传递。 引用将在堆栈上占用一个字，因此通过堆栈传递任何大于一个字的对象必然会更慢。

其次，按值传递会调用复制构造函数（或者，如@templatetypedef所指出的那样，可能是C ++ 11中的移动构造函数）。 这种额外的处理可能会产生一定的开销。

第三，您可能打算修改传入的对象，但通过传入一个副本（按值），您在函数中所做的任何更改都不会影响原始对象。 因此，重要的是要使语义正确（即，是否要修改原始语义）。 因此，在某些情况下这是一个潜在的错误。

最后，如果编写不好的类没有复制构造函数或赋值运算符，编译器将自动为您生成一个默认值。 这将执行浅拷贝，这可能会导致内存泄漏等问题。 这是实现这些特殊方法非常重要的另一个好理由。 完整的详细信息在这篇文章中：

• C ++中的三规则

一般来说，对于C ++ 03代码，如果不打算修改对象，通常会传递const& reference，如果需要修改对象，则通过普通& reference引用。 如果参数是可选的，请使用指针。

在这些问题中也可以找到一些好的答案和讨论，尤其是关于移动语义的讨论：

• 在C ++中通过引用/值传递
• C ++：按值传递对象的原因
• 什么是移动语义？
• 传递参考与传递值之间有什么区别？

C ++ 11的完整答案更复杂：

• 在C ++ 11中，pass-by-value是一个合理的默认值吗？

可能是使用哪种方法的最佳总结：

• 如何将对象传递给C ++中的函数？

Answer 2

你的教授错了，也许他正在考虑JAVA或C＃？ 一切都是用C ++中的值传递的。 要通过引用传递内容，您需要使用＆修饰符传递它。

Answer 3

非原始类型确实可以通过C ++中的值传递。 如果您尝试这样做，C ++将使用一个称为复制构造函数的特殊函数（或者在某些情况下，在C ++ 11中， 移动构造函数 ）将参数初始化为参数的副本。 编写复制构造函数和赋值运算符是C ++中一个棘手的部分（错误很容易并且正确起来很难），因此教授们可能会试图阻止你这样做。 未能编写复制构造函数或错误地执行此操作很容易导致程序崩溃，并且是新C ++程序员的常见混淆源。

我建议谷歌搜索“C ++ Rule of 3”或“复制构造函数赋值运算符”，以了解有关如何编写智能复制对象的函数的更多信息。 如何做到这一点需要一点时间来加快速度，但一旦理解了这些概念，就不会太难。

希望这可以帮助！