C++ 14 Entwurf n4140 liest T wird für template <class T> struct underlying_type ein Aufzählungstyp sein. Wie schlimm ist es std::conditional_t<std::is_enum<T>::value, std::underlying_type_t<T>, foo>
In Lambda-Kalkül, wenn ein Begriff normale Form hat, wird normale Ordnungsreduktions-Strategie immer es produzieren. Ich frage mich nur, wie man den obigen Vorschlag strikt zu beweisen?
Ich weiß, dass dieses Thema mehrmals diskutiert wurde, aber es ist etwas immer noch unklar für mich. Ich habe diese Frage gelesen applicative-order/call-by-value and normal-order/call-by-name differen