Pythonが間違った数の引数で関数呼び出しを許可するのはなぜですか？

Pythonは私の最初の動的言語です。最近、間違った数の引数を誤って指定する関数呼び出しをコーディングしました。これは、関数が呼び出されたときの例外で失敗しました。動的言語でも、ソースファイルを解析するときにこの種のエラーを検出できると思っていました。

同じ変数に異なる時間に任意の型の値が含まれる可能性があるため、実際の引数の型は関数が呼び出されるまでわからないことを理解しています。ただし、引数の数は、ソースファイルが解析されるとすぐにわかります。プログラムの実行中は変更されません。

これが哲学的な質問ではないように

これをStackOverflowの範囲内に保つために、このような質問を言いましょう。Pythonが提供する、コードが実際に実行されるまで関数呼び出しの引数の数のチェックを遅らせる必要がある機能はありますか？

Pythonは、動的であるため、関数オブジェクトを交換できるため、最終的にどのオブジェクトを呼び出すかを事前に知ることはできません。いつでも。そして、これらのオブジェクトのそれぞれは、異なる数の引数を持つことができます。

これが極端な例です：

import random

def foo(): pass
def bar(arg1): pass
def baz(arg1, arg2): pass

the_function = random.choice([foo, bar, baz])
print(the_function())

上記のコードでは、例外が発生する可能性が3分の2です。しかし、Pythonは、それが当てはまるかどうかを事前に知ることはできません。

そして、動的モジュールのインポート、動的関数の生成、その他の呼び出し可能なオブジェクト（__call__メソッドを持つ任意のオブジェクトを呼び出すことができます）、またはキャッチオール引数（*argsおよび**kwargs）から始めたことさえありません。

しかし、これをさらに明確にするために、あなたはあなたの質問で次のように述べています：

プログラムの実行中は変更されません。

これは当てはまりません。Pythonではそうではありません。モジュールが読み込まれると、関数オブジェクトを含む、モジュール名前空間内の任意のオブジェクトを削除、追加、または置換できます。

渡される引数の数はわかっていますが、実際に呼び出される関数はわかっていません。この例を参照してください。

def foo():
    print("I take no arguments.")

def bar():
    print("I call foo")
    foo()

これは当たり前のように思えるかもしれませんが、これらを「fubar.py」というファイルに入れましょう。さて、インタラクティブなPythonセッションで、これを行います。

>>> import fubar
>>> fubar.foo()
I take no arguments.
>>> fubar.bar()
I call foo
I take no arguments.

それは明らかでした。さて、楽しい部分です。ゼロ以外の量の引数を必要とする関数を定義します。

>>> def notfoo(a):
...    print("I take arguments!")
...

今、私たちはモンキーパッチと呼ばれる何かをします。実際、モジュール内の関数を置き換えることができます。foofubar

>>> fubar.foo = notfoo

さて、を呼び出すとbar、aTypeErrorが発生します。この名前fooは、以前は-として知られていた元の関数ではなく、上記で定義した関数を参照するようになりましたfoo。

>>> fubar.bar()
I call foo
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/home/horazont/tmp/fubar.py", line 6, in bar
    foo()
TypeError: notfoo() missing 1 required positional argument: 'a'

したがって、呼び出された関数fooが引数をとらないことが非常に明白に見えるこのような状況でも、Pythonfooは、そのソース行を実行するときに呼び出されているのが実際に関数であることを知ることしかできません。

これはPythonのプロパティであり、強力ですが、速度が低下する原因にもなります。実際、パフォーマンスを向上させるためにモジュールを読み取り専用にすることは、しばらく前にpython-ideasメーリングリストで議論されましたが、実際のサポートは得られませんでした。