Adding Overloads of stdlib Built-in Types __new__ with No Arguments

Calling int() and str() with no arguments returns 0 and "" respectively, likewise for bool() == False and bytes() == b"". But to actually call these constructors without arguments is very unusual and is likely a mistake on part of the user.

# a and b are two strings
x = int(a)
y = int()    # typo, should be int(b)

x / y    # ZeroDivisionError

It will be helpful for type stubs to denote that such no-argument calls return a constant value, and for IDEs to possibly notify of such use.

Currently the stub for int.__new__ looks like this:

https://github.com/python/typeshed/blob/904ea9ec022ae75d282f6a4c34563e4e9b8eed15/stdlib/builtins.pyi#L257

class int:
    @overload
    def __new__(cls, x: ConvertibleToInt = 0, /) -> Self: ...

and str.__new__:

class str(Sequence[str]):
    @overload
    def __new__(cls, object: object = "") -> Self: ...

I suggest adding an overload with no argument and removing the default parameter value from the one-arg __new__, though I'm not sure if there are existing special behaviors of type checkers regarding builtins that I'm unaware of.

Bắt đầu với stdlib/builtins.pyi, đặc biệt là các định nghĩa int.new và str.new được liên kết trong issue, rồi kiểm tra các stub của constructor tích hợp tương ứng cho bool và bytes. Hãy kiểm tra cách các trình kiểm tra kiểu hiện có xử lý tham số mặc định so với các overload riêng biệt, sau đó đảm bảo các stub phân biệt lời gọi không có đối số với lời gọi có một đối số và xác thực các giá trị hằng số được suy luận tương ứng.