取消后可以访问go上下文值吗

Question

go中的学习上下文。我尝试了上下文取消，它试图在取消后访问上下文的值集。令我惊讶的是，它奏效了：

import (
"context"
"fmt"
"time"
)
func test(ctx context.Context, cancelFunc context.CancelFunc){
intervalTicker := time.NewTicker(time.Second * 2).C
expiryTicker := time.NewTicker(time.Second * 5).C
for {
select {
case <-ctx.Done():
fmt.Println(ctx.Err())
return
case <-intervalTicker:
fmt.Println("interval")
case <-expiryTicker:
fmt.Println("expiry")
func() {
defer cancelFunc()
fmt.Println("Calling context cancel")
}()
return
}
}
}
func main() {
type key string
var contextKey key
parent := context.WithValue(context.TODO(), contextKey, "V1")
ctx, cancelFunc := context.WithCancel(parent)
test(ctx, cancelFunc)
fmt.Println(ctx.Value(contextKey))
}

当我将相同的子上下文和cancel函数传递给测试函数时，我本希望上下文被取消，值不可用。不是吗？

Answer 1

来自context.WithCancel文档

当调用返回的cancel函数或关闭父上下文的Done通道时(以先发生的为准(，返回的上下文的Done通道将关闭。

来自context.Context文档

Done返回一个通道，该通道在代表此上下文完成的工作应该取消时关闭。

取消上下文不应该意味着类似于"；破坏该上下文"；，或"；使该上下文不再可用"；。这纯粹是为了向上下文的用户发出信号，表示应该取消工作。这个信号不是魔术，必须明确检查。

考虑这种情况：

select {
case <-ctx.Done():
return
default:
value := ctx.Value("something")
doSomething(value)
}

现在想象一下，上下文就像你想象的那样工作，在取消时，值不再可检索。这种情况现在是可能的：

select {
case <-ctx.Done():
return
default:
// OH NO! Even though we just checked and it was ok,
// some other goroutine called cancel() right at this moment!
value := ctx.Value("something")
// Now "value" is going to be invalid.
doSomething(value)
}

现有的上下文模型很有用，因为它允许工作例程只在最安全或最方便的特定检查点检查上下文状态，而在其他情况下不必担心。