Warum verursacht der Aufruf des definierten Konstruktors einen Fehler in der Deklaration der Struktur und wie kann ich ihn beheben?

Question

Betrachten Sie das folgende kurze Programm, das kompiliert.

void foobar() { 
} 

template <typename F> struct Foo{ 
    F workFunction; 
    Foo(F f) : workFunction(f) { } 
}; 

int main(){ 
    Foo<decltype(foobar)> foo1(); 
} 

Wenn ich die Zeile in main die folgenden ändern,

Foo<decltype(foobar)> foo1(foobar); 

Der Code schlägt mit dem folgenden Fehler zu kompilieren.

g++ -std=c++11 -O2 Task.cc -o Task 
Task.cc: In instantiation of ‘struct Foo<void()>’: 
Task.cc:10:38: required from here 
Task.cc:5:7: error: field ‘Foo<void()>::workFunction’ invalidly declared function type 
    F workFunction; 

Warum passiert das und wie kann ich die Funktion korrekt übergeben?

Hier ist der Ausgang g++ -v.

$ g++ -v 
Using built-in specs. 
COLLECT_GCC=g++ 
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.9/lto-wrapper 
Target: x86_64-linux-gnu 
Configured with: ../src/configure -v --with-pkgversion='Debian 4.9.2-10' --with-bugurl=file:///usr/share/doc/gcc-4.9/README.Bugs --enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.9 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.9 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --disable-vtable-verify --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.9-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.9-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.9-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --with-arch-32=i586 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu 
Thread model: posix 
gcc version 4.9.2 (Debian 4.9.2-10) 

Answer 1

Foo<decltype(foobar)> foo1(); 

ist kein Objekt Instanziierung, es ist eine Erklärung einer Funktion ist, die keine Argumente annimmt und kehrt Foo<decltype(foobar)>.

Answer 2

Wie in der Antwort von @bipll erwähnt, stellen die erste Anweisung Sie:

Foo<decltype(foobar)> foo1(); 

ist einfach eine Erklärung einer Funktion eines Foo, nicht eine Initialisierung zurück.

Wie zur zweiten Frage, wie können wir die folgende Arbeit machen?

Foo<decltype(foobar)> foo1(foobar); 

Wir konnten einfach die Vorlage decay the captured type ändern:

template <typename F> struct Foo{ 
    typename std::decay<F>::type workFunction; 
    Foo(F f) : workFunction(f) { } 
}; 

nun an einem Beispiel:

#include <type_traits> 

int foobar() { 
    return 1; 
} 

template <typename F> struct Foo{ 
    typename std::decay<F>::type workFunction; 
    Foo(F f) : workFunction(f) { } 
}; 

int main(){ 
    Foo<decltype(foobar)> foo1(foobar); 
    std::cout << foo1.workFunction(); 
} 

wird die erwartete Ausgabe von 1 zurückzukehren.