我可以使用单线从切片中的位置n弹出元素吗？结论

我正在浏览slice tricks文档，看到一些衬里弹出。例如，这两个可以正常工作：

// pop
s := []int{1,2,3}     
last,s := s[len(s)-1],s[:len(s)-1]    
fmt.Println(last,s) // Prints 3 [1 2]

// pop front
s := []int{1,3}     
first,s := s[0],s[1:]                 
fmt.Println(first,s)  // Prints 1 [2 3]

但是，如果我尝试执行以下操作以弹出第二个元素：

s := []int{1,3}     
second,s := s[1],append(s[0:1],s[2:]...)
fmt.Println(second,s) // Prints 3 [1 3]

它将弹出第二个元素，但是second变量指向新切片中的第二个元素。为什么在这种情况下会发生这种情况，而在前两种情况下却没有呢？为了工作，我必须使用单独的行：

s := []int{1,3}                     
second := s[1]          
s = append(s[0:1],s) // Prints 2 [1 3]

第二种形式

元组分配的

。它接着说：

任务分两个阶段进行。首先，左边的index expressions和pointer indirections的操作数（包括selectors中的隐式指针间接指向）和右边的表达式都是evaluated in the usual order。其次，分配是从左到右执行的。

因此，编译器通过评估second和s来进行赋值，以评估它们的赋值目的（它们只会产生它们的名称，或多或少¹），并且计算

中的右侧表达式

通常的订单

这意味着我们必须通过以下链接查看“通常的订单”的含义。这使我们进入Order of evaluation。

这里的文本有些棘手，但是示例很有启发性：

在（功能本地）分配中
y[f()],ok = g(h(),i()+x[j()],<-c),k()
函数调用和通信按照f()，h()，i()，j()，<-c，g()和{ {1}}。但是，未指定这些事件与k()的评估和索引以及x的评估相比的顺序。

让我们将其与您自己的表情进行比较：

我们知道second,s := s[1],append(s[0:1],s[2:]...)会在……之前被调用……我们不确定，没有进一步的（调用权）函数调用或通道调用。但显然必须先调用它，然后才能分配append。

但是，与此同时，没有明确指定此调用相对于“ s的“评估和索引”的顺序。如果先完成，则s[1]操作将（可能²）就地修改支持切片append的数组。>

那么，显然发生的事情是s[0:1]实际上正在修改数组。然后发生评估和索引append(s[0:1],s[2:]...)，并修改了数组。这将获取s[1]的修改后的值，并将其复制到变量s[1]中。

为什么在这种情况下会发生这种情况，而对于前两种情况却不会呢？

这些对象不会调用second，因此不允许append修改数组。

¹由于在内部使用了SSA，因此它们实际上成为了 new 变量的赋值，但最终效果都是一样的。>

²由append函数决定是执行此就地修改还是创建新的后备数组。但是，在这种情况下，由于我们要缩短总长度，因此很明显将是可能，并且每次都可以利用实际的实现方式-尽管也未指定！

这里要做的是编写一个微型函数来执行提取和更新，而不是单行，而是简单地允许编译器将其快速内联到某种东西中。当然，这使我们希望使用泛型，因此也希望使用Go 2。

我可以使用单线从切片中的位置n弹出元素吗？ 结论