C++中的自动类型推断
Automatic type inference in C++
我实现了一个类filtered_ostream_iterator
,它有助于使用谓词过滤流,并将其作为模板类。
template<typename T, typename Pred>
class filtered_ostream_iterator
{
ostream& os;
Pred _filter;
public:
filtered_ostream_iterator(ostream & o, Pred filter): os(o),
_filter(filter) {}
filtered_ostream_iterator& operator++()
{
return *this;
}
filtered_ostream_iterator& operator*()
{
return *this;
}
filtered_ostream_iterator& operator=(T t)
{
if (_filter(t))
os << t;
return *this;
}
};
没关系,但现在我有一个问题。当我使用filtered_ostream_iterator
时,我必须通过以下方式定义它。
stringstream ss1;
auto filter = [](char t){ return (t >= 'a' && t <= 'z') || (t >= 'A' && t <= 'Z'); };
filtered_ostream_iterator<char, bool (*)(char)> it1(ss1, filter); // initialization
它看起来不是很好,尤其是<char, bool (*)(char)>
.然后我决定做一个可以自动推断类型的特殊函数。
template<typename Pred>
filtered_ostream_iterator<char, Pred> create_filtered_ostream_iterator(ostream& os, Pred pred)
{
return filtered_ostream_iterator<char, Pred>(os, pred); // problem
}
我通过以下方式使用它
auto it1 = create_filtered_ostream_iterator(ss1, filter);
您可以看到我应该指定流中的元素类型,现在它实际上不是一个模板,但是当我尝试用这样的东西替换下面的代码时
template<typename Pred, typename T>
filtered_ostream_iterator<T, Pred> create_filtered_ostream_iterator(ostream& os, Pred pred)
{
return filtered_ostream_iterator<T, Pred>(os, pred); // error
}
当我以同样的方式使用它时
auto it1 = create_filtered_ostream_iterator(ss1, filter);
我收到以下错误。
error: no matching function for call to 'create_filtered_ostream_iterator'
那么我应该如何避免所有这些问题呢?或者我应该使用我的第一个定义变体并且不介意它看起来有多难?对此,你怎么看?
这样写:
template <typename T, typename Pred>
filtered_ostream_iterator<T, Pred> create(std::ostream & os, Pred p)
{
return filtered_ostream_iterator<T, Pred>(os, p);
}
用法:
auto it = create<char>(ss1, filter);
只能推导尾随模板参数,但您可以随意指定任意数量的初始参数。
另一种方法是从流中推断出类型:
template <typename TChar, typename TTraits, typename Pred>
filtered_ostream_iterator<typename TTraits::char_type, Pred>
create(std::basic_ostream<TChar, TTraits> & os, Pred & p)
{
return filtered_ostream_iterator<typename TTraits::char_type, Pred>(os, p);
}
用法:
auto it = create(ss, filter);
相关文章:
- ArduinoJson 6.15.2:JsonObject没有命名类型
- 防止主数据类型C++的隐式转换
- 大量序列中核苷酸类型的快速计数
- 如何从C++中的依赖类型中获得它所依赖的类型
- 有关插入适配器的错误。[错误]请求从 'back_insert_iterator<vector<>>' 类型转换为非标量类型
- 是否可以初始化不可复制类型的成员变量(或基类)
- 如何获取std::result_of函数的返回类型
- 从父命名空间重载类型
- 如果C++类在类方法中具有动态分配,但没有构造函数/析构函数或任何非静态成员,那么它仍然是POD类型吗
- 我想将一个对T类型的非常量左值引用绑定到一个T类型的临时值
- Openssl 1.1.1d无效使用不完整的类型"struct dsa_st"
- 访问者访问变体并返回不同类型时出错
- 在VS2010-VS2015下编译时,如何使用decltype作为较大类型表达式的LHS
- 处理小于cpu数据总线的数据类型.(c++转换为机器代码)
- C++ 雷神库 - 使用资源加载器类时出现问题(不命名类型)
- 模板元程序查找相似的连续类型名称
- 是否可以从int转换为enum类类型
- 构造函数正在调用一个使用当前类类型的函数
- 我应该使用什么来代替void作为变体中的替代类型之一
- 类中的字符串不命名类型