草庐IT

c++11 - 在 Golang 中 move 语义

coder 2023-06-27 原文

这来自 Bjarne Stroustrup 的 The C++ Programming Language，第四版 3.3.2。

We didn’t really want a copy; we just wanted to get the result out of a function: we wanted to move a Vector rather than to copy it. Fortunately, we can state that intent:

class Vector {
     // ...

     Vector(const Vector& a);          // copy constructor
     Vector& operator=(const Vector& a);     // copy assignment

     Vector(Vector&& a);               // move constructor
     Vector& operator=(Vector&& a);          // move assignment
};

Given that definition, the compiler will choose the move constructor to implement the transfer of the return value out of the function. This means that r=x+y+z will involve no copying of Vectors. Instead, Vectors are just moved.As is typical, Vector’s move constructor is trivial to define...

我知道 Golang 支持传统的值传递和使用 Go 风格指针的引用传递。

Go 是否像上面 Stroustrup 所描述的那样，像 C++11 那样支持“move 语义”，以避免无用的来回复制？如果是这样，这是自动的，还是需要我们在代码中做一些事情才能实现。

注意:已经发布了一些答案 - 我必须稍微消化一下，所以我还没有接受 - 谢谢。

最佳答案

分割如下:

  1. Go 中的一切都是按值传递的。
  2. 但是有五种内置的“引用类型”也是按值传递的，但在内部它们保存对单独维护的数据结构的引用:映射、 slice 、 channel 、字符串和函数值(无法改变后两者引用数据)。

@Vector，您自己的回答是错误的，因为 Go 中的 nothing 是通过引用传递的。相反，存在具有引用语义的类型。它们的值仍然按值传递(原文如此!)。

你的困惑可能源于这样一个事实，即你的大脑目前被认为是 C++、Java 等的负担，而 Go 中的这些事情大多是“像在 C 中一样”完成的。

以数组和 slice 为例。数组 在 Go 中按值传递，但 slice 是包含指针(指向底层数组)和两个平台大小的整数( slice 的长度和容量)的打包结构，并且它是被复制的 this 结构的值——一个指针和两个整数——当它被赋值或返回时等等。如果你复制一个“裸”数组，它会被逐字复制——包括它的所有元素。

这同样适用于 channel 和 map 。您可以认为定义 channel 和映射的类型是这样声明的:

type Map struct {
   impl *mapImplementation
}

type Slice struct {
   impl *sliceImplementation
}

(顺便说一句，如果您了解 C++，您应该知道一些 C++ 代码使用这个技巧来减少头文件中细节的暴露。)

所以当你以后有

m := make(map[int]string)

您可以将其视为 m 具有 Map 类型，因此当您稍后这样做时

x := m

m 的值 被复制，但它只包含一个指针，所以 x 和 m 现在引用相同的底层数据结构。 m 是否通过引用复制(“move 语义”)？当然不是!类型 map 和 slice 以及 channel 的值是否具有引用语义？是的!

请注意，这三种类型并不特别:通过在其中嵌入指向某些复杂数据结构的指针来实现您的自定义类型是一种相当常见的模式。

换句话说，Go 允许程序员决定他们想要的类型的语义。 Go 碰巧有五种内置类型，它们已经具有引用语义(而所有其他内置类型都具有值语义)。选择一种语义而不是另一种语义不会以任何方式影响按值复制所有内容的规则。例如，在 Go 中拥有指向任何类型的值的指针并为它们赋值(只要它们具有兼容的类型)是很好的——这些指针将按值复制。

从另一个角度来看，许多 Go 包(标准包和第三方包)更喜欢使用指向(复杂)值的指针。一个示例是 os.Open()(它在文件系统上打开一个文件)返回类型为 *os.File 的值。也就是说，它返回一个指针并且期望调用代码传递这个指针。当然，Go 作者可能已经将 os.File 声明为包含单个指针的 struct，本质上使该值具有引用语义，但他们没有这样做。我认为这样做的原因是没有特殊的语法来处理这种类型的值，所以没有理由让它们像 map 、 channel 和 slice 一样工作。换句话说，KISS。

推荐阅读:

关于c++11 - 在 Golang 中 move 语义，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/20849911/

ampGolangcodeVector的c++11gomove

有关c++11 - 在 Golang 中 move 语义的更多相关文章

  1. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  2. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  3. ruby - 安装libv8(3.11.8.13)出错，Bundler无法继续 - 2

    运行bundleinstall后出现此错误:Gem::Package::FormatError:nometadatafoundin/Users/jeanosorio/.rvm/gems/ruby-1.9.3-p286/cache/libv8-3.11.8.13-x86_64-darwin-12.gemAnerroroccurredwhileinstallinglibv8(3.11.8.13),andBundlercannotcontinue.Makesurethat`geminstalllibv8-v'3.11.8.13'`succeedsbeforebundling.我试试gemin

  4. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

  5. arrays - Ruby 数组 += vs 推送 - 2

    我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“

  6. ruby - ri 有空文件 – Ubuntu 11.10, Ruby 1.9 - 2

    我正在运行Ubuntu11.10并像这样安装Ruby1.9:$sudoapt-getinstallruby1.9rubygems一切都运行良好，但ri似乎有空文档。ri告诉我文档是空的，我必须安装它们。我执行此操作是因为我读到它会有所帮助:$rdoc--all--ri现在，当我尝试打开任何文档时:$riArrayNothingknownaboutArray我搜索的其他所有内容都是一样的。 最佳答案 这个呢？apt-getinstallri1.8编辑或者试试这个:(非rvm)geminstallrdocrdoc-datardoc-da

  7. += 的 Ruby 方法 - 2

    有没有办法让Ruby能够做这样的事情？classPlane@moved=0@x=0defx+=(v)#thisiserror@x+=v@moved+=1enddefto_s"moved#{@moved}times,currentxis#{@x}"endendplane=Plane.newplane.x+=5plane.x+=10putsplane.to_s#moved2times,currentxis15 最佳答案 您不能在Ruby中覆盖复合赋值运算符。任务在内部处理。您应该覆盖+，而不是+=。plane.a+=b与plane.a=

  8. ruby - Sinatra + Heroku + Datamapper 使用 dm-sqlite-adapter 部署问题 - 2

    出于某种原因，heroku尝试要求dm-sqlite-adapter，即使它应该在这里使用Postgres。请注意，这发生在我打开任何URL时-而不是在gitpush本身期间。我构建了一个默认的Facebook应用程序。gem文件:source:gemcuttergem"foreman"gem"sinatra"gem"mogli"gem"json"gem"httparty"gem"thin"gem"data_mapper"gem"heroku"group:productiondogem"pg"gem"dm-postgres-adapter"endgroup:development,:t

  9. ruby - Ruby 中字符串运算符 + 和 << 的区别 - 2

    我是Ruby和这个网站的新手。下面两个函数是不同的，一个在函数外修改变量，一个不修改。defm1(x)x我想确保我理解正确-当调用m1时，对str的引用被复制并传递给将其视为x的函数。运算符当调用m2时，对str的引用被复制并传递给将其视为x的函数。运算符+创建一个新字符串，赋值x=x+"4"只是将x重定向到新字符串，而原始str变量保持不变。对吧？谢谢 最佳答案 String#+::str+other_str→new_strConcatenation—ReturnsanewStringcontainingother_strconc

  10. ruby - rails 3.2.2(或 3.2.1)+ Postgresql 9.1.3 + Ubuntu 11.10 连接错误 - 2

    我正在使用PostgreSQL9.1.3(x86_64-pc-linux-gnu上的PostgreSQL9.1.3，由gcc-4.6.real(Ubuntu/Linaro4.6.1-9ubuntu3)4.6.1，64位编译)和在ubuntu11.10上运行3.2.2或3.2.1。现在，我可以使用以下命令连接PostgreSQLsupostgres输入密码我可以看到postgres=#我将以下详细信息放在我的config/database.yml中并执行“railsdb”，它工作正常。开发:adapter:postgresqlencoding:utf8reconnect:falsedat

随机推荐