1

C++1z は概念 (制約 + 公理) を言語に導入する必要があります。すでに述べた公理 (再帰的、交換的、推移的) を除いて、他に役立つ公理は何ですか? 公理はコンパイラの最適化にのみ使用するべきですか、それとも別の目的にも使用できますか?

4

0 に答える 0