Push_back用于将临时容器添加到另一个容器
push_back for adding a temporary container to another container
我正在编写一个push_back
函数,用于将临时容器添加到另一个容器。
在使用push_back之前,它应该调整或保留容器的大小(如果两者都可用,它也应该选择保留而不是调整大小)
当前代码为:
namespace detail
{
template<class>
struct sfinae_true : std::true_type{};
template<class T, class A0>
static auto test_reserve(int)
->sfinae_true<decltype(std::declval<T>().reserve(std::declval<A0>()))>;
template<class, class A0>
static auto test_reserve(long)->std::false_type;
template<class T, class A0>
static auto test_resize(int)
->sfinae_true<decltype(std::declval<T>().resize(std::declval<A0>()))>;
template<class, class A0>
static auto test_resize(long)->std::false_type;
}
//check if class T have reserve(Arg) function
template<class T, class Arg>
struct HasReserve : decltype(detail::test_reserve<T, Arg>(0)){};
//check if class T have resize(Arg) function
template<class T, class Arg>
struct HasResize : decltype(detail::test_resize<T, Arg>(0)){};
//enable if resize function exists and there is no reserve function
template<class T1, class T2>
typename std::enable_if<HasResize< T1, typename T1::size_type>::value &&
(!HasReserve< T1, typename T1::value_type>::value), void>::type
inline reserveOrResize(T1& dst, T2&& src, typename T2::size_type newSize){
static_assert(std::is_lvalue_reference<T1&>::value, "You must pass lvalue_refrence as first parameter");
static_assert(std::is_rvalue_reference<T2&&>::value, "You must pass rvalue_refrence as second parameter");
int loc = dst.size() + 1;
dst.resize(newSize);
std::cout << "Resizingn";
for (auto&& elem : src){
dst[loc++] = std::move(elem);
}
}
//enable if reserve function exists
template<class T1, class T2>
typename std::enable_if<HasReserve< T1, typename T1::size_type>::value, void>::type
inline reserveOrResize(T1& dst, T2&& src, typename T2::size_type newSize){
static_assert(std::is_lvalue_reference<T1&>::value, "You must pass lvalue_refrence as first parameter");
static_assert(std::is_rvalue_reference<T2&&>::value, "You must pass rvalue_refrence as second parameter");
dst.reserve(newSize);
std::cout << "Reservingn";
for (auto&& elem : src){
dst.push_back(std::move(elem));
}
}
//push_back container T2 at the end of Container T1
//T2 must be rvalue refrence
template<class T1, class T2>
void push_back(T1& dst, T2&& src){
static_assert(std::is_lvalue_reference<T1&>::value, "You must pass lvalue_refrence as first parameter");
static_assert(std::is_rvalue_reference<T2&&>::value, "You must pass rvalue_refrence as second parameter");
reserveOrResize(dst, std::move(src), src.size());
}
对于具有简单类型的vector的容器很好,例如std::vector<int>
std::vector<int> vec;
push_back(vec,std::vector<int>(10));
生活但是当我将它与类的向量一起使用时,它不会编译
struct A{};
int main(){
std::vector<A> vec;
push_back(vec,std::vector<A>(10));//error
}
生活错误是:
main.cpp: In instantiation of 'void push_back(T1&, T2&&) [with T1 = std::vector<A> T2 =
std::vector<A>]':
main.cpp:74:35: required from here
main.cpp:67:49: error: call of overloaded 'reserveOrResize(std::vector<A>&, std::remove_reference<std::vector<A>&>::type, std::vector<A>::size_type)' is ambiguous
reserveOrResize(dst, std::move(src), src.size());
^
main.cpp:67:49: note: candidates are:
main.cpp:37:9: note: typename std::enable_if<(HasResize<T1, typename T1::size_type>::value && (! HasReserve<T1, typename T1::value_type>::value)), void>::type reserveOrResize(T1&, T2&&, typename T2::size_type) [with T1 = std::vector<A> T2 = std::vector<A> typename std::enable_if<(HasResize<T1, typename T1::size_type>::value && (! HasReserve<T1, typename T1::value_type>::value)), void>::type = void; typename T2::size_type = long unsigned int]
inline reserveOrResize(T1& dst, T2&& src, typename T2::size_type newSize){
^
main.cpp:51:8: note: typename std::enable_if<HasReserve<T1, typename T1::size_type>::value, void>::type reserveOrResize(T1&, T2&&, typename T2::size_type) [with T1 = std::vector<A> T2 = std::vector<A> typename std::enable_if<HasReserve<T1, typename T1::size_type>::value, void>::type = void; typename T2::size_type = long unsigned int]
inline reserveOrResize(T1& dst, T2&& src, typename T2::size_type newSize){
^
为什么在第二个例子中失败了?!!
这里有错误
(!HasReserve< T1, typename T1::value_type>::value), void>::type
应该是typename T1::size_type
,而不是value_type
,因为您正在尝试检查value_type
,该容器具有类型为T1::value_type
的参数的方法保留(在您的情况下为struct A
),因为在vector中没有这样的方法,因此两个函数都可用。
相关文章:
- 使用std::transform将一个范围的元素添加到另一个范围中
- 在另一个类视图中添加最多2个图表的正确方法是什么
- 尝试将另一个子句添加到代码中时出错
- 使用 std::transform 将向量向量 (a) 添加到另一个向量向量 (b)
- C++将带有重载构造函数的对象添加到另一个对象
- 如何将一个 QQuickItem 扩展作为子扩展添加到另一个 QQuickItem 扩展?
- 尝试向 COM 对象添加另一个接口时出现静态强制转换错误 C2440
- 如何从一个向量中删除最小元素并添加到另一个向量,而第一个变为空?
- 将一个 UI 文件添加到另一个 UI 文件中
- 如何制作一个结构程序,在其中可以存储无限量的数据,以便每次您想要时都可以将另一个产品添加到列表中?
- 当我尝试将文件添加到另一个文件时出现怪异符号时
- 如何将元素添加到从另一个线程绑定到 XAML 的 IVector
- 对成员变量的引用在向同一向量中添加另一个实例后断开
- 将结构添加到字节向量,然后添加另一个
- 链表更改节点而不是添加另一个节点
- 添加另一个类 ListViewItemEventListener
- 为什么在添加另一个构造函数时会出现此错误
- 给定一个字符串,我如何才能只添加另一个字符串中的唯一字符
- 在已经运行的循环上添加另一个计时器
- 如何在Gtkmm c++中添加另一个Gtk::Box