为什么减号“-”通常不会以与加号相同的方式重载？

加号+用于加法和字符串连接，但它的伴随符号：减号-通常看不到减号或除减法以外的其他情况。这可能是什么原因或局限性？

考虑下面的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)

当-涉及减法时，通常会讨论group的结构，该结构为每个元素A 添加一个反数 -A，从而：

• A + -A = -A + A = 0

尽管这对于整数和浮点减法，甚至设置差异之类的东西有意义，但对于字符串和列表却没有太大意义。的逆是"foo"什么？

有一个称为取消单面体的结构，它没有逆，但具有取消属性，因此：

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

这是您描述的结构，其中"ab" - "b" == "a"，但"ab" - "c"未定义。只是我们没有许多使用这种结构的有用算法。我想如果您将串联视为串行化，那么可以将减法用于某种形式的解析。

因为任何两个有效字符串的连接始终是有效操作，但是相反的情况并非如此。

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对象是更可取的，因为每次使用+都会创建一个全新的字符串，并且性能可能会受到影响。因此，+运算符甚至都不适合所有情况。

运算符重载比+字符串串联运算符具有更好的语义凝聚力。这是一个添加两个复数的数字：

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

在更多情况下，加号在上下文上可能更有意义，但是set对象中的反例（也许是证明规则的异常）是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'])

“ -”在一些复合词被使用（例如，“现场”）用于接合不同部分到同一字。为什么不使用“ -”将编程语言中的不同字符串连接在一起？我认为这完全有道理！为了这个见鬼+的废话！

但是，让我们尝试从更抽象的角度来看待这个问题。

您将如何定义字符串代数？您将进行哪些操作，以及对他们适用什么法律？他们的关系是什么？

请记住，可能绝对没有歧义！每个可能的情况都必须得到很好的定义，即使这确实意味着不可能做到这一点！代数越小，越容易完成。

例如，加或减两个字符串实际上意味着什么？

如果添加两个字符串（例如let a = "aa"和b = "bb"），将得到aabb结果a + b吗？

怎么b + a样 那会是bbaa吗？为什么不aabb呢？如果从加法aa结果中减去会怎样？您的字符串中会有负数的概念aa吗？

现在返回到此答案的开头，并替换spaceshuttle而不是字符串。概括地说，为什么要为任何类型定义或不定义任何操作？

我要说的是，没有什么可以阻止您为任何事物创建代数。可能很难找到有意义的操作，甚至很难找到有用的操作。

对于字符串，串联几乎是我遇到的唯一明智的方法。没关系，用什么符号表示操作。