用Get运行以下三个wl：
第一个
BeginPackage["Functions`"]
S1=1;
Begin["Test1`"]
K1=2;
End[]
EndPackage[]
结果只能查询到Functions`S1=1，无论是?Funstions`Test1`K1还是?Test1`K1都查询不到结果，请问这个K1去哪了？
第二个
BeginPackage["Functions`"]
S1=1;
Begin["`Test1`"]
K1=2;
End[]
EndPackage[]
这样能正确查询到Functions`S1=1与Funstions`Test1`K1=2
第三个
BeginPackage["Functions`"]
S1=1;
Begin["`Test1`"]
S1=2;
End[]
EndPackage[]
得到的结果居然是Functions`S1=2，Functions`Test1`S1去哪了？Functions`S1的值为什么会发生改变？Begin在这里起了什么作用？

有两个概念，$Context和$ContextPath，即当前上下文和上下文搜索路径，符号先从上下文路径搜索，如果上下文路径里没有则在当前上下文创建符号。BeginPackage开始时限制$ContextPath为自己和System`（也可以手动引入其它上下文），而结束后不光会还原$Context，还会把自己的上下文加入$ContextPath中，而Begin系列除了修改$Context之外啥也不干，也就是并不会把这个上下文暴露给外部也不会改变上下文搜索路径。
具体的，
第一个，虽然Begin不把符号暴露给外部，但运行?Test1`K1用全名查询应该是会有的，我这里是可以搜索到的；
第二个，全名查询，没毛病，`开始表示从当前上线文开始的相对上下文（类似相对路径）；
第三个，Begin系列，不改变上下文路径，因此之前引入的符号会被直接拿来使用而不会创建新的。
因此，我们往往在BeginPackage和Begin之间引入要公开的符号，而在Begin中书写实现以减少符号冲突。

@magus000 感谢您的解答！不知道为什么不能在层中回复。。。我是一个新手，请问是否能详细介绍一下“在BeginPackage和Begin之间引入要公开的符号”的含义？另外，第一个代码我确实无法用?Test`K1查询到符号信息，我把输出结果贴在楼下

@asdasd1dsadsa 用BeginPackage似乎并不会直接用外层的。不过奇妙的是这个shadow，还有点迷惑，明明$ContextPath里是没有Test`的。

还是很迷惑啊