我正在尝试有一个指向函数的指针向量。这是我的函数：
int func(const unsigned int &myInt)
{
std::cout << __func__ << "nMy numb is " << myInt << std::endl;
return myInt;
}
int (const unsigned int&)类型的简单函数。当我尝试使用int (*)(const unsigned int&)(带有*，因为我们需要一个指针向量(类型时，一切都很好，它的编译没有错误。
int func(const unsigned int &myInt)
{
std::cout << __func__ << "nMy numb is " << myInt << std::endl; // we print the name of the function and the integer provided
return myInt;
}
int main()
{
std::vector<int (*)(const unsigned int&)> myVector;
myVector.push_back(func); // the first element is the function
myVector[0](999); // we call it
return 0;
}
输出符合预期：
func
My numb is 999
我被告知，decltype与*运算符一起使用时返回此类型，但是当我尝试编译它时，它失败了：
int func(const unsigned int &myInt)
{
std::cout << __func__ << "nMy numb is " << myInt << std::endl;
return myInt;
}
int main()
{
std::vector<decltype(*func)> myVector;
myVector.push_back(func);
myVector[0](999);
return 0;
}
为了确保decltype(*func)是我想要的类型，我编写了另一个函数，它将这个函数作为参数，运行它并返回它：
decltype(*func) controlFunc(const unsigned int &myInt, const decltype(*func) &myFunc)
{
myFunc(myInt);
return myFunc;
}
这个编译和运行得很好。
controlFunc(999, func)(999); // we run the function returned
// output:
// func
// My numb is 999
// func
// My numb is 999
vector<decltype(*func)>decltype有什么特别之处？我知道在没有*的情况下使用时，decltype返回函数类型，而不是指向函数的指针，因此在我们的向量中没有用。如何使用decltype创建矢量？
我收到的错误消息是：
In file included from c:mingwlibgccmingw326.3.0includec++extalloc_traits.h:36:0,
from c:mingwlibgccmingw326.3.0includec++bitsbasic_string.h:40,
from c:mingwlibgccmingw326.3.0includec++string:52,
from c:mingwlibgccmingw326.3.0includec++bitslocale_classes.h:40,
from c:mingwlibgccmingw326.3.0includec++bitsios_base.h:41,
from c:mingwlibgccmingw326.3.0includec++ios:42,
from c:mingwlibgccmingw326.3.0includec++ostream:38,
from c:mingwlibgccmingw326.3.0includec++iostream:39,
from C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:1:
c:mingwlibgccmingw326.3.0includec++bitsalloc_traits.h: In instantiation of 'struct std::allocator_traits<std::allocator<int (&)(const unsigned int&)> >':
c:mingwlibgccmingw326.3.0includec++extalloc_traits.h:50:10: required from 'struct __gnu_cxx::__alloc_traits<std::allocator<int (&)(const unsigned int&)> >'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:75:28: required from 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:214:11: required from 'class std::vector<int (&)(const unsigned int&)>'
C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:12:31: required from here
c:mingwlibgccmingw326.3.0includec++bitsalloc_traits.h:372:27: error: forming pointer to reference type 'int (&)(const unsigned int&)'
using pointer = _Tp*;
^
c:mingwlibgccmingw326.3.0includec++bitsalloc_traits.h:375:39: error: forming pointer to reference type 'int (&)(const unsigned int&)'
using const_pointer = const _Tp*;
^
In file included from c:mingwlibgccmingw326.3.0includec++bitsbasic_string.h:40:0,
from c:mingwlibgccmingw326.3.0includec++string:52,
from c:mingwlibgccmingw326.3.0includec++bitslocale_classes.h:40,
from c:mingwlibgccmingw326.3.0includec++bitsios_base.h:41,
from c:mingwlibgccmingw326.3.0includec++ios:42,
from c:mingwlibgccmingw326.3.0includec++ostream:38,
from c:mingwlibgccmingw326.3.0includec++iostream:39,
from C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:1:
c:mingwlibgccmingw326.3.0includec++extalloc_traits.h: In instantiation of 'struct __gnu_cxx::__alloc_traits<std::allocator<int (&)(const unsigned int&)> >':
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:75:28: required from 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:214:11: required from 'class std::vector<int (&)(const unsigned int&)>'
C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:12:31: required from here
c:mingwlibgccmingw326.3.0includec++extalloc_traits.h:66:23: error: no members matching '__gnu_cxx::__alloc_traits<std::allocator<int (&)(const unsigned int&)> >::_Base_type {aka std::allocator_traits<std::allocator<int (&)(const unsigned int&)> >}::allocate' in '__gnu_cxx::__alloc_traits<std::allocator<int (&)(const unsigned int&)> >::_Base_type {aka struct std::allocator_traits<std::allocator<int (&)(const unsigned int&)> >}'
using _Base_type::allocate;
^~~~~~~~
c:mingwlibgccmingw326.3.0includec++extalloc_traits.h:67:23: error: no members matching '__gnu_cxx::__alloc_traits<std::allocator<int (&)(const unsigned int&)> >::_Base_type {aka std::allocator_traits<std::allocator<int (&)(const unsigned int&)> >}::deallocate' in '__gnu_cxx::__alloc_traits<std::allocator<int (&)(const unsigned int&)> >::_Base_type {aka struct std::allocator_traits<std::allocator<int (&)(const unsigned int&)> >}'
using _Base_type::deallocate;
^~~~~~~~~~
In file included from c:mingwlibgccmingw326.3.0includec++mingw32bitsc++allocator.h:33:0,
from c:mingwlibgccmingw326.3.0includec++bitsallocator.h:46,
from c:mingwlibgccmingw326.3.0includec++string:41,
from c:mingwlibgccmingw326.3.0includec++bitslocale_classes.h:40,
from c:mingwlibgccmingw326.3.0includec++bitsios_base.h:41,
from c:mingwlibgccmingw326.3.0includec++ios:42,
from c:mingwlibgccmingw326.3.0includec++ostream:38,
from c:mingwlibgccmingw326.3.0includec++iostream:39,
from C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:1:
c:mingwlibgccmingw326.3.0includec++extnew_allocator.h: In instantiation of 'class __gnu_cxx::new_allocator<int (&)(const unsigned int&)>':
c:mingwlibgccmingw326.3.0includec++bitsallocator.h:108:11: required from 'class std::allocator<int (&)(const unsigned int&)>'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:79:14: required from 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >::_Vector_impl'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:164:20: required from 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:214:11: required from 'class std::vector<int (&)(const unsigned int&)>'
C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:12:31: required from here
c:mingwlibgccmingw326.3.0includec++extnew_allocator.h:63:26: error: forming pointer to reference type 'int (&)(const unsigned int&)'
typedef _Tp* pointer;
^~~~~~~
c:mingwlibgccmingw326.3.0includec++extnew_allocator.h:64:26: error: forming pointer to reference type 'int (&)(const unsigned int&)'
typedef const _Tp* const_pointer;
^~~~~~~~~~~~~
In file included from c:mingwlibgccmingw326.3.0includec++string:41:0,
from c:mingwlibgccmingw326.3.0includec++bitslocale_classes.h:40,
from c:mingwlibgccmingw326.3.0includec++bitsios_base.h:41,
from c:mingwlibgccmingw326.3.0includec++ios:42,
from c:mingwlibgccmingw326.3.0includec++ostream:38,
from c:mingwlibgccmingw326.3.0includec++iostream:39,
from C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:1:
c:mingwlibgccmingw326.3.0includec++bitsallocator.h: In instantiation of 'class std::allocator<int (&)(const unsigned int&)>':
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:79:14: required from 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >::_Vector_impl'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:164:20: required from 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:214:11: required from 'class std::vector<int (&)(const unsigned int&)>'
C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:12:31: required from here
c:mingwlibgccmingw326.3.0includec++bitsallocator.h:113:26: error: forming pointer to reference type 'int (&)(const unsigned int&)'
typedef _Tp* pointer;
^~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsallocator.h:114:26: error: forming pointer to reference type 'int (&)(const unsigned int&)'
typedef const _Tp* const_pointer;
^~~~~~~~~~~~~
In file included from c:mingwlibgccmingw326.3.0includec++vector:64:0,
from C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:2:
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h: In instantiation of 'class std::vector<int (&)(const unsigned int&)>':
C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:12:31: required from here
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:243:20: error: no members matching 'std::vector<int (&)(const unsigned int&)>::_Base {aka std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >}::_M_allocate' in 'std::vector<int (&)(const unsigned int&)>::_Base {aka struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >}'
using _Base::_M_allocate;
^~~~~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:244:20: error: no members matching 'std::vector<int (&)(const unsigned int&)>::_Base {aka std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >}::_M_deallocate' in 'std::vector<int (&)(const unsigned int&)>::_Base {aka struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >}'
using _Base::_M_deallocate;
^~~~~~~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:891:7: error: forming pointer to reference type 'int (&)(const unsigned int&)'
data() _GLIBCXX_NOEXCEPT
^~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:899:7: error: forming pointer to reference type 'int (&)(const unsigned int&)'
data() const _GLIBCXX_NOEXCEPT
^~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:932:7: error: 'void std::vector<_Tp, _Alloc>::push_back(std::vector<_Tp, _Alloc>::value_type&&) [with _Tp = int (&)(const unsigned int&); _Alloc = std::allocator<int (&)(const unsigned int&)>; std::vector<_Tp, _Alloc>::value_type = int (&)(const unsigned int&)]' cannot be overloaded
push_back(value_type&& __x)
^~~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:914:7: error: with 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = int (&)(const unsigned int&); _Alloc = std::allocator<int (&)(const unsigned int&)>; std::vector<_Tp, _Alloc>::value_type = int (&)(const unsigned int&)]'
push_back(const value_type& __x)
^~~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h: In instantiation of 'std::vector<_Tp, _Alloc>::~vector() [with _Tp = int (&)(const unsigned int&); _Alloc = std::allocator<int (&)(const unsigned int&)>]':
C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:12:31: required from here
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:426:37: error: 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >::_Vector_impl' has no member named '_M_start'; did you mean '_M_swap_data'?
{ std::_Destroy(this->_M_impl._M_start, this->_M_impl._M_finish,
~~~~~~~~~~~~~~^~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:426:61: error: 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >::_Vector_impl' has no member named '_M_finish'
{ std::_Destroy(this->_M_impl._M_start, this->_M_impl._M_finish,
~~~~~~~~~~~~~~^~~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h: In instantiation of 'std::_Vector_base<_Tp, _Alloc>::~_Vector_base() [with _Tp = int (&)(const unsigned int&); _Alloc = std::allocator<int (&)(const unsigned int&)>]':
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:259:15: required from 'std::vector<_Tp, _Alloc>::vector() [with _Tp = int (&)(const unsigned int&); _Alloc = std::allocator<int (&)(const unsigned int&)>]'
C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:12:31: required from here
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:160:37: error: 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >::_Vector_impl' has no member named '_M_start'; did you mean '_M_swap_data'?
{ _M_deallocate(this->_M_impl._M_start, this->_M_impl._M_end_of_storage
~~~~~~~~~~~~~~^~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:160:61: error: 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >::_Vector_impl' has no member named '_M_end_of_storage'
{ _M_deallocate(this->_M_impl._M_start, this->_M_impl._M_end_of_storage
~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:161:25: error: 'struct std::_Vector_base<int (&)(const unsigned int&), std::allocator<int (&)(const unsigned int&)> >::_Vector_impl' has no member named '_M_start'; did you mean '_M_swap_data'?
- this->_M_impl._M_start); }
~~~~~~~~~~~~~~^~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:160:22: error: '_M_deallocate' was not declared in this scope
{ _M_deallocate(this->_M_impl._M_start, this->_M_impl._M_end_of_storage
~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- this->_M_impl._M_start); }
~~~~~~~~~~~~~~~~~~~~~~~~~
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h: In instantiation of 'std::_Vector_base<_Tp, _Alloc>::_Vector_impl::_Vector_impl() [with _Tp = int (&)(const unsigned int&); _Alloc = std::allocator<int (&)(const unsigned int&)>]':
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:125:17: required from 'std::_Vector_base<_Tp, _Alloc>::_Vector_base() [with _Tp = int (&)(const unsigned int&); _Alloc = std::allocator<int (&)(const unsigned int&)>]'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:259:15: required from 'std::vector<_Tp, _Alloc>::vector() [with _Tp = int (&)(const unsigned int&); _Alloc = std::allocator<int (&)(const unsigned int&)>]'
C:UsersUserDesktopC++_PrimerExercisesTesttest.cpp:12:31: required from here
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:87:65: error: using invalid field 'std::_Vector_base<_Tp, _Alloc>::_Vector_impl::_M_start'
: _Tp_alloc_type(), _M_start(), _M_finish(), _M_end_of_storage()
^
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:87:65: error: using invalid field 'std::_Vector_base<_Tp, _Alloc>::_Vector_impl::_M_finish'
c:mingwlibgccmingw326.3.0includec++bitsstl_vector.h:87:65: error: using invalid field 'std::_Vector_base<_Tp, _Alloc>::_Vector_impl::_M_end_of_storage'
问题是decltype(*func)生成一个引用类型，以便：
static_assert(std::is_same_v<decltype(*func), int(&)(const unsigned int&)>);
编译，但std::vector保留类型为T的指针。在您的情况下T是引用类型，指向引用的指针是非法的。要修复它，您可以通过decltype(&func)T=int(*)(const unsigned int&)替换decltype(*func)或创建T=std::function<int(const unsigned int&)>矢量
decltype(*fun)(和decltype(fun)(计算为引用类型。创建引用类型的std::vector不起作用。
从 https://en.cppreference.com/w/cpp/container/vector：
T 必须满足 CopyAssignable 和 CopyConstructable 的要求。
引用类型不满足这些要求。
我建议使用std::vector<std::function>.
#include <iostream>
#include <vector>
#include <functional>
int func(const unsigned int &myInt)
{
std::cout << __func__ << "nMy numb is " << myInt << std::endl;
return myInt;
}
int main()
{
using function_t = std::function<int(const unsigned int&)>;
std::vector<function_t> myVector;
myVector.push_back(func);
myVector[0](999);
return 0;
}