std::placeholders:: _1, std::placeholders:: _2, ..., std::placeholders:: _N
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Old binders and adaptors | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Определено в заголовке
<functional>
|
||
|
/*see below*/
_1
;
/*see below*/
_2
;
|
||
Пространство имён
std::placeholders
содержит объекты-заполнители
[_1, ..., _N]
, где
N
— определённое реализацией максимальное количество.
При использовании в качестве аргумента в выражении
std::bind
объекты-заполнители сохраняются в сгенерированном функциональном объекте, и когда этот функциональный объект вызывается со несвязанными аргументами, каждый заполнитель
_N
заменяется соответствующим N-м несвязанным аргументом.
|
Каждый placeholder объявляется как будто бы с помощью extern /*unspecified*/ _1 ; . |
(до C++17) |
|
Реализациям рекомендуется объявлять placeholders как будто бы с помощью 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)
|
указывает, что объект является стандартным заполнителем или может использоваться как таковой
(шаблон класса) |
|
(C++11)
|
заполнитель для пропуска элемента при распаковке
tuple
с использованием
tie
(константа) |