为什么调用定义的构造函数会导致结构声明中的错误，以及如何修复它？

-1

请考虑以下编译的简短程序。为什么调用定义的构造函数会导致结构声明中的错误，以及如何修复它？

void foobar() { 
} 

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

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

如果我改变线main为以下，

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

代码失败，出现以下错误编译。

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;

为什么会发生这种情况，我该如何正确传递函数？

这里是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)

来源

2016-06-07 merlin2011

你是什么意思的“作品”？ – juanchopanza

@juanchopanza，我的意思是我试图将该函数传递给构造函数，以便稍后调用它。 – merlin2011

你是什么意思的“作品”？ – juanchopanza

Foo<decltype(foobar)> foo1();

不是对象的实例化，它是不接受任何参数和返回Foo<decltype(foobar)>的函数的声明。

来源

2016-06-07 22:57:02 bipll

诚如@bipll回答指出，第一条语句，你问：

Foo<decltype(foobar)> foo1();

仅仅是返回一个Foo，而不是一个初始化函数的声明。

至于第二个问题，我们如何做以下工作？

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

我们可以在模板简单地更改为decay the captured type：

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

现在，使用一个例子：

#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(); 
}

将返回1预期的输出。

来源

2016-06-07 23:51:57 donkopotamus

为什么调用定义的构造函数会导致结构声明中的错误，以及如何修复它？

回答

相关问题