Mengapa fungsi konsteval memungkinkan perilaku tidak terdefinisi?

Ada properti yang sangat rapi dari ekspresi konstan dalam C ++: evaluasi mereka tidak dapat memiliki perilaku yang tidak terdefinisi ( 7.7.4.7 ): Ekspresi e adalah ekspresi konstanta inti kecuali evaluasi e, mengikuti aturan mesin abstrak ([intro.execution]), akan mengevaluasi salah satu dari...