C++ Funkcja wiążą powtarzające się argumenty dla funkcji curry

Question

Próbuję zrozumieć pojęcie curry i wywołanie funkcji, która konkluduje trzy ciągi, ale przechodząc tylko dwa ciągi i używając drugiego argumentu dwa razy.

Jednak gdy to zrobię, drugi argument nie zostanie w ogóle wysłany do funkcji i wydrukuje pusty ciąg znaków. Czy to naprawdę oczywisty błąd?

string concatthreestrings(string a,string b,string c){ 
    cout<<"Value of A: "<<a<<endl; 
    cout<<"Value of B: "<<b<<endl; 
    cout<<"Value of C: "<<c<<endl; 
    return a+b+c; 
} 


int main() 
{ 
    typedef std::function< string(string,string) > fun_t ; 
    using namespace std::placeholders; 
    fun_t fn = std::bind(concatthreestrings, _1, _2, _2); 
    cout<<endl<<fn("First","Second")<<endl; 

} 

Podaje poniżej dane wyjściowe. Nie używanie _2 dwa razy oznacza, że ​​drugi argument zostanie przekazany zarówno dla drugiego, jak i trzeciego. Jeśli użyjesz napisu na swoim miejscu, działa dobrze.

Answer 1

ciągi Kopiowanie jest drogie. Ponieważ std::bind uważa, że ​​wartości symboli zastępczych są używane tylko raz, wykonuje on ciąg znaków w postaci std::move. Odbywa się to dla każdego parametru iw konsekwencji, albo b lub c jest przeniesiony, co oznacza pusty ciąg.

Możesz zmienić to zachowanie, wyraźnie mówi, co masz na myśli, przekazując argumenty przez const odniesień:

string concatthreestrings(string const& a,string const& b,string const& c) 

Teraz powinno działać.

Answer 2

Zrobiłem kilka testów przy użyciu tego mniejszego przykład, który wykazuje takie samo zachowanie Masz:

#include <functional> 
#include <iostream> 
#include <string> 

using std::string; 

void print(string s1, string s2) 
{ 
    std::cout << s1 << s2 << '\n'; 
} 

int main() 
{ 
    using namespace std::placeholders; 

    typedef std::function< void(string) > fn_t; 

    fn_t func = std::bind(print, _1, _1); 

    std::string foo("foo"); 
    func(foo); 
} 

// outputs: foo 

pamiętać, że określony obiekt String o nazwie „foo” zamiast używać literały ciągów. Zachowanie jest takie samo, więc problem nie jest z tym związany.

Myślę, że problem pochodzi z twojego typedef. Zwrot z bind (który jest nieokreślony) jest rzutowany na funkcję przyjmującą wartość stringwedług wartości, podczas gdy opakowanie zwrócone przez bind prawdopodobnie bierze swoje argumenty za pomocą rvalue-reference i idealnie przekazuje je dalej. Zamiast używać własnego słowa kluczowego, powinieneś użyć słowa kluczowego auto, aby typ func został automatycznie wyprowadzony przez kompilator. Jeśli będziemy modyfikować główny następująco otrzymujemy oczekiwane zachowanie:

int main() 
{ 
    using namespace std::placeholders; 

    auto func = std::bind(print, _1, _1); 

    std::string foo("foo"); 
    func(foo); 
} 

// outputs: foofoo 

Innym rozwiązaniem jest wymienić typedef tak że func bierze swoją parametr przez odniesienie do const:

typedef std::function< void(string const &) > fn_t; 

I don Naprawdę rozumiem, dlaczego drugi typedef nie działa ... Przypuszczalnie ciąg jest przenoszony, jak zauważyła @ipc, ale nie wiem, w którym momencie wykonania tak się dzieje. Nie jestem nawet pewien, czy jest to standardowe zachowanie, ponieważ zarówno function, jak i opakowanie zwrócone przez bind powinny używać idealnego przekazywania. Być może GCC zawiera pewne optymalizacje, które przesuwają argumenty opakowania, gdy są przekazywane przez wartość?

Edit

Zrobiłem kilka testów, okazuje się wdrożenie GCC z std::function wykonuje ruch na swoich argumentów, natomiast powrót wrapper przez std::bind nie. Nadal nie wiem, czy to jest standardowe, zamierzam napisać pytanie na ten temat.