Posted in Go语言基础和工具链Go接口满足LSP吗？用形式化证明+3大主流框架源码验证接口可替换性边界 第一章：Go接口是什么 Go语言 … Go接口满足LSP吗？用形式化证明+3大主流框架源码验证接口可替换性边界Read more by 代码咖啡馆|2026年2月18日|Go框架源码剖析, Go接口兼容问题, LSP里氏替换原则, 形式化证明, 接口可替换性
