C# 接口可定義屬性：去掉 public 修飾符即可

正確寫法

interface MyInterface {
    // ❌ 編譯錯誤：接口成員不允許修飾符
    // public int XueHao { get; set; }

    // ✅ 正確：隱式 public
    int XueHao { get; set; }
}

實現類

class Student : MyInterface {
    public int XueHao { get; set; } // 實現類必須 public
}

補充：C# 8.0 接口默認實現

interface IId {
    int Id { get; set; }
    void PrintId() => Console.WriteLine(Id); // 默認實現
}

實現類可選擇重寫或直接繼承默認行為。