std::placeholders:: _1, std::placeholders:: _2, ..., std::placeholders:: _N
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Old binders and adaptors | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Definiert im Header
<functional>
|
||
|
/*siehe unten*/
_1
;
/*siehe unten*/
_2
;
|
||
Der
std::placeholders
-Namespace enthält die Platzhalterobjekte
[_1, ..., _N]
, wobei
N
eine implementierungsdefinierte maximale Anzahl ist.
Wenn sie als Argument in einem
std::bind
-Ausdruck verwendet werden, werden die Platzhalterobjekte im generierten Funktionsobjekt gespeichert, und wenn dieses Funktionsobjekt mit ungebundenen Argumenten aufgerufen wird, wird jeder Platzhalter
_N
durch das entsprechende N-te ungebundene Argument ersetzt.
|
Jeder Platzhalter wird deklariert als ob durch extern /*unspecified*/ _1 ; . |
(bis C++17) |
|
Implementierungen werden ermutigt, die Platzhalter zu deklarieren als ob durch inline constexpr /*unspecified*/ _1 ; , obwohl ihre Deklaration durch extern /*unspecified*/ _1 ; vom Standard weiterhin erlaubt ist. |
(seit C++17) |
Die Typen der Platzhalterobjekte sind
DefaultConstructible
und
CopyConstructible
, ihre Standard-Kopier-/Verschiebekonstruktoren werfen keine Ausnahmen, und für jeden Platzhalter
_N
ist der Typ
std::
is_placeholder
<
decltype
(
_N
)
>
definiert, wobei
std::
is_placeholder
<
decltype
(
_N
)
>
von
std::
integral_constant
<
int
, N
>
abgeleitet ist.
Beispiel
Der folgende Code zeigt die Erstellung von Funktionsobjekten mit Platzhalterargumenten.
#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"); }
Ausgabe:
Hello World Goodbye World Goooooooogol
Siehe auch
|
(C++11)
|
bindet ein oder mehrere Argumente an ein Funktionsobjekt
(Funktions-Template) |
|
(C++11)
|
zeigt an, dass ein Objekt ein Standard-Platzhalter ist oder als solcher verwendet werden kann
(Klassen-Template) |
|
(C++11)
|
Platzhalter zum Überspringen eines Elements beim Auspacken eines
tuple
mittels
tie
(Konstante) |