C++语言

“谓词特性（predicate trait）”是基于某种类型特征的布尔值。C++ 提供了许多内置的“伪模板（dummy templates）”，用于检测各种类型特性（例如，std::is_floating_point<int>::value 在**编译时（compile-time）**解析为 false）。