>187
> ふむ。リダイレクトするとだめか。コンソールは EOF を受け取ったあとでも、さらに入力があれば getchar() できる、という点にかかっているわけですかね。
死ねクズ。一度エンドオブファイルになったらgetcharはずーっとEOFだ。

> まさか、echo -n '(1+2+'と等価な入力はキーボードからはやってこないとか言うなよ。w
まさか、これとおなじデータ列をキーボードから入力する方法を知らない? www

$ ./a.out
(1+2+CTRL-DCTRL-D

CTRL-Dを二度押し