マイナス記号「-」が一般にプラス記号と同じように過負荷にならないのはなぜですか？

プラス記号+は、加算と文字列の連結に使用されますが、そのコンパニオンであるマイナス記号、は-、通常、文字列のトリミングや減算以外の場合には表示されません。その理由や制限は何でしょうか？

JavaScriptの次の例を検討してください。

var a = "abcdefg";
var b = "efg";

a-b == NaN
// but
a+b == "abcdefgefg"

要するに、人々がアルゴリズムを書きたいと思った文字列に対して、特に有用な減算のような操作はありません。

+オペレータは、一般に、添加剤の操作示しモノイドをつまり、同一要素と連想動作です。

• A +（B + C）=（A + B）+ C
• A + 0 = 0 + A = A

これらはすべて同じ代数構造を持っているため、整数の加算、文字列の連結、集合のユニオンなどにこの演算子を使用するのは理にかなっています。

1 + (2 + 3) == (1 + 2) + 3
1 + 0 == 0 + 1 == 1

"a" + ("b" + "c") == ("a" + "b") + "c"
"a" + "" == "" + "a" == "a"

そして、これを使用してconcat、「連結可能」なもののシーケンスで機能する関数のような便利なアルゴリズムを作成できます。

def concat(sequence):
    return sequence.reduce(+, 0)

減算はときに-巻き込ま、あなたは、通常の構造について話すグループ追加し、逆：ように、すべての要素Aのために-Aを

• A + −A = −A + A = 0

そして、これは整数や浮動小数点の減算、またはセットの差のようなものには意味がありますが、文字列やリストにはあまり意味がありません。の逆は"foo"何ですか？

cancellative monoidと呼ばれる構造があり、これには逆関数はありませんが、キャンセルプロパティがあります。

• A − A = 0
• A − 0 = A
• （A + B）− B = A

これはあなたが説明する構造で、ここで"ab" - "b" == "a"、"ab" - "c"定義されていません。この構造を使用する便利なアルゴリズムがあまりないというだけです。連結をシリアル化と考えると、何らかの解析に減算を使用できると思います。

2つの有効な文字列の連結は常に有効な操作ですが、その逆は当てはまりません。

var a = "Hello";
var b = "World";

a - bここに何がありますか？質問自体は有効ではないため、その質問に答える良い方法はありません。

-文字列操作の演算子には十分な「セマンティック結合」がないためです。演算子は、オペランドでオーバーロードが何をするかが完全に明確で、文字列の減算がそのバーを満たさない場合にのみオーバーロードする必要があります。

したがって、メソッド呼び出しが推奨されます。

public string Remove(string source, string toRemove)
public string Replace(string source, string oldValue, string newValue)

C＃言語では+、フォームが

var result = string1 + string2 + string3;

の代わりに

var result = string.Concat(string1, string2, string3);

セマンティックの観点からは、関数呼び出しの方がおそらく「正しい」場合でも、便利で間違いなく読みやすいです。

+オペレータは、実際には、この文脈で一つのことを意味することができます。これはのための真ではありません-差し引いた文字列の概念は（関数呼び出し曖昧であるため、Replace(source, oldValue, newValue)との""ようnewValueパラメータは、すべての疑いを削除し、関数がサブストリングを変更するために使用することができ、ちょうどそれらを削除しません）。

もちろん、問題は、演算子のオーバーロードが演算子に渡される型に依存していることであり、数値があったはずの場所に文字列を渡すと、予期しない結果が得られる可能性があります。さらに、多くの連結（ループ内）では、StringBuilderオブジェクトを使用する+ことをお勧めします。使用するたびに新しい文字列が作成され、パフォーマンスが低下する可能性があるためです。そのため、+演算子はすべてのコンテキストで適切ではありません。

+文字列の連結に対して演算子が行うよりもセマンティックな凝集性が優れている演算子のオーバーロードがあります。以下に2つの複素数を追加するものを示します。

public static Complex operator +(Complex c1, Complex c2) 
{
    return new Complex(c1.real + c2.real, c1.imaginary + c2.imaginary);
}

Groovyの言語は認めていません-。

println('ABC'-'B')

返却値：

AC

そして：

println( 'Hello' - 'World' )

返却値：

Hello

そして：

println('ABABABABAB' - 'B')

返却値：

AABABABAB

多くの場合、プラス記号はおそらく文脈上意味がありますが、Pythonの反例（おそらくルールを証明する例外）はsetオブジェクトであり、これは以下を提供しますが、提供し-ません+：

>>> set('abc') - set('bcd')
set(['a'])
>>> set('abc') + set('bcd')
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for +: 'set' and 'set'

+意図があいまいになる可能性があるため、記号を使用することは意味がありません-交差点または結合を設定することを意味しますか？代わりに、|結合および&交差に使用します。

>>> set('abc') | set('bcd')
set(['a', 'c', 'b', 'd'])
>>> set('abc') & set('bcd')
set(['c', 'b'])

「-」は、さまざまな部分を同じ単語に結合するために、いくつかの複合語（「オンサイト」など）で使用されます。-プログラミング言語で異なる文字列を結合するために「」を使用しないのはなぜですか？それは完全に理にかなっていると思います！この+ナンセンスで地獄に！

ただし、これをもう少し抽象的な角度から見てみましょう。

文字列代数をどのように定義しますか？あなたはどのような事業を展開し、どのような法律が彼らに適用されますか？彼らの関係はどうでしょうか？

曖昧さがまったくないかもしれないことを覚えておいてください！これは不可能だと言っていても、考えられるすべてのケースを明確に定義する必要があります。代数が小さければ小さいほど、これは簡単です。

たとえば、2つの文字列を実際に加算または減算するとはどういう意味ですか？

2つの文字列（たとえば、let a = "aa"とb = "bb"）を追加するaabbと、結果はa + b？

いかがb + a？それでしょうbbaaか？どうしてaabb？加算aaの結果から減算するとどうなりますか？あなたのストリングには、マイナスの量の概念がありaaますか？

次に、この回答の先頭に戻りspaceshuttle、文字列の代わりに置き換えます。一般化するために、どのタイプの操作も定義されているのか、定義されていないのですか？

私が作ろうとしているのは、何かのために代数を作成することを妨げるものは何もないということです。意味のある操作を見つけるのは難しいかもしれませんし、それに役立つ操作さえ見つけるのは難しいかもしれません。

文字列の場合、連結は、これまでに出会った唯一の賢明な方法です。操作を表すためにどのシンボルが使用されるかは関係ありません。