2

私はPython3.3の文法を見ていましたが、その中に次の行があることに気づきました。

funcdef: 'def' NAME parameters ['->' test] ':' suite

つまり、->は関数を定義するときに有効な記号ですが、それが何であるかを示すオンラインの場所はどこにも見つかりません。私が知る限り、それは無視されます。たとえば、これを行うコードを書くことができます。

def a() -> True: pass

また

def a() -> 5 == 3:
    return 8

どちらも有効なステートメントですが、何もしていないようです。

->誰かがPythonで構文が行うことを教えてもらえますか？

4

1 に答える 1

0

これらはPEP 3107でカバーされている関数注釈です。具体的には->、リターン関数の注釈をマークします。

例:

>>> def kinetic_energy(m:'in KG', v:'in M/S')->'Joules': 
...    return 1/2*m*v**2
... 
>>> kinetic_energy.__annotations__
{'return': 'Joules', 'v': 'in M/S', 'm': 'in KG'}

注釈は辞書なので、次のことができます。

>>> '{:,} {}'.format(kenetic_energy(20,3000),
      kenetic_energy.__annotations__['return'])
'90,000,000.0 Joules'

または、関数属性を使用して、呼び出された値を検証できます。

def validate(func, locals):
    for var, test in func.__annotations__.items():
        value = locals[var]
        try: 
            pr=test.__name__+': '+test.__docstring__
        except AttributeError:
            pr=test.__name__   
        msg = '{}=={}; Test: {}'.format(var, value, pr)
        assert test(value), msg

def between(lo, hi):
    def _between(x):
            return lo <= x <= hi
    _between.__docstring__='must be between {} and {}'.format(lo,hi)       
    return _between

def f(x: between(3,10), y:lambda _y: isinstance(_y,int)):
    validate(f, locals())
    print(x,y)

版画

>>> f(2,2) 
AssertionError: x==2; Test: _between: must be between 3 and 10
>>> f(3,2.1)
AssertionError: y==2.1; Test: <lambda>
于 2013-02-24T20:00:53.123 に答える