>>35
> void型にキャストすることも副作用であるという内容が書かれてます

そんなことは書かれていない。
void型キャストは実行環境に変化を与えない(which are changes in the state of the execution environment. に該当しない)。
並べられている例にも当てはまるものはない。