为什么ctrl-d不以mono格式发送eof?

以下面的C文件为例,这是对我的问题最简单的可能的重新解释:

using System;
using System.IO;

public static class Test
{
    public static void Main(string[] args)
    {
        string line;
        while ((line = Console.In.ReadLine()) != null)
        {
            Console.Out.WriteLine(line);
        }
    }
}

当我在mono下构建它并在控制台上运行它时,除了我不能发送eof之外,一切都正常工作。键入ctrl-d只会在命令行中添加一个奇怪的字符。我想我在检查EOF的方法不对,但是 Console.In 是一个 TextReader ,没有 EndOfFile 财产。我怎么修这个?