我实现了一个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);

关于c++ - C++中的自动类型推断,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/12769311/

10-11 22:35
查看更多