4

このコードをどのように修正しますか?

template <typename T> void closed_range(T begin, T end)
{
    for (T i = begin; i <= end; ++i) {
        // do something
    }
}

  • T は整数型に制限され、そのような型の幅が広くなり、符号付きまたは符号なしにすることができます

  • beginすることができますnumeric_limits<T>::min()

  • endすることができますnumeric_limits<T>::max()（その場合++i、上記のコードでオーバーフローします）

私はいくつかの方法を持っていますが、本当に好きなものはありません。

4

5 に答える 5

6

多分、

template <typename T> void closed_range(T begin, const T end)
    if (begin <= end) {
        do {
            // do something
        } while (begin != end && (++begin, true));
    }
}

呪い、私の最初の試みは間違っていました、そして上記の修正は私が望んでいたほどきれいではありません. どうですか：

template <typename T> bool advance(T &value) { ++value; return true; }

template <typename T> void closed_range(T first, const T last)
    if (first <= last) {
        do {
            // do something
        } while (first != last && advance(first));
    }
}

2 つのパラメーターを取るstd::advanceため、T が整数型でなくてもあいまいさはありません。std::advanceしたがって、何らかの理由でそれらの閉じた範囲が必要な場合、テンプレートはたとえばランダム アクセス イテレータでも機能します。

または、集合論について少し考えてみませんか？明らかに、閉じた範囲でループを 1 つだけ記述している場合、これは非常にやり過ぎですが、多くのことを実行したい場合は、ループ コードが適切になります。endof効率については不明です: 非常にタイトなループでは、呼び出しが巻き上げられていることを確認したい場合があります:

#include <limits>
#include <iostream>

template <typename T>
struct omega {
    T val;
    bool isInfinite;
    operator T() { return val; }
    explicit omega(const T &v) : val(v), isInfinite(false) { }
    omega &operator++() {
        (val == std::numeric_limits<T>::max()) ? isInfinite = true : ++val;
        return *this;
    }
};

template <typename T>
bool operator==(const omega<T> &lhs, const omega<T> &rhs) {
    if (lhs.isInfinite) return rhs.isInfinite;
    return (!rhs.isInfinite) && lhs.val == rhs.val;
}
template <typename T>
bool operator!=(const omega<T> &lhs, const omega<T> &rhs) {
    return !(lhs == rhs);
}

template <typename T>
omega<T> endof(T val) { 
    omega<T> e(val);
    return ++e;
}

template <typename T>
void closed_range(T first, T last) {
    for (omega<T> i(first); i != endof(last); ++i) {
        // do something
        std::cout << i << "\n";
    }
}

int main() {
    closed_range((short)32765, std::numeric_limits<short>::max());
    closed_range((unsigned short)65533, std::numeric_limits<unsigned short>::max());
    closed_range(1, 0);
}

出力：

32765
32766
32767
65533
65534
65535

omega<T>オブジェクトで他の演算子を使用する場合は少し注意してください。私はデモンストレーションのために絶対最小値のみを実装し、omega<T>暗黙的に に変換しTます。そのため、オメガ オブジェクトの「無限性」を捨てる可能性のある式を記述できることがわかります。算術演算子の完全なセットを宣言する (必ずしも定義する必要はない) ことで、これを修正できます。または isInfinite が true の場合、変換で例外をスローします。または、コンストラクターが明示的であるため、誤って結果をオメガに戻すことができないという理由で心配する必要はありません。しかし、たとえば、omega<int>(2) < endof(2)は真ですが、omega<int>(INT_MAX) < endof(INT_MAX)偽です。

于 2010-03-16T19:35:47.947 に答える
5

私の見解：

// Make sure we have at least one iteration
if (begin <= end)
{
    for (T i = begin; ; ++i)
    {
        // do something

        // Check at the end *before* incrementing so this won't
        // be affected by overflow
        if (i == end)
            break;
    }
}
于 2010-03-16T19:25:57.910 に答える
3

これは機能し、かなり明確です。

T i = begin;
do {
   ...
}
while (i++ < end);

特殊なケースをキャッチしたい場合は、Steve Jessop のソリューションのようにbegin >= end別のものを追加する必要があります。if

于 2010-03-16T19:36:58.417 に答える
3 
template <typename T, typename F>
void closed_range(T begin, T end, F functionToPerform) 
{
    for (T i = begin; i != end; ++i) { 
        functionToPerform(i);
    }
    functionToPerform(end);
}
于 2010-03-16T20:23:35.343 に答える
0

編集: OP により厳密に一致するように作り直しました。

#include <iostream>
using namespace std;

template<typename T> void closed_range(T begin, T end)
{
    for( bool cont = (begin <= end); cont; )
    {
        // do something
        cout << begin << ", ";
        if( begin == end )
            cont = false;
        else
            ++begin;
    }

    // test - this should return the last element
    cout << " --  " << begin;
}
int main()
{
    closed_range(10, 20);
    return 0;
}

出力は次のとおりです。

10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, -- 20

于 2010-03-16T20:11:25.253 に答える