std::is_placeholder

定义于头文件 `<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 > 0 指示 T 应被处理成第 N 个占位符类型的基特征 (BaseCharacteristic) 。

std::bind 用 std::is_placeholder 检测未绑定参数的占位符。

辅助变量模板

template< class T > inline 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 <iostream>
#include <type_traits>
#include <functional>
 
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<decltype(std::placeholders::_5)>::value
              << '\n';
 
    auto b = std::bind(f, my_2, 2);
    std::cout << "Adding 2 to 11 selected with a custom placeholder gives " 
              << b(10, 11) // 忽略首参数，即 10
              << '\n';
}

输出：

Standard placeholder _5 is for the argument number 5
Adding 2 to 11 selected with a custom placeholder gives 13

参阅

bind (C++11)	绑定一或多个实参到函数对象 (函数模板)
_1, _2, _3, _4, ... (C++11)	用作 `std::bind` 表达式中的未绑定实参的占位符 (常量)

语言
标准库头文件
自立与有宿主实现
具名要求
语言支持库
概念库 (C++20)
诊断库
工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
输入/输出库
本地化库
正则表达式库 (C++11)
原子操作库 (C++11)
线程支持库 (C++11)
文件系统库 (C++17)
技术规范