std:: is_placeholder

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 が N ^番目の プレースホルダ型として扱われるべきであることを示します。

std::bind は、未束縛引数のプレースホルダーを検出するために std::is_placeholder を使用します。

ヘルパー変数テンプレート

例

#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

関連項目