std::placeholders::_1, std::placeholders::_2, ..., std::placeholders::_N

Определено в заголовочном файле `<functional>`
/see below/ _1; /see below/ _2; . . /see below/ _N;

Пространство имён std::placeholders содержит объекты-заменители [_1, ..., _N], где N — максимально допустимое число, определённое реализацией.

При использовании в качестве аргумента в выражении std::bind, объекты-заменители хранятся в сгенерированном объекте функции, и когда этот объект функции вызывается с несвязанными аргументами, каждый заполнитель _N заменяется соответствующим N-ым несвязанным аргументом.

Каждый заполнитель объявляется так, как если бы он был объявлен `extern /unspecified/ _1;`.	(до C++17)
Реализации рекомендуют объявлять заполнитель, как если бы он был объявлен `inline constexpr /unspecified/ _1;`, хотя объявление с помощью `extern /unspecified/ _1;` всё ещё разрешено стандартом.	(с C++17)

Типы объектов-заполнителей являются DefaultConstructible и CopyConstructible, их конструкторы по умолчанию для копирования/перемещения не выбрасывают исключений, и для любого заполнителя _N, тип std::is_placeholder<decltype(_N)> определён, где std::is_placeholder<decltype(_N)> происходит от std::integral_constant<int, N>.

Пример

Следующий код демонстрирует создание объектов функций с аргументами-заполнителями.

#include <functional>
#include <iostream>
#include <string>
 
void goodbye(const std::string& s)
{
    std::cout << "Goodbye " << s << '\n';
}
 
class Object
{
public:
    void hello(const std::string& s)
    {
        std::cout << "Hello " << s << '\n';
    }
};
 
int main()
{
    using namespace std::placeholders;
 
    using ExampleFunction = std::function<void(const std::string&)>;
    Object instance;
    std::string str("World");
 
    ExampleFunction f = std::bind(&Object::hello, &instance, _1);
    f(str); // equivalent to instance.hello(str)
 
    f = std::bind(&goodbye, std::placeholders::_1);
    f(str); // equivalent to goodbye(str)
 
    auto lambda = [](std::string pre, char o, int rep, std::string post)
    {
        std::cout << pre;
        while (rep-- > 0)
            std::cout << o;
        std::cout << post << '\n';
    };
 
    // binding the lambda:
    std::function<void(std::string, char, int, std::string)> g =
        std::bind(&decltype(lambda)::operator(), &lambda, _1, _2, _3, _4);
    g("G", 'o', 'o'-'g', "gol");
}

Вывод:

Hello World
Goodbye World
Goooooooogol

См. также

bind (C++11)	связывает один или несколько аргументов с объектом функции (шаблон функции)
is_placeholder (C++11)	указывает, что объект является стандартным заполнителем или может использоваться в качестве такового (шаблон класса)
ignore (C++11)	заполнитель для пропуска элемента при распаковке `tuple` с помощью `tie` (константа)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/utility/functional/placeholders