python - ~ 是做什么的？

Question

在编写代码时，我遇到了表达 ~<type> 类型的 linter (其中 <type> 不是 <type> 文学类型)。这方面的一个例子是 self .

class A:
    def foo(self):
        reveal_type(self) # reveals "~A"

我假设这意味着“A 或 A 的子类”；但是，我无法在网上找到有关它的任何信息。

此外，您不能在代码中使用此语法:

a: ~A # raises an exception: TypeError: bad operand type for unary ~: 'type'

如果a本来会被揭露的 Unknown .

Answer 1

查看 source code , TypeVars 打印 (repr) 前导“+”如果它们是协变的，“-”如果是逆变的，“~”如果不变(既不是协变也不是逆变)。