式最後の難関、定数式

定数式（Constant Expression）だ。これを真面目に説明すべきかどうかというのが、問題だ。今まで、定数式について真面目に説明している参考書をみたことがない。かくいう私も、定数式の具体的な定義については暗記しているわけではないし、そもそも、真面目に定数式の定義を読んだことがない。

そして、定数式の標準の定義は、ブラックリスト方式なのだ。この式はダメ、あの式はダメ。この式はこの場合ダメ。などという文面が延々と続いている。

一方で、constexprという新機能が導入された以上、定数式をいい加減に済ますこともできない。どうすべきか