正在跳转至 https://www.eiffel.com/values/design-by-contract/introduction/