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中的移动构造函数）。这种额外的处理可能会产生一定的开销。

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

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

The Rule of Three in C++

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

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

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

Is pass-by-value a reasonable default in C++11?

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

How to pass objects to functions in C++?

Answer 2

你的教授错了，也许他在考虑JAVA或C＃？一切都是用C ++中的值传递的。要通过引用传递某些内容，您需要将其传递给＆amp;改性剂。

Answer 3

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

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

希望这有帮助！

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

3 个答案: