結論：兩個字符串相等的充要條件是它們擁有相同的長度且每個位置上的字符都相同。
原因：兩個字符串相等必須滿足每個位置的字符都相同，否則它們就不相等。
而長度也是判斷字符串是否相等的一個必要條件，因為如果兩個字符串的長度不同，那麼它們就不可能每個位置上都對應相同的字符。
內容延伸：字符串的相等性是計算機領域中的一項重要問題，通常可以使用編程語言中的字符串比較函數來實現對字符串的相等性判斷。
另外，要注意字符串比較時的大小寫敏感性問題，即有些編程語言區分大小寫，而有些則不區分。

長度相等，並且各個對應位置上的字符都相等。

形式理論

1、設 Σ 是叫做字母表的非空有限集合。Σ 的元素叫做“符號”或“字符”。在 Σ 上的字符串(或字)是來自 Σ 的任何有限序列。例如，如果 Σ = {0, 1}，則 0101 是在 Σ 之上的字符串。

2、字符串的長度是在字符串中字符的數目(序列的長度)，它可以是任何非負整數。“空串”是在 Σ 上的唯一的長度為 0 的字符串，並被指示為 ε 或 λ。

3、在 Σ 上的所有長度為 n 的字符串的集合指示為 Σn。例如，如果 Σ = {0, 1} 則 Σ2 = {00, 01, 10, 11}。注意 Σ0 = {ε} 對於任何字母表 Σ。

重載方法強調：名稱相同，但參數不同。

參數不同包括：

①參數類型不用

②參數個數不同

如 public void sum ( int a, string b)

和public void sum( string a, int b)

注意，重載與參數變量名稱無關。

當重載想要輸入字符串時，

僅需定義相同的函數名稱，參數定義為字符串既可

例如：

既存方法 public void print( int a, int b)｛方法體｝

定義方法

public void print( string a, string b)｛方法體｝

調用方法print(“123“，“567”);