我想以通用的方式获取std :: begin的返回类型.我目前的解决方案是:
using type = decltype(std::begin(std::declval<T>()));
并且当T = std :: vector< int> ;.但是我不明白为什么以下不行:
using type = decltype(std::begin(std::declval<int[3]>()));
我得到错误:
example.cpp:83:60: error: no matching function for call to ‘begin(int [3])’ using type = decltype(std::begin(std::declval<int[3]>()));
如何获得std ::的返回类型以通用方式开始?
解决方法
arrays的超载是:
template< class T,std::size_t N > constexpr T* begin( T (&array)[N] );
而std :: declval< int [3]>()给你一个int(&&)[3],这不匹配那个重载.它也不符合正常的容器重载,因为那些是具有c.begin()的SFINAE编辑.所以你没有匹配的功能.
您需要的是将数组的一个左值引用传递给begin(),以使迭代器退出.因此,当您使用别名时,您需要手动提供一个左值引用:
template <class T> using type = decltype(std::begin(std::declval<T>())); using arr = type<int(&)[3]>; // int*
或者让别名本身为您提供lvalue参考:
template <class T> using type = decltype(std::begin(std::declval<T&>())); using arr = type<int[3]>; // int*
前者对我来说似乎更为正确,但是YMMV.