我想用System.Windows.Media命名空间里的MediaPlayer或MediaElement做一个播放器，可以播放本地或网上的音乐文件。
现在，我有个问题，就是当我播放一个网上的音乐时，完了后我觉得好听，想下载下来，
我想，既然已经播放一遍了，那是不是这个文件已经被下载到本地了？
如果是，我怎么获取它呢？
