std::is_placeholder
来自 cppreference.com
< cpp | utility | functional
| 在头文件 <functional> 中定义 |
||
| template< class T > struct is_placeholder; |
(自 C++11 起) | |
如果 T 是标准占位符 (_1, _2, _3, ...) 的类型，则此模板派生自 std::integral_constant<int, 1>，std::integral_constant<int, 2>，std::integral_constant<int, 3>，分别。
如果 T 不是标准占位符类型，则此模板派生自 std::integral_constant<int, 0>。
程序可以为 程序定义的类型 T 特化此模板，以实现 UnaryTypeTrait，其基本特征为 std::integral_constant<int, N>，其中正数 N 表示 T 应被视为 Nth 占位符类型。
std::bind 使用 std::is_placeholder 来检测未绑定参数的占位符。
内容 |
[编辑] 辅助变量模板
| template< class T > constexpr int is_placeholder_v = is_placeholder<T>::value; |
(自 C++17 起) | |
继承自 std::integral_constant
成员常量
| value [静态] |
占位符值或 0 用于非占位符类型 (公共静态成员常量) |
成员函数
| operator int |
将对象转换为 int，返回 value (公共成员函数) |
| operator() (C++14) |
返回 value (公共成员函数) |
成员类型
| 类型 | 定义 |
value_type
|
int |
type
|
std::integral_constant<int, value> |
[编辑] 示例
运行此代码
#include <functional> #include <iostream> #include <type_traits> struct My_2 {} my_2; namespace std { template<> struct is_placeholder<My_2> : public integral_constant<int, 2> {}; } int f(int n1, int n2) { return n1 + n2; } int main() { std::cout << "Standard placeholder _5 is for the argument number " << std::is_placeholder_v<decltype(std::placeholders::_5)> << '\n'; auto b = std::bind(f, my_2, 2); std::cout << "Adding 2 to 11 selected with a custom placeholder gives " << b(10, 11) // the first argument, namely 10, is ignored << '\n'; }
输出
Standard placeholder _5 is for the argument number 5 Adding 2 to 11 selected with a custom placeholder gives 13
[编辑] 另见
| (C++11) |
将一个或多个参数绑定到函数对象 (函数模板) |
| (C++11) |
std::bind 表达式中未绑定参数的占位符(常量) |
