Console.ReadLine() にタイムアウトを追加するにはどうすればいいですか? 質問する

5 年経った今でも、すべての回答に以下の問題の 1 つ以上が残っていることに驚きました。

• ReadLine 以外の関数が使用されているため、機能が失われます。(前の入力には Delete/Backspace/Up キーを使用します)。
• 関数は、複数回呼び出されると不正な動作をします (複数のスレッドが生成されたり、ReadLine が多数ハングしたり、その他の予期しない動作が発生します)。
• 関数はビジー待機に依存しています。待機は数秒からタイムアウトまで、場合によっては数分かかるため、これは非常に無駄です。このような時間実行されるビジー待機はリソースを大量に消費し、特にマルチスレッド シナリオでは問題となります。ビジー待機がスリープで変更されると、応答性に悪影響を及ぼしますが、これはおそらく大きな問題ではないことは認めます。

私の解決策は、上記のいずれの問題にも悩まされることなく、元の問題を解決できると信じています。

class Reader {
  private static Thread inputThread;
  private static AutoResetEvent getInput, gotInput;
  private static string input;

  static Reader() {
    getInput = new AutoResetEvent(false);
    gotInput = new AutoResetEvent(false);
    inputThread = new Thread(reader);
    inputThread.IsBackground = true;
    inputThread.Start();
  }

  private static void reader() {
    while (true) {
      getInput.WaitOne();
      input = Console.ReadLine();
      gotInput.Set();
    }
  }

  // omit the parameter to read a line without a timeout
  public static string ReadLine(int timeOutMillisecs = Timeout.Infinite) {
    getInput.Set();
    bool success = gotInput.WaitOne(timeOutMillisecs);
    if (success)
      return input;
    else
      throw new TimeoutException("User did not provide input within the timelimit.");
  }
}

try {
  Console.WriteLine("Please enter your name within the next 5 seconds.");
  string name = Reader.ReadLine(5000);
  Console.WriteLine("Hello, {0}!", name);
} catch (TimeoutException) {
  Console.WriteLine("Sorry, you waited too long.");
}

  public static bool TryReadLine(out string line, int timeOutMillisecs = Timeout.Infinite) {
    getInput.Set();
    bool success = gotInput.WaitOne(timeOutMillisecs);
    if (success)
      line = input;
    else
      line = null;
    return success;
  }

Console.WriteLine("Please enter your name within the next 5 seconds.");
string name;
bool success = Reader.TryReadLine(out name, 5000);
if (!success)
  Console.WriteLine("Sorry, you waited too long.");
else
  Console.WriteLine("Hello, {0}!", name);