Namespaces
Variants

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

С сайта ru.cppreference.net
 
 
Библиотека утилит
Поддержка языка
Поддержка типов (базовые типы, RTTI)
Макросы проверки возможностей библиотеки (C++20)
Утилиты программ
Функции с переменным числом аргументов
Поддержка корутин (C++20)
Поддержка контрактов (C++26)
Трёхстороннее сравнение
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Общие утилиты
Операторы отношений (устарело в C++20)
 
Функциональные объекты
Вызов функций
(C++17)(C++23)
Тождественный функциональный объект
(C++20)
Старые binder'ы и адапторы
(до C++17*)
(до C++17*)
(до C++17*)
(до C++17*)
(до C++17*)(до C++17*)(до C++17*)(до C++17*)
(до C++20*)
(до C++20*)
(до C++17*)(до C++17*)
(до C++17*)(до C++17*)

(до C++17*)
(до C++17*)(до C++17*)(до C++17*)(до C++17*)
(до C++20*)
(до C++20*)
 
Определён в заголовке <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

Смотрите также

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