为什么调用定义的构造函数会导致结构声明中出现错误，我该如何修复它

Why does the invocation of the defined constructor causes an error in the declaration of the structure, and how can I fix it?

本文关键字：错误 何修复 声明 定义 调用 构造函数 结构 为什么      更新时间：2023-10-16

考虑以下编译的短程序。

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) 

Foo<decltype(foobar)> foo1();

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

正如@bill的回答中所指出的，您询问的第一条语句：

Foo<decltype(foobar)> foo1();

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

关于第二个问题，我们如何才能使以下工作发挥作用？

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

我们可以简单地将模板更改为衰减捕获的类型：

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

将返回CCD_ 5的预期输出。

相关文章：