Dlaczego funkcja std :: nie może być powiązana z funkcjami variadic w stylu C?

Question

Na przykład, to nie trafia do kompilacji:

std::function<decltype(printf)> my_printf(printf);

z GCC, komunikat o błędzie brzmi:

error: variable 'std::function<int(const char*, ...)> my_printf' has initializer but incomplete type 
    std::function<decltype(printf)> my_printf(printf); 

Na początku myślałem, że to był błąd w gcc, ale potem spojrzał na standard i wygląda na to, że nie jest to obsługiwane. Jaki jest tego techniczny powód?

Answer 1

Kwestia jest jedną z realizacji. Powiedzmy, że to było możliwe. Następnie std::function musiałby zadeklarować (w przypadku printf)

int operator()(char* fmt, ...)

Wywołany, to wtedy trzeba zdać zawartość ... aby cokolwiek obiekt przypisany. Problem polega na tym, że nie ma wystarczającej wiedzy na temat argumentów, aby wiedzieć, JAK przekazać to, co jest problemem. printf() analizuje format, ale inni używają innych mechanizmów (popularna jest wartość "końca").

Dla rodziny funkcji printf proponuję zapoznać się z wersjami vXXX (np. Vprintf). Ponieważ używają dobrze zdefiniowanych argumentów (z których ostatnia jest zmienną listą argumentów), możliwe jest związanie tych wersji z std::function.

Edit:

Co można zrobić, jest jednak napisać własne otoki, który używa funkcji vprintf, i obsługuje vararg-> konwersji va_list.

#include <cstdio> 
#include <cstdarg> 
#include <functional> 

class PrintWrapper 
{ 

    public: 
    PrintWrapper() = default; 


    template<typename T> 
    PrintWrapper(T&& t) : func(std::forward<T>(t)) 
    { 

    } 


    int operator()(char const* format, ...) 
    { 
     va_list args; 
     va_start(args, format); 
     int result = func(format, args); 
     va_end(args); 
     return result; 
    } 
    private: 

    std::function< int(char const*, va_list)> func; 

}; 

int main() 
{ 
    // Note, you have to use the 'v' versions 
    PrintWrapper p = std::vprintf; 
    p("%d %d %s\n", 1,2, "hello"); 
    char buffer[256]; 
    using namespace std::placeholders; 
    p = std::bind(std::vsnprintf, buffer, sizeof(buffer), _1, _2); 

    p("%lf %s\n", 0.1234, "goodbye"); 

    // Since the previous step was a wrapper around snprintf, we need to print 
    // the buffer it wrote into 
    printf("%s\n", buffer); 

    return 0; 
} 

http://ideone.com/Sc95ch