默认情况下，c++ 中的所有内容都是按值传递的

Question

在 C++ 中，是否所有类型都按值传递，除非它带有 & 或 * 符号？

例如在 Java 中，将数组作为函数参数传递将默认按引用传递。 C++ 是否让您对此有更多控制权？

编辑：感谢您的所有回复，我想我更清楚地理解了整个按值传递的事情。对于仍然对 Java 如何按值传递（对象引用的副本）感到困惑的任何人，this answer really cleared it up for me.

Answer 1

In C++, are all types passed by value unless it comes with a & or * symbol?

不，如果您将某些东西作为 * 参数（其指针）传递，它仍然由 value 传递。制作所传递指针的副本。但是原件和副本都指向同一个内存。这是 C# 中的类似概念——我也相信 Java，只是你不在那里使用 *。

这就是为什么如果您使用此指针对外部对象进行更改（例如使用取消引用），更改也将在原始对象中可见。

但是如果你只是说给指针赋一个新值，那么外部对象什么也不会发生。例如

void foo(int* ptr)
{
  // ...
  // Below, nothing happens to original object to which ptr was 
  // pointing, before function call, just ptr - the copy of original pointer - 
  // now points to a different object 
  ptr = &someObj; 
  // ...
}

For example in Java, passing an array as a function argument would be by default passing by reference. Does C++ give you more control over this?

在 C++ 或 C 中，如果传递数组（例如 int arr[]），传递的内容将被视为指向数组第一个元素的指针。因此，我上面所说的在这种情况下也适用。

关于 & 你是对的。您甚至可以将 & 应用于指针（例如 int *&），在这种情况下，现在指针确实通过引用传递 - 没有复制。

Answer 2

可能与你的问题无关，但我经常从另一个方向来理解当你在 C++ 中调用函数时会发生什么。

两者的区别

void foo(Bar bar);  // [1]
void foo(Bar& bar); // [2]
void foo(Bar* bar); // [3]

是 [1] 中的主体将收到原始柱的副本（我们称此为按值，但我更愿意将其视为 我自己的副本)。

[2] 的主体将使用完全相同的 bar 对象；没有副本。我们是否可以修改 bar 对象取决于参数是 Bar& bar（如图所示）还是 const Bar& bar。请注意，在一个格式良好的程序中，[2] 将始终接收一个对象（没有 null 引用；让我们将悬挂引用放在一边）。

[3] 的正文将收到指向原始 bar 的指针的副本。我是否可以修改指针 and/or 所指向的对象取决于参数是 const Bar* bar、const Bar* const bar、Bar* const bar 还是 Bar* bar（是的，真的）。指针可能是也可能不是 null.

我之所以在心理上做出这种区分，是因为对象的副本可能有也可能没有引用语义。例如：此 class:

实例的副本

struct Foo {
 std::shared_ptr<FooImpl> m_pimpl; 
};

默认情况下，

与原始指针具有相同的 "contents"（指向相同 FooImpl 指针的新共享指针）。这个当然要看程序员是怎么设计的class.

出于这个原因，我更愿意将 [1] 视为 "takes a copy of bar"，如果我需要知道这样的副本是否是我想要的和我需要的，我会去研究 class 通过 copy.

直接理解 class 的具体含义

默认情况下，c++ 中的所有内容都是按值传递的

Everything in c++ by default is passed by value

c++

pass-by-reference

pass-by-value