使用模板作為元编程的技術需要兩階段的操作。首先，模板必須被定義；第二，定義的模板必須被實體化才行。 模板的定義描述了生成源碼的一般形式，而使實體化則導致了某些源碼的組合根據該模板而生成。 模板元編程是一般性地圖靈完全（Turing-complete），這意味著任何可被電算軟體表示的運算都可以透過模板超編程以某種形式去運算。...

元編程（英語：Metaprogramming），又譯超編程，是指某类计算机程序的编写，这类计算机程序编写或者操纵其它程序（或者自身）作为它们的資料，或者在编译时完成部分本应在运行时完成的工作。多数情况下，与手工编写全部代码相比，程序员可以获得更高的工作效率，或者给与程序更大的灵活度去处理新的情形而无需重新编译。...

编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式程式設計，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為語法（英语：Syntax (programming languages)）及語義。語法是說明編程...

模板庫和後來的Boost等程式庫的出現，泛型程序設計在C++中佔據了越來越多的比重。當然，同時由於Java、C#等語言的出現和硬體價格的大規模下降，C++受到了一定的衝擊；第三階段從2000年至今，由於以Loki、MPL(Boost)等程式庫為代表的產生式編程和模板元編程...

奇异重现模板模式（curiously recurring template pattern，CRTP）是C++模板编程时的一种惯用法（idiom）：把派生类作为基类的模板参数。更一般地被称作F-bound polymorphism，是一类F 界量化（英语：F-bounded quantification）。...

物件導向程式設計通常共享高階編程語言的低階功能。可用於建構一個程序的基本工具包括： 變數：能儲存一些內建型態的資訊如整數與字元，也有些是資料結構像是字串、串列與雜湊表等包含內建或複合的變數如指標。 程序：也稱為函式、方法或例程，是指輸入資料產生輸出結果，現代語言還包含結構化編程結構如程式迴圈與條件。 支持面向对象編程...

result_of（页面存档备份，存于互联网档案馆） - 指涉函式回返型別 序列化 語法分析器 預處理元編程 字串與文字處理（正規表示式等） lexical_cast - lexical_cast 类別模板 format（页面存档备份，存于互联网档案馆） - 文字格式化，类似printf iostreams（页面存档备份，存于互联网档案馆）...

编程范型、编程范式或程式設計法（英語：Programming paradigm），是指软件工程中的一类典型的编程风格。常见的编程范型有：函数式编程、指令式編程、过程式编程、面向对象编程等等。 编程范型提供并决定了程序员对程序执行的看法。例如，在面向对象编程中，程序员认为程序是一系列相互作用的对象，由...

Framework使用Scala編寫，並可以被編譯成Java虛擬機器位元組碼中的其他編程語言使用；例如Java語言。其旨在通過建立一個「約定優於配置」、「熱碼重裝」，以及「在瀏覽器中顯示錯誤」來優化開發人員的工作效率。 自1.1版本後，該應用框架就已經可以支持Scala編程語言。在2...

指令式編程（英語：Imperative programming）；是一種描述電腦所需作出的行為的编程范型。幾乎所有電腦的硬體都是指令式工作；幾乎所有電腦的硬體都是能執行机器语言，而機器碼是使用指令式的風格來寫的。較高階的指令式编程语言使用變數和更複雜的語句，但仍依從相同的典範。菜譜和行動清單，雖非電...

邏輯編程（逻辑程序设计）是種編程范式，它設定答案須符合的規則來解決問題，而非設定步驟來解決問題。過程是 算法=邏輯+控制。 不同的方法，可以看英語：Inductive logic programming。 邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。數學家和哲學家發現邏輯是有效的理論分析...

宣告式編程（英語：Declarative programming）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。 常見的宣告式語言包括：資料庫查詢語言如SQL的查询子集和XQuery（英语：XQuery），正则表达式...

模板偏特化（template partial specialization）。其中，enum定义了各种类的标识的统一表示；typedef定义了各个类的各自不同的类型定义，这对于使用模板元编程（template meta-programming）的灵活性非常重要；模板偏特化用于实现各个类的不同功能。...

在藝術和建築中，裝飾或視覺圖案可以透過組合和重複以形成設計，以對於觀看者產生特定的效果。在計算機科學中，軟體設計模式是對一類編程問題的已知解決方案。在時尚界，圖案是用於創造任意數量的類似服裝的模板。 在模式之中，某些固定的元素不斷以可預測的方式週期性重現。最基本而常見的模式，稱為密鋪，具備重複性以及週期性兩大...

函数式编程，或称函数程序设计、泛函编程（英語：Functional programming），是一种编程范型，它将电脑运算视为函数运算，并且避免使用程式状态（英语：State (computer science)）以及可變物件。 在函数式编程中，函数是头等对象即头等函数，这意味着一个函数，既可以作为...

上進行測試，这一过程是現代集成电路设计验证的技術主流。这些可编程逻辑元件可以被用来实现一些基本的邏輯閘数字电路（比如与门、或门、异或门、非门）或者更复杂一些的组合逻辑功能，比如译码器等。在大多数的FPGA里面，这些可编辑的元件里也包含記憶元件，例如正反器（Flip－flop）或者其他更加完整的記憶塊，从而构成时序逻辑电路。...

面向方面编程（Aspect-oriented programming，AOP，又译作面向方面程序设计、面向切面程序设计、剖面导向程序设计），是计算机科学中的一种编程范型，旨在将交叉切入关注与作为业务主体的核心关注进行分离，以提高程序代码的模块化程度。“方面”（aspect）通过规定叫做“点切入”（p...

模板類function將定義在標頭檔<functional>，而不須更動到語言本身。 對於那些能自行創建或修改本身或其它程式的程式，我們稱之為元編程。這種行為可以發生在編譯或執行期。C++標準委員會已經決定引進一組由模板實現的函式庫，程式員可利用此一函式庫於編譯期進行元編程。 底下是一個以元編程來計算指數的例子：...

过程式程序设计（英語：Procedural programming），又稱过程化編程，一種編程典範，衍生自指令式編程，有時會被視為是同義語。主要要採取过程调用或函数调用的方式來進行流程控制。流程則由包涵一系列運算步驟的过程（Procedures），例程（routines），子程序（subroutines）,...

多范型编程语言（英語：Multi-paradigm programming language），是一種可以支持超過一種編程范型的程式語言。「Multi-paradigm」这个词是由丹麥計算機科學家比雅尼·斯特劳斯特鲁普（Bjarne Stroustrup）博士在其著作中提出的，用于表述C++可以同时...

JavaScript（通常缩写为JS）是一门基于原型和头等函数的多范式高级解释型编程语言，它支持面向对象程式設計、指令式编程和函数式编程。它提供方法来操控文本、数组、日期以及正则表达式等。不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它由Ecma通过ECMAScript实...

oto指令。在其1974年發表的論文《使用goto指令的結構化編程》（Structured Programming with Goto Statements）中，他提出了一些程式，使用goto指令可以使得程式更清楚而有效率，也不會犧牲程式的可讀性。高德納提出了一個較鬆的結構限制要求：將程式以流程圖...

可编程只读存储器（英語：Programmable read-only memory），縮寫為PROM或FPROM，是一種電腦存儲記憶晶片，每個位元都由熔絲或反熔絲的狀態決定資料內容。這種記憶體用作永久存放程式之用。常用於電子遊戲機、電子詞典等預存固定資料或程式的各式電子產品之上。PROM與狹義的ROM（Mask...

並處理它們以產生輸出文件。與廣泛實作的指令式編程語言（例如C編程語言）相反，XSLT是宣告式的。基本處理的範式是模式配比。模板規則只定義如何處理特定XPath模式相符的節點，而不是列出在具有狀態的環境中執行的一系列動作；處理器在遇到某一模式符合時，那麼模板規則的內容就包含了，以函數式語句評估的直接成果：即結果樹，它是處理器輸出的基礎。...

模块化编程密切相关于结构化编程和面向对象编程，它们有着相同目标，即通过分解成更小部份的方式，促进大型软件和系统的建构，并且都大致起源于1960年代。尽管这些术语在历史上的用法曾经是不相容的，在现代的术语运用中： 模块化编程，指称将整个程序的代码分开成各部份的高层分解。 结构化编程，是采用结构化控制流的低层代码使用。...

自动机编程（英語：Automata-based programming）是編程範式中的一種，是指程式或其中的部份是以有限狀態機（FSM）為模型的程式，有些程式則會用其他型式（也更複雜）的自動機為其模型。 有限狀態機編程（英語：FSM-based programming）大致上等同於自动机编程...

量子編程（Quantum programming）是匯編指令序列之行程，稱為量子程序，能夠在量子計算機上運行。量子編程語言使用高級結構化的形式以助表達量子演算法的計算。 量子指令集用於將更高級別的演算法轉換為可以在量子處理器上執行的物理指令。有時這些指令是特定於給定的硬體平台，例如離子阱或超導量子位元（英语：Superconducting...

Lisp（過去拼寫為LISP）是具有悠久歷史的計算機編程語言家族，有獨特的完全用圓括號的前綴符號表示法。它起源於1958年，是現今第二悠久而仍廣泛使用的高階程式語言，只有FORTRAN編程語言比它更早一年。Lisp編程語族已經演變出許多種方言，現代最著名的通用編程方言是Scheme、Common Lisp和新近的Clojure。...

本书未探讨POSIX及SUS的实时编程接口的扩展。 丹尼斯·里奇也为本书第2版作序。 本书第一版的中文版由机械工业出版社于2000年出版，尤晋元等译 本书第二版的中文版由人民邮电出版社于2006年出版，尤晋元、张亚英、戚正伟等译 本书第三版的中文版由人民邮电出版社于2014年出版，尤晋元、张亚英、戚正伟等译 UNIX基础知识...

EEPROM分为四種工作模式：讀取模式、寫入模式、擦除模式、校驗模式。讀取時，芯片只需要Vcc低電壓（一般+5V）供電。而在編程寫入時，芯片会通過Vpp（一般+25V, 有时較新者會使用 +12V 或 +5V）獲得編程電壓，並通過PGM編程脈衝（一般為50ms）寫入數據。擦除時，只需使用Vpp高電壓，不需要紫外線照射，便可以擦除指...

元编程。Ur/Web是Ur加上特殊的标准库和用于解析和优化的关联规则。Ur/Web编译器还产生不使用垃圾回收的非常高效的目标代码。所有这些实现都是开放源代码的。 Ur/Web支持构造以SQL数据库为后端的动态web应用。嵌入到语言中的SQL语法模板...