Neden '-' eksi işareti genellikle artı işaretiyle aynı şekilde aşırı yüklenmiyor?

Artı işareti +, toplama ve string bitiştirme için kullanılır, fakat onun arkadaşı: eksi işareti, -genellikle dizelerin kırpılması veya çıkarmadan başka bir durum için görülür. Bunun nedeni veya sınırlamaları ne olabilir?

JavaScript'te aşağıdaki örneği göz önünde bulundurun:

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

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

Kısacası, insanların algoritmalar yazmak istedikleri teller üzerinde özellikle faydalı çıkarmaya benzer işlemler yoktur.

+Operatör, genellikle bir katkı maddesi işlemini gösterir Monoid bu, bir kimlik elemanı ile bir birleştirici bir işlemdir:

• A + (B + C) = (A + B) + C
• A + 0 = 0 + A = A

Tamsayı toplama, dizi bitiştirme ve set birliği gibi şeyler için bu işleci kullanmak mantıklıdır, çünkü hepsi aynı cebirsel yapıya sahiptir:

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

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

Ve bunu, concatherhangi bir "birleştirilebilir" şey dizisi üzerinde çalışan bir işlev gibi kullanışlı algoritmalar yazmak için kullanabiliriz , örneğin:

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

Çıkarma işlemi gerçekleştiğinde -, genellikle her eleman A için ters −A ekleyen bir grubun yapısı hakkında konuşursunuz , böylece:

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

Ve bu tamsayı ve kayan nokta çıkarma, hatta fark yaratma gibi şeyler için mantıklı olsa da, dizeler ve listeler için pek mantıklı gelmiyor. Bunun tersi nedir "foo"?

Bir iptal monoid denilen , tersine sahip olmayan ancak iptal etme özelliğine sahip bir yapı var , öyle ki:

• A - A = 0
• A - 0 = A
• (A + B) - B = A

Bu tanımladığınız "ab" - "b" == "a"ancak tanımlanmadığınız, tanımladığınız yapıdır "ab" - "c". Sadece bu yapıyı kullanan çok sayıda algoritmaya sahip değiliz. Sanırım seri hale getirme olarak birleştirmeyi düşünüyorsanız, çıkarma bir tür ayrıştırma için kullanılabilir.

Çünkü herhangi iki geçerli dizenin birleştirilmesi her zaman geçerli bir işlemdir, ancak bunun tersi doğru değildir.

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

a - bBurada ne olmalı ? Bu soruyu cevaplamanın gerçekten iyi bir yolu yok, çünkü sorunun kendisi geçerli değil.

Çünkü -karakter dizisi manipülasyonu için yeterli "anlamsal uyum" yok. Operatörler, yalnızca aşırı yükün operands ile ne yaptığını açıkça belirttiğinde aşırı yüklenmelidir ve string çıkarma işlemi bu çubuğu karşılamaz.

Sonuç olarak, yöntem çağrıları tercih edilir:

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

C # dilinde, +form birleştirme için kullanıyoruz çünkü form

var result = string1 + string2 + string3;

onun yerine

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

Bir işlev çağrısı, anlamsal bir bakış açısıyla muhtemelen daha "doğru" olmasına rağmen, kullanımı kolay ve tartışmalı olarak daha kolaydır.

+Operatör gerçekten sadece bu bağlamda bir anlamı olabilir. Bu gibi doğru değildir -çıkarılarak dizeleri kavramı belirsiz (işlev çağrısı olduğundan, Replace(source, oldValue, newValue)ile ""olduğu gibi newValueparametresi tüm şüphe kaldırır ve fonksiyon değil, sadece bunları kaldırmak alt dizeleri değiştirmek için kullanılabilir).

Elbette ki sorun, operatörün aşırı yüklenmesinin, operatöre geçen tiplere bağlı olmasıdır ve bir sayının olması gereken bir dize geçirirseniz, beklemeyeceğiniz bir sonuç alabilirsiniz. Ek olarak, birçok birleştirme için (yani bir döngüde), bir StringBuildernesnenin kullanılması tercih edilir, çünkü her kullanım +yepyeni bir dize oluşturur ve performans zarar görebilir. Yani +operatör tüm bağlamlarda uygun değil.

İp birleştirme için +operatörden daha iyi bir semantik yapışkanlığa sahip operatör aşırı yüklemeleri vardır . İşte iki karmaşık sayı ekleyen:

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

Groovy dili izin vermez -:

println('ABC'-'B')

döner:

AC

Ve:

println( 'Hello' - 'World' )

döner:

Hello

Ve:

println('ABABABABAB' - 'B')

döner:

AABABABAB

Artı işareti muhtemelen bağlamsal olarak daha fazla durumda anlamlıdır, ancak Python'daki bir karşı örnek (belki de kuralı ispatlayan bir istisna), aşağıdakileri sağlayan -ancak vermeyen set nesnesidir +:

>>> 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'

Bu +işareti kullanmak mantıklı değil çünkü niyet belirsiz olabilir - bu kesişme veya sendika kurmak anlamına mı geliyor? Bunun yerine, |birlik ve &kavşak için kullanır :

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

" -Aynı kelime, farklı parçaların birleştirilmesi için" ( "yerinde, örneğin) bir bileşik, bir deyişle kullanılan". Neden -farklı dizeleri programlama dillerinde birleştirmek için " " kullanmıyoruz ? Bence bu çok mantıklı olur! Bu +saçmalığı cehenneme !

Ancak, buna biraz daha soyut bir açıdan bakmayı deneyelim.

String cebirini nasıl tanımlarsın? Hangi işlemleri yapardınız ve onlar için hangi yasaları tutarsınız? İlişkileri ne olurdu?

Unutma, kesinlikle hiçbir belirsizlik olabilir! Bunu yapmanın mümkün olmadığı anlamına gelse bile, her olası dava iyi tanımlanmalıdır! Cebiriniz ne kadar küçük olursa, bu o kadar kolay yapılır.

Örneğin, iki dize eklemek veya çıkarmak ne anlama geliyor?

İki dize eklerseniz (örneğin, izin ver a = "aa"ve b = "bb"), aabbsonucunun sonucu olur a + bmu?

Nasıl hakkında b + a? Bu olur bbaamu? Neden olmasın aabb? aaEklemenizin sonucundan çıkarırsanız ne olur ? İpinizde negatif miktarda bir kavram var aamıydı?

Şimdi bu cevabın başlangıcına geri dönün ve spaceshuttleyerine dize kullanın. Genellemek için, herhangi bir işlem neden herhangi bir tür için tanımlanmış veya tanımlanmamış?

Yapmaya çalıştığım nokta şu ki, herhangi bir şey için cebir yaratmanı engelleyen hiçbir şey yok. Anlamlı işlemler veya bunun için faydalı işlemler bulmak zor olabilir.

Dizeler için, birleştirme, şimdiye kadar karşılaştığım en mantıklı olanı. İşlemi temsil etmek için hangi sembolün kullanıldığı önemli değildir.