描述

元函数是一个类或类模板，它表示一个可以在编译时调用的函数。非零元元函数通过使用特定的模板参数（元函数参数）实例化类模板来调用；元函数应用的结果可以通过实例化的嵌套typetypedef 访问。所有元函数的参数都必须是类型（即只允许类型模板参数）。一个元函数可以有可变数量的参数。零元元函数表示为一个具有嵌套typetypename 成员的（模板）类。

表达式要求

在下表和后续规范中，f是一个 元函数。

表达式语义

typedef f::type x;

typedef f<>::type x;

typedef f<a1,... an>::type x;

模型

• identity
• plus
• begin
• insert
• fold

另请参阅

元函数、元函数类、Lambda 表达式、调用、apply、lambda、bind