CppCon 2017: Herb Sutter “Meta: Thoughts on generative C++”
延續編譯時期決定的主題, 並不是所有的超編程都是圖靈完備,但 C++ 的樣板已經是圖靈完備。 Herb Sutter 開場先提了 Three-way comparison(<=>) 符號說明好的語法是更簡單但功能更強。接著透過 constexpr 說明編譯時期決定與執行時期碼可以互轉的抽象層次思考,最後以 Metaclass 的概念帶入 C++20 concept 的設計理念。
中英對照:超編程(Metaprogramming)、圖靈完備(Turing-complete)
By Sidney Niu