種別[gsm] 2021-09-01T12:59:26Z
セクショングローバル共有メモ
日時2021-09-01T12:59:26Z
元URL(URLなし)

[仏教の最適化プログラムの続き。] オプション -S または --save…

jrf> [仏教の最適化プログラムの続き。]

オプション -S または --save のふしぎ。

オプション -S または --save は他の boolean 型のオプションとは少し違う。-L または --load を指定してオプションがロードされるとき、このセーブのオプションだけは読み込まれず、常に False の状態に修正される。このため、ロードしたあともセーブしたいなら、新たに -S または --save を指定しなければならない。

これは、--no-save または -S- がなかったころの名残りである。そのころは boolean 型のオプションを一度指定すると、ロードしたあとに修正する手段がなかった。セーブに関してはさすがにそれはまずく、同じセーブで複数の結果を得たいといったとき不便だったので、しかたなく、ロードしたときに常に False にする運用にしたのだった。

今は --no-save または -S- があるため、常に False にする必要はないのだが、便利なこともあり、保守的な判断でそのままにしている。