如何键入用于const对象的自定义io操纵器
How to type custom io manipulators for use with const objects?
我正试图举起一个我为使用std::vector
s而编写的简单Array io操纵器。这是我一直在使用的旧签名:
template<typename T>
struct arr {
const size_t size;
T* values;
arr(const size_t size, T* values) : size(size), values(values) {};
friend std::ostream& operator<<(std::ostream& os, const arr<T>& array);
friend std::istream& operator>>(std::istream& is, arr<T>& array);
};
现在我试着这样举起它:
template<typename T>
struct arr {
std::vector<T>& vec;
arr(std::vector<T>& vec) : vec(vec) {};
friend std::ostream& operator<<(std::ostream& os, const arr<T>& array);
friend std::istream& operator>>(std::istream& is, arr<T>& array);
};
然而,我面临以下问题:我想从const
声明的成员方法内部使用<< arr(member)
。这当然不会编译:
error: binding reference of type ‘std::vector<std::unique_ptr<IController> >&’ to ‘const std::vector<std::unique_ptr<IController> >’ discards qualifiers
然而,当我将构造函数aguments和arr::vec
更改为const std::vector<T>&
时,我会遇到相反的问题,>> arr(member)
无法再工作了!
我希望通过将arr
实例初始化为const
,我可以解决这个问题,但我面临着相同的编译器错误,如下所示:
const streamutils::arr<int> list(myVector);
如果不为输入和输出方向声明两种不同的类型,如何解决此问题我试图查看libstdc++源代码,看看它是如何为std::quoted
完成的,但我不明白。
您可以不使用T
,而是使用vector<T>
本身来参数化操纵器。这样,您就可以不用担心向量是否为常量。还要创建一个helper函数,该函数返回具有相应模板类型的类的实例。
template<typename T>
using is_vector = std::is_same<T, std::vector<typename T::value_type, typename T::allocator_type>>;
template<typename T>
struct Arr {
static_assert(is_vector<std::decay_t<T>>::value);
T& vec;
// Note that arr is passed by value here because it is a temporary
// in expressions like 'cin >> arr(a)'
template<typename U>
friend std::enable_if_t<!std::is_const_v<U>, std::istream&> operator>>(std::istream& in, Arr<U> Arr);
template<typename U>
friend std::ostream& operator<<(std::ostream& out, const Arr<U>& Arr);
};
template<typename T>
std::enable_if_t<!std::is_const_v<T>, std::istream&> operator>>(std::istream& in, Arr<T> arr) {
int n;
in >> n;
arr.vec.resize(n);
for (int i = 0; i < n; ++i) {
in >> arr.vec[i];
}
return in;
}
template<typename T>
std::ostream& operator<<(std::ostream& out, const Arr<T>& arr) {
out << arr.vec.size() << "n";
for (const auto& x: arr.vec) {
out << x << " ";
}
out << "n";
return out;
}
template<typename T, typename = typename is_vector<std::decay_t<T>>::type>
Arr<T> arr(T& t)
{
return Arr<T>{t};
}
int main() {
vector<int> a;
cin >> arr(a);
cout << arr(a) << endl;
const vector<int> b{1, 2, 3};
cin >> arr(b); // compile error
cout << arr(b) << endl;
}
此外,考虑阅读这篇文章,它解释了交友模板操作员的各种方法(我在这里展示的不是最好的,也不是唯一可能的(。
相关文章:
- C++映射:具有自定义类的运算符[]不起作用(总是返回0)
- 如何将点击的信号和插槽添加到qt中的自定义按钮中
- C++自定义比较函数
- 如何比较自定义类的std::变体
- std::设置自定义比较器
- 如何正确实现和访问运算符的各种自定义枚举器
- flutter:即使shouldRepaint()返回true,自定义画家也不会重新绘制
- 自定义先决条件对移动分配运算符有效吗
- 使用VS Code和CMake Tools运行自定义命令
- 如何创建从Maya(或类似程序)到虚幻引擎的自定义数据导出插件
- std::ranges::elements_view,用于自定义类似元组的数据
- 跟随整数索引列表的自定义类迭代器
- 参数化自定义CMake工具链
- 使用自定义比较函数使用std::sort()对矢量字符串进行排序时出现问题
- 如何在自定义类中启用'auto loops'?
- 使用QJsEngine在Qt中注册自定义类型
- 如何键入用于const对象的自定义io操纵器
- boost asio自定义分配器处理程序io服务编译后错误
- 如何为 Boost.Asio 设计自定义 IO 对象
- 提供带有libjpeg的自定义文件IO