うっかりCスタイルで書いてしまったので，C++スタイルに修正．