问题描述
我正在创建一个自定义的C ++ STL容器库,我有一个问题涉及到代码大小和执行时间的有效插入(尽可能多地复制)。
我想编写一个可以从其他类似插入的函数调用的插入函数(_insert_unique)(同样适用于查找/擦除),并且保留其语义。
例如:
std::pair<iterator,bool> insert(const value_type &val) {
return _insert_unique(val);
}
std::pair<iterator,bool> insert(value_type &&val) {
return _insert_unique(std::move(val));
}
template <class... Args>
std::pair<iterator,bool> emplace(Args&&... args) {
return _insert_unique(std::forward<Args>(args)...);
}
通过保留语义,我的意思是,该函数应避免在参数为value_type &&时创建副本,或者如果键中不存在键,则避免在emplace()中构造键(I知道C ++ 11 emplace()版本需要使用“ forward_as_tuple”和“ piecewise_construct”来解决此问题,并且此后引入了新函数try_emplace()。)
所以我的问题是,如果不为每个类似插入的函数编写重复的代码,是否可以实现我想要的功能。
解决方法
如果我理解正确,那么您正在尝试保留参数的值类别 有两种方法可以做到这一点:
- 超载:
void myFunc(const Object& obj) { handleObject(obj); }
void myFunc(Object&& obj) { handleObject(std::move(obj)); }
- 转发参考
template <typename T>
void myFunc(T&& obj) { handleObject(std::forward<T>(obj)); }
在第二种情况下,&&
用于保留对象值类别的转发参考。
因此,如果您不想重复功能,则只需使用示例中的转发引用即可:
template <class... Args>
std::pair<iterator,bool> emplace(Args&&... args) {
return _insert_unique(std::forward<Args>(args)...);
}
希望我没有误会你的问题