Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(reactivity): toRef edge cases for ref unwrapping #12420

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
216 changes: 212 additions & 4 deletions packages/reactivity/__tests__/ref.spec.ts
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@ import {
isShallow,
readonly,
shallowReactive,
shallowReadonly,
} from '../src/reactive'

describe('reactivity/ref', () => {
Expand Down Expand Up @@ -308,18 +309,83 @@ describe('reactivity/ref', () => {
a.x = 4
expect(dummyX).toBe(4)

// should keep ref
const r = { x: ref(1) }
expect(toRef(r, 'x')).toBe(r.x)
// a ref in a non-reactive object should be unwrapped
const r: any = { x: ref(1) }
const t = toRef(r, 'x')
expect(t.value).toBe(1)

r.x.value = 2
expect(t.value).toBe(2)

t.value = 3
expect(t.value).toBe(3)
expect(r.x.value).toBe(3)

// with a default
const u = toRef(r, 'x', 7)
expect(u.value).toBe(3)

r.x.value = undefined
expect(r.x.value).toBeUndefined()
expect(t.value).toBeUndefined()
expect(u.value).toBe(7)

u.value = 7
expect(r.x.value).toBe(7)
expect(t.value).toBe(7)
expect(u.value).toBe(7)
})

test('toRef on array', () => {
const a = reactive(['a', 'b'])
const a: any = reactive(['a', 'b'])
const r = toRef(a, 1)
expect(r.value).toBe('b')
r.value = 'c'
expect(r.value).toBe('c')
expect(a[1]).toBe('c')

a[1] = ref('d')
expect(isRef(a[1]))
expect(r.value).toBe('d')
r.value = 'e'
expect(isRef(a[1]))
expect(a[1].value).toBe('e')

const s = toRef(a, 2, 'def')
const len = toRef(a, 'length')

expect(s.value).toBe('def')
expect(len.value).toBe(2)

a.push('f')
expect(s.value).toBe('f')
expect(len.value).toBe(3)

len.value = 2

expect(s.value).toBe('def')
expect(len.value).toBe(2)

const symbol = Symbol()
const t = toRef(a, 'foo')
const u = toRef(a, symbol)
expect(t.value).toBeUndefined()
expect(u.value).toBeUndefined()

const foo = ref(3)
const bar = ref(5)
a.foo = foo
a[symbol] = bar
expect(t.value).toBe(3)
expect(u.value).toBe(5)

t.value = 4
u.value = 6

expect(a.foo).toBe(4)
expect(foo.value).toBe(4)
expect(a[symbol]).toBe(6)
expect(bar.value).toBe(6)
})

test('toRef default value', () => {
Expand All @@ -345,6 +411,148 @@ describe('reactivity/ref', () => {
expect(isReadonly(x)).toBe(true)
})

test('toRef lazy evaluation of properties inside a proxy', () => {
const fn = vi.fn(() => 5)
const num = computed(fn)
const a = toRef({ num }, 'num')
const b = toRef(reactive({ num }), 'num')
const c = toRef(readonly({ num }), 'num')
const d = toRef(shallowReactive({ num }), 'num')
const e = toRef(shallowReadonly({ num }), 'num')

expect(fn).not.toHaveBeenCalled()

expect(a.value).toBe(5)
expect(b.value).toBe(5)
expect(c.value).toBe(5)
expect(d.value).toBe(5)
expect(e.value).toBe(5)
expect(fn).toHaveBeenCalledTimes(1)
})

test('toRef with shallowReactive/shallowReadonly', () => {
const r = ref(0)
const s1 = shallowReactive<{ foo: any }>({ foo: r })
const t1 = toRef(s1, 'foo', 2)
const s2 = shallowReadonly(s1)
const t2 = toRef(s2, 'foo', 3)

expect(r.value).toBe(0)
expect(s1.foo.value).toBe(0)
expect(t1.value).toBe(0)
expect(s2.foo.value).toBe(0)
expect(t2.value).toBe(0)

s1.foo = ref(1)

expect(r.value).toBe(0)
expect(s1.foo.value).toBe(1)
expect(t1.value).toBe(1)
expect(s2.foo.value).toBe(1)
expect(t2.value).toBe(1)

s1.foo.value = undefined

expect(r.value).toBe(0)
expect(s1.foo.value).toBeUndefined()
expect(t1.value).toBe(2)
expect(s2.foo.value).toBeUndefined()
expect(t2.value).toBe(3)

t1.value = 2

expect(r.value).toBe(0)
expect(s1.foo.value).toBe(2)
expect(t1.value).toBe(2)
expect(s2.foo.value).toBe(2)
expect(t2.value).toBe(2)

t2.value = 4

expect(r.value).toBe(0)
expect(s1.foo.value).toBe(4)
expect(t1.value).toBe(4)
expect(s2.foo.value).toBe(4)
expect(t2.value).toBe(4)

s1.foo = undefined

expect(r.value).toBe(0)
expect(s1.foo).toBeUndefined()
expect(t1.value).toBe(2)
expect(s2.foo).toBeUndefined()
expect(t2.value).toBe(3)
})

test('toRef for shallowReadonly around reactive', () => {
const get = vi.fn(() => 3)
const set = vi.fn()
const num = computed({ get, set })
const t = toRef(shallowReadonly(reactive({ num })), 'num')

expect(get).not.toHaveBeenCalled()
expect(set).not.toHaveBeenCalled()

t.value = 1

expect(
'Set operation on key "num" failed: target is readonly',
).toHaveBeenWarned()

expect(get).not.toHaveBeenCalled()
expect(set).not.toHaveBeenCalled()

expect(t.value).toBe(3)

expect(get).toHaveBeenCalledTimes(1)
expect(set).not.toHaveBeenCalled()
})

test('toRef for readonly around shallowReactive', () => {
const get = vi.fn(() => 3)
const set = vi.fn()
const num = computed({ get, set })
const t: Ref<number> = toRef(readonly(shallowReactive({ num })), 'num')

expect(get).not.toHaveBeenCalled()
expect(set).not.toHaveBeenCalled()

t.value = 1

expect(
'Set operation on key "num" failed: target is readonly',
).toHaveBeenWarned()

expect(get).not.toHaveBeenCalled()
expect(set).not.toHaveBeenCalled()

expect(t.value).toBe(3)

expect(get).toHaveBeenCalledTimes(1)
expect(set).not.toHaveBeenCalled()
})

test(`toRef doesn't bypass the proxy when getting/setting a nested ref`, () => {
const r = ref(2)
const obj = shallowReactive({ num: r })
const t = toRef(obj, 'num')

expect(t.value).toBe(2)

effect(() => {
t.value = 3
})

expect(t.value).toBe(3)
expect(r.value).toBe(3)

const s = ref(4)
obj.num = s

expect(t.value).toBe(3)
expect(s.value).toBe(3)
})

test('toRefs', () => {
const a = reactive({
x: 1,
Expand Down
10 changes: 5 additions & 5 deletions packages/reactivity/src/baseHandlers.ts
Original file line number Diff line number Diff line change
Expand Up @@ -145,13 +145,14 @@ class MutableReactiveHandler extends BaseReactiveHandler {
receiver: object,
): boolean {
let oldValue = target[key]
const isArrayWithIntegerKey = isArray(target) && isIntegerKey(key)
if (!this._isShallow) {
const isOldValueReadonly = isReadonly(oldValue)
if (!isShallow(value) && !isReadonly(value)) {
oldValue = toRaw(oldValue)
value = toRaw(value)
}
if (!isArray(target) && isRef(oldValue) && !isRef(value)) {
if (!isArrayWithIntegerKey && isRef(oldValue) && !isRef(value)) {
if (isOldValueReadonly) {
return false
} else {
Expand All @@ -163,10 +164,9 @@ class MutableReactiveHandler extends BaseReactiveHandler {
// in shallow mode, objects are set as-is regardless of reactive or not
}

const hadKey =
isArray(target) && isIntegerKey(key)
? Number(key) < target.length
: hasOwn(target, key)
const hadKey = isArrayWithIntegerKey
? Number(key) < target.length
: hasOwn(target, key)
const result = Reflect.set(
target,
key,
Expand Down
42 changes: 35 additions & 7 deletions packages/reactivity/src/ref.ts
Original file line number Diff line number Diff line change
Expand Up @@ -3,12 +3,14 @@ import {
hasChanged,
isArray,
isFunction,
isIntegerKey,
isObject,
} from '@vue/shared'
import { Dep, getDepFromReactive } from './dep'
import {
type Builtin,
type ShallowReactiveMarker,
type Target,
isProxy,
isReactive,
isReadonly,
Expand Down Expand Up @@ -351,23 +353,52 @@ class ObjectRefImpl<T extends object, K extends keyof T> {
public readonly [ReactiveFlags.IS_REF] = true
public _value: T[K] = undefined!

private readonly _raw: T
private readonly _shallow: boolean

constructor(
private readonly _object: T,
private readonly _key: K,
private readonly _defaultValue?: T[K],
) {}
) {
this._raw = toRaw(_object)

let shallow = true
let obj = _object

// For an array with integer key, refs are not unwrapped
if (!isArray(_object) || !isIntegerKey(String(_key))) {
// Otherwise, check each proxy layer for unwrapping
do {
shallow = !isProxy(obj) || isShallow(obj)
} while (shallow && (obj = (obj as Target)[ReactiveFlags.RAW]))
}

this._shallow = shallow
}

get value() {
const val = this._object[this._key]
let val = this._object[this._key]
if (this._shallow) {
val = unref(val)
}
return (this._value = val === undefined ? this._defaultValue! : val)
}

set value(newVal) {
if (this._shallow && isRef(this._raw[this._key])) {
const nestedRef = this._object[this._key]
if (isRef(nestedRef)) {
nestedRef.value = newVal
return
}
}

this._object[this._key] = newVal
}

get dep(): Dep | undefined {
return getDepFromReactive(toRaw(this._object), this._key)
return getDepFromReactive(this._raw, this._key)
}
}

Expand Down Expand Up @@ -464,10 +495,7 @@ function propertyToRef(
key: string,
defaultValue?: unknown,
) {
const val = source[key]
return isRef(val)
? val
: (new ObjectRefImpl(source, key, defaultValue) as any)
return new ObjectRefImpl(source, key, defaultValue) as any
}

/**
Expand Down