.NET 4.0 New Feature - 程式碼合約(Code Contracts) (五) 介面合約與抽象方法合約