標題頁 / 元函數 / 概念 / 元函數類

元函數類

概要

元函數類 元函數的一種特定表示方式,以支持高階元編程。具體地說,它是一個帶有名為 apply 的公有訪問的內嵌 元函數 的類。對應地,元函數類的調用被定義為對內嵌的 apply 元函數的調用。

表達式要求

在下表以及後續說明中,f 是一個 元函數

表達式 類型 複雜度
f::apply::type 任意類型 未指定
f::apply<>::type 任意類型 未指定
f::apply<a1,...an>::type 任意類型 未指定

表達式語義

typedef f::apply::type x;
前置條件: f 是一個無參 元函數類; f::apply::type 是一個 類型名
語義: x 為元函數調用的結果
typedef f::apply<>::type x;
前置條件: f 是一個無參 元函數類; f::apply<>::type 是一個 類型名
語義: x 為元函數調用的結果
typedef f::apply<a1,...an>::type x;
前置條件: f 是一個 n-元 元函數類; apply 是一個 元函數
語義: x 為以實參 a1,... an 調用元函數所得的結果

Models

參見

元函數, 元函數, Lambda 表達式, 調用, apply_wrap, bind, quote