「独習C# 第３版」第１１章(p416) 標準ストリームのリダイレクトをクローズした後、標準出力をディスプレイに戻す方法

usingSystem;usingSystem.IO;usingSystem.Text;namespacep417{classRedirect{staticvoidMain(string[]args){Console.WriteLine("logfile.txtへ出力するようリダイレクト");StreamWriterlog_out;try{log_out=newStreamWriter("logfile.txt");}catch(IOExceptionexc){Console.WriteLine(exc.Message);return;}// logfile.txtへ出力するようリダイレクトConsole.SetOut(log_out);try{Console.WriteLine("This is the start of the log file.");for(inti=0;i<10;i++)Console.WriteLine(i);Console.WriteLine("This is the end of the log file.");}catch(IOExceptionexc){Console.WriteLine(exc.Message);}log_out.Close();/*
            // リダイレクトをディスプレイに戻す（以下、３行を追記。／＊と＊／記号を外せば、エラーが修正される。）
            var standardOutput = new StreamWriter(Console.OpenStandardOutput(),Encoding.Default);
            standardOutput.AutoFlush = true;    //StreamWriter が呼び出されるたびに、Write(Char) によって基になるストリームに対するバッファーをフラッシュするかどうかを示す値を取得または設定します。
            Console.SetOut(standardOutput);
*///　ディスプレイに出力Console.WriteLine("標準出力がファイルからディスプレイに戻る。");Console.WriteLine("リダイレクトの結果logfile.txtを、実行ファイルのあるフォルダに出力しました。");Console.WriteLine();}}}