为什么需要 noCopy

Anonymous 收录于 golang php

2019-07-05 约 800 字预计阅读 2 分钟

本文对golang 的noCopy 机制做简要分析。

php 的noCopy 的实现

php 中对象赋值是浅拷贝，即赋值都仅仅是copy了一次指向对象的指针而已。因此，php实现的noCopy 是针对深拷贝而言的。

深拷贝是使用clone 关键字实现的。

如果需要实现php的noCopy，只需要将php的魔术方法__clone 设置为私有即可。

代码示例

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27


<?php

class Copy
{
    public $property = 1;
}

class noCopy 
{
    public $property = 1;

    private function __clone(){}
}

$data = new Copy();
echo $data->property . "\n";   // 1
$ref = $data;
$copy = clone $data;
$data->property = 2;
echo $ref->property . "\t" . $copy->property . "\n";    //1 ,2

$data = new noCopy(); 
echo $data->property;   // 1
$ref = $data;
$copy = clone $data;  //   Call to private noCopy::__clone() from context ...
$data->property = 2;
echo $ref->property;

对于一个互斥量mutex, 其本质是包含有一定状态的变量。如果一个对象持有mutex，且该对象通过mutex,操作持有的资源.

为什么需要nocopy 呢？

对于一个互斥锁，实现是一个int值和一个uint值构成的结构体。两个值标识了锁的状态。如果锁可以copy,那锁状态也将被copy(由于struct 是值拷贝的)，当锁状态再次更新后，copy后的值将不再有效。因此，对于实现了sync.Locker接口的类型来说，理论上其实例是不能再次被赋值的。

golang noCopy 的实现

由于golang 中struct对象赋值是值拷贝，没有php类中的魔术方法。golang issue里面， golang sync 包中: - sync.Cond - sync.Pool - sync.WaitGroup - sync.Mutex - sync.RWMutex - …… 禁止拷贝，实现方式采用noCopy 的方式。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21


package main

import "fmt"

type noCopy struct{}

// Lock is a no-op used by -copylocks checker from `go vet`.
func (*noCopy) Lock()   {}
func (*noCopy) Unlock() {}

type S struct {
	noCopy
	data int
}

func main() {
	var s S

	ss := s
	fmt.Println(ss)
}

golang 没有禁止对实现sync.Locker接口的对象实例赋值进行报错，只是在使用go vet 做静态语法分析时，会提示错误。

1
2
3


# command-line-arguments
./nocopy.go:19: assignment copies lock value to ss: main.S
./nocopy.go:20: call of fmt.Println copies lock value: main.S

golang Issue

为什么需要 NoCopy

php 的noCopy 的实现

代码示例

为什么需要nocopy 呢？

golang noCopy 的实现