Pylint错误E1128(assignment-from-none)触发原因及合理性分析

代码示例 #

最小示例 #

def get_func(param):

    if param is None:
        def func():
            return None
    else:
        def func():
            return param

    return func


def process_val(param):

    func = get_func(param)
    val = func()

    # Do stuff with 'val'; *None* is an useful case.
    return val

实际用例 #

def get_func(source):

    if source is None:
        def func():
            return None
    
    elif source is "webcam":
        # Open webcam...
        def func():
            # Capture frame from webcam
            return frame
    
    elif source is "server":
        # Open connection to server...
        def func():
            # Read data from server.
            return data

   # Other cases...

    return func


def process_val(source):

    data_func = get_func(source)

    # Here, do stuff in a loop, or pass *data_func* to other functions...
    # The code that uses the *data_func* knows that *None* means that
    # data could not be read and that's OK.

问题描述 #

我编写了上述函数式风格的Python代码，get_func返回的内部函数可能返回None或其他值，但Pylint 2.12.2触发了**E1128(assignment-from-none)**错误，错误说明为：

"Used when an assignment is done on a function call but the inferred function returns nothing but None."

我本想直接禁用该警告，但它被归类为错误，这让我怀疑是否存在潜在bug。想搞清楚：

• 这是Pylint未能识别函数有时返回非None值的误判？
• 还是返回可能为None的函数属于不良编程实践？
• 或是有我未察觉的其他原因？

我认为这种写法是合理的函数式风格，无需调用方关注source的值即可处理返回结果。

这是Pylint的误判，属于静态代码分析工具的局限性问题。

原因分析 #

Pylint的静态分析无法完美追踪嵌套函数的分支返回逻辑：它只能看到get_func里定义的内部函数，但没法精准关联不同分支下内部函数的返回值差异，错误地推断所有内部函数都只返回None，从而触发E1128错误。

关于编程实践的说明 #

你的函数式写法完全合理，不属于不良编程实践：

• 这种工厂函数返回不同行为的函数的模式，是函数式编程中常见的设计思路，能让调用方无需关注底层数据源细节，统一通过返回的函数获取结果，代码耦合度更低。
• 明确约定None表示"无数据/读取失败"，且调用方已处理这种情况，逻辑上没有问题。

解决办法 #

1. 局部禁用警告：在触发错误的代码行上方添加注释，精准屏蔽误判的警告，不影响其他代码的检查：

   # pylint: disable=E1128
   val = func()
   

2. 升级Pylint版本：较新的Pylint版本（比如2.15+）对嵌套函数的返回值推断有优化，可能不会再触发这个误判。
3. 添加类型注解：通过类型注解明确内部函数的返回类型，帮助Pylint正确识别：

   from typing import Callable, Optional, Any
   
   def get_func(param: Optional[Any]) -> Callable[[], Optional[Any]]:
       if param is None:
           def func() -> Optional[Any]:
               return None
       else:
           def func() -> Optional[Any]:
               return param
       return func
   

内容的提问来源于stack exchange，提问作者Milo