按共享传递(Call by sharing)
上面2个策略大家都是知道的,但这里要讲的一个策略可能大家不太了解(其实是学术上的策略)。但是,我们很快就会看到这正是它在ECMAScript中的参数传递战略中起着关键作用的策略。
这个策略还有一些代名词:“按对象传递”或“按对象共享传递”。
该策略是1974年由Barbara Liskov为CLU编程语言提出的。
该策略的要点是:函数接收的是对象对于的拷贝(副本),该引用拷贝和形参以及其值相关联。
这里出现的引用,我们不能称之为“按引用传递”,因为函数接收的参数不是直接的对象别名,而是该引用地址的拷贝。
最重要的区别就是:函数内部给参数重新赋新值不会影响到外部的对象(和上例按引用传递的case),但是因为该参数是一个地址拷贝,所以在外面访问和里面访问的都是同一个对象(例如外部的该对象不是想按值传递一样完全的拷贝),改变该参数对象的属性值将会影响到外部的对象。
复制代码 代码如下:
procedure foo(barArg, isFullChange):
if isFullChange:
barArg = {z: 1, q: 2}
exit
end
barArg.x = 100
barArg.y = 200
end
//还是使用这个对象结构
bar = {
x: 10,
y: 20
}
// 按贡献传递会影响对象
foo(bar)
// 对象的属性被修改了
print(bar) // {x: 100, y: 200}
// 重新赋值没有起作用
foo(bar, true)
// 依然是上面的值
print(bar) // {x: 100, y: 200}
这个处理的假设前提是大多数语言里用到的对象,而不是原始值。
按共享传递是按值传递的特例
按共享传递这个策略很很多语言里都使用了:Java, ECMAScript, Python, Ruby, Visual Basic等。此外,Python社区已经使用了这个术语,至于其他语言也可以用这个术语,因为其他的名称往往会让大家感觉到混乱。大多数情况下,例如在Java,ECMAScript或Visual Basic中,这一策略也称之为按值传递——意味着:特殊值——引用拷贝(副本)。
一方面,它是这样的——传递给函数内部用的参数仅仅是绑定值(引用地址)的一个名称,并不会影响外部的对象。
另一方面,如果不深入研究,这些术语真的被认为吃错误的,因为很多论坛都在说如何将对象传递给JavaScript函数)。
一般理论确实有按值传递的说法:但这时候这个值就是我们所说的地址拷贝(副本),因此并没哟破坏规则。
在Ruby中,这个策略称为按引用传递。再说一下:它不是按照大结构的拷贝来传递(例如,不是按值传递),而另一方面,我们没有处理原始对象的引用,并且不能修改它;因此,这个跨术语的概念可能更会造成混乱。
理论里没有像按值传递的特殊case一样来面试按引用传递的特殊case。
但依然有必要了解这些策略在上述提到的技术中(Java, ECMAScript, Python, Ruby, other),实际上——他们用的策略就是按共享传递。
按共享与指针
对于С/С+ +,这个策略在思想上和按指针值传递是一样的,但有一个重要的区别——该策略可以取消引用指针以及完全改变对象。但在一般情况下,分配一个值(地址)指针到新的内存块(即之前引用的内存块保持不变);通过指针改变对象属性的话会影响阿东外部对象。
因此,和指针类别,我们可以明显看到,这是按地址值传递。 在这种情况下,按共享传递只是“语法糖”,像指针赋值行为一样(但不能取消引用),或者像引用一样修改属性(不需要取消引用操作),有时候,它可以被命名为“安全指针”。
然而,С/С+ +如果在没有明显指针的解引用的情况下,引用对象属性的时候,还具有特殊的语法糖:
复制代码 代码如下:
obj->x instead of (*obj).x
和C++关系最为紧密的这种意识形态可以从“智能指针”的实现中看到,例如,在 boost :: shared_ptr里,重载了赋值操作符以及拷贝构造函数,而且还使用了对象的引用计数器,通过GC删除对象。 这种数据类型,甚至有类似的名字- 共享_ptr。
ECMAScript实现