非immutableメンバ関数内で排他制御をしなきゃならん、じゃなくて、
メンバ関数を呼び出す側が排他制御をする必要があるかどうか判断できる、
ということのような気がする。