你正在寻找TypedDict。它目前只是一个mypy专用的扩展，但是在不久的将来有计划扩展到make it an officially sanctioned type。我不确定PyCharm是否支持这个特性。
所以，在你的情况下，你会做：

from mypy_extensions import TypedDict

RectangleElements = TypedDict('RectangleElements', {
    'front': Line,
    'left': Line,
    'right': Line,
    'rear': Line,
    'cog': float,
    'area': float,
    'pins': Optional[List[Pin]]
})

class Rectangle:
    def __init__(self, corners: Tuple[Tuple[float, float]],**kwargs):
        self.x, self.z = corners[0][0], corners[0][1]
        self.elements = {
            'front': Line(corners[0], corners[1]),
            'left': Line(corners[0], corners[2]),
            'right': Line(corners[1], corners[3]),
            'rear': Line(corners[3], corners[2]),
            'cog': calc_cog(corners),
            'area': calc_area(corners),
            'pins': None
        }  # type: RectangleElements

如果你使用的是Python 3.6+，你可以使用基于类的语法更优雅地输入。
不过，在您的具体情况下，我想大多数人会将这些数据片段存储为常规字段，而不是dicture。我相信您已经考虑过这种方法的利弊，所以我就不对您进行说教了。

最简单的方法：

from typing import TypedDict

class Movie(TypedDict):
   name: str
   year: int

movie: Movie = {'name': 'Blade Runner', 'year': 1982}

movie['year'] = '1982' # Error: invalid value type ("int" expected)

打字字典-PEP 589

经过更多的研究，到目前为止我能找到的最好的解决方法是确保类Pin可以返回某种占位符，然后在文本声明中使用占位符作为值。
因此：

class Pin:
    def __init__(self,**kwargs):
        if len(kwargs) == 0:
            return

现在，在OP中的示例中，我可以执行以下操作来实现我想要的：

...
        'area': calc_area(corners),
        'pins': List[Pin(),]
    }

然而，如果我有一个基本类型（或类型）作为条目，这将不起作用。

...
        'area': calc_area(corners),
        'pins': List[Pin(),]
        'color': None
        'lap_times': None
    }

其中color需要一个字符串，lap_times需要一个带有浮点数的列表...
在这种情况下，最好的解决方法是

...
        'area': calc_area(corners),
        'pins': List[Pin(),]
        'color': 'blue'
        'lap_times': [0.,]
    }

    self.elements['color'], self.elements['lap_times'] = None, None

这两个似乎都不是很优雅，所以我仍然希望有人能建议更好的东西。