Pythonのrangeでエラーが発生しない理由は...？

Question

###疑問点
Python3.6.1でrange関数を使っていて、range(10, 0)や、range(0, 10, -1)などとしたときになぜエラーが発生しないのかと疑問を感じました。
エラーが出たところでうれしくはないのですが、なぜこのような挙動になっているのか気になります。

2017/09/16追記
この挙動になっている理由を募集しています！よろしくお願いします。

よろしくお願いします。

###該当のソースコード
インタラクティブシェル(ipython)での結果です。

l = range(10, 0)
len(l)
#=> 0
print(*l)
for i in l:
    print(i)
# 出力無し

r = range(0, 10, -1)
len(r)
#=> 0
for i in r:
    print(i)
# 出力無し

どちらもエラーは発生しない。

###補足情報(言語/FW/ツール等のバージョンなど)
Python: 3.6.1
ipython: 6.1.0

Answer 1

似たような質問がありましたので参考に貼り付けます。

---

*先行事例
Stack overflowのFerdinand Beyerさんによれば、

• Pythonのビルドイン（関数）については、"不正な引数"や"ナルポインタ"は存在しない。

• 大半の関数は、TypeError(NoneTypeのような不正な型)やValueError(型は正しくても、値が受け入れられるドメインの外側にある)を引き起こす。

---

*公式ドキュメント
TypeError
IndexError
ValueError

まとめると、

	TypeEror	IndexError	ValueError
型が異常	*	-	-
インデックスに限定した値が異常	-	*	-
インデックス以外の理由で値が異常	-	-	*

---

*本題

ここで問題に戻ると、

	range(10, 0)	range(0, 10, -1)
型が異常	-	-
インデックスに限定した値が異常	-	-
インデックス以外の理由で値が異常	-	-

このように、質問の内容はPythonが規定しているエラーの要件を満たしていません。
でも、対象の値がないからって0、数値としての0を返すのも不適当です。

苦肉の策として、[](empty)があるのではないでしょうか？

'人間の気持ちとしてEmptyを返すくらいならValueErrorだろ！と思いますが、内部では、引数が変数だった場合にむやみに止まるのを防ぐためにEmptyを返しているのかもしれませんね。

Comments

[tpywao]

回答ありがとうございます！返事が大分遅れてすみません...
なるほど。Pythonの例外の出し方の思想的なものが原因になっているようだ、ということでしょうか。
なんとなく腑に落ちたのでベストアンサーに選びます！
他の回答者様もありがとうございました。

Answer 2

他の言語に対応させるためではないでしょうか。

for(int i = a; i < b; i += c) {
}

for i in range(a, b, c):
    pass

以下、勘違いでした

ただ、よく考えたら、a=0, b=10, c=-1のときの挙動は異なりますね。
これはどう捉えたらいいのだろう。

for(int i = a; ; i += c) {
    if(!(i < b)) break;
}

これだと本当に同じ挙動になりそうですが。
修正：少なくともCの場合は、単なるfor文でも同じような挙動を見せます。

Comments

[tpywao]

回答ありがとうございます！返事が遅れてすみません。
なるほど。PythonはCで作られていますし、そういう意図があるのかもしれませんね。

Answer 3

rangeの上限が動的に決まる場合を想定しているからだと思います。

#何らかの処理でx（-10から10範囲とする）が決まったとする。
for i in range(0, x):
    print(i)

この場合、xがマイナスの場合は何も表示しないという分岐を書かずに済むのでこのような仕様になっていると思います。

Comments

[tpywao]

回答ありがとうございます！
なるほど...それはありそうですね。
ただ、range(0, -5)として、[0, -1, -2, -3, -4]が欲しい時もあるのではないかなと思ったり...
すみません、もう少し回答待ちにしておこうと思います。

Answer 4

どういう場合で有用なのかはわかりませんが、その挙動はマニュアルにも明記してあります。

r[0]が値の制約を満たさない場合、range オブジェクトは空になります。

Comments

[tpywao]

回答ありがとうございます！
エラーが発生しないのはそのように作られているからなんですね(まぁ当たり前ですが)。
ドキュメントにも書いてあったのは把握していませんでした...ちゃんと読んでおかないと
この挙動の理由についても知りたいので、もう少し回答待ちにしておきます。