Neden daha fazla dil bir değeri birden fazla değerle karşılaştıramaz? [kapalı]

Aşağıdakileri göz önünde bulundur:

if(a == b or c)

Çoğu dilde, bunun şu şekilde yazılması gerekir:

if(a == b or a == c)

ki bu biraz hantaldır ve bilgiyi tekrarlar.

Yukarıdaki örnek sözdizimin biraz tıknaz olduğunu biliyorum, ama eminim fikri iletmenin daha iyi yolları var.

Neden daha fazla dil sunmuyor? Performans veya sözdizimi sorunları var mı?

Sözdizimi sorunu - sözdizimi gerektirmesidir.

Dilinizin sözdizimi ne olursa olsun, dili kullanan insanlar bunu öğrenmek zorundadır. Aksi takdirde kodu görme ve ne yaptığını bilmeme riski taşırlar. Bu nedenle, bir dilin birçok durumu temiz bir şekilde ele alan basit bir sözdizimi varsa, genellikle iyi bir şey olarak kabul edilir.

Özel örneğinizde, bir infix işleci (iki bağımsız değişken alan ancak yazılı bir işlev Argument1 Operator Argument2) almaya ve bunu birden çok bağımsız değişkene genişletmeye çalışıyorsunuz. Bu çok temiz bir şekilde çalışmaz, çünkü infix operatörlerinin bütün noktası, bir tane olduğu ölçüde, operatörü 2 argüman arasına koymaktır. Genişletmek, (Argument1 Operator Argument2 MagicallyClearSymbol Argument3...)fazla netlik katıyor gibi görünmüyor Equals(Arg1,Arg2,...). Infix, tipik olarak, insanların bildiği, alternatif bir sözdizimi için geçerli olmayacak matematik kurallarını taklit etmek için de kullanılır.

Ayrıştırıcının, ayrıştırma hızı üzerinde hafif bir etkisi olabilecek başka bir üretim kuralı veya iki dilbilgisi ile uğraşmak zorunda kalması dışında, fikrinizle ilişkili belirli bir performans sorunu olmayacaktır. Bu, yorumlanmış veya JIT derlenmiş bir dil için biraz fark yaratabilir, ancak büyük bir fark yaratmayabilir.

Fikirle ilgili en büyük sorun , bir dilde çok sayıda özel durum oluşturmanın kötü bir fikir olduğu yönündedir .

Çünkü bu bir problem değildir ve çözmesi temelde sıfır fayda getirir, ancak uygulanması sıfır olmayan maliyet getirir.

Mevcut aralık tabanlı işlevler ve hemen hemen her dilin sunduğu gibi, bu durumda a == b || a == ckesilmeyecek bir boyuta ölçeklenirse mükemmel bir şekilde çalışabilir .

Bazı diller böyle özelliklere sahiptir. Örneğin Perl6'da iki değerin “üst üste binmesi” olan Kavşakları kullanabiliriz :

if $a == any($b, $c) {
    say "yes";
}

# syntactic sugar for the above
if $a == $b | $c {
    say "yes";
}

Kavşaklar, skaler işlemlerin bazı dillerdeki koleksiyonlara dağıtılmasına benzer şekilde, bir dizi veri üzerindeki işlemleri oldukça kısa bir şekilde ifade etmemizi sağlar. Örneğin, numpy ile Python kullanarak karşılaştırma tüm değerlere dağıtılabilir:

import numpy as np
2 == np.array([1, 2, 3])
#=> np.array([False, True, False], dtype=np.bool)
(2 == np.array([1, 2, 3])).any()
#=> True

Ancak, bu yalnızca belirli ilkel tipler için geçerlidir.

Kavşaklar neden sorunlu? Bir kavşaktaki işlemler içerilen değerler üzerinde dağıtıldığı için, kavşak nesnesinin kendisi yöntem çağrıları için bir proxy gibi davranır - ördek yazmanın yanı sıra birkaç tür sistem işleyebilir.

Bu tür kavşaklara yalnızca karşılaştırma işleçleri etrafında özel sözdizimi olarak izin veriliyorsa, tür sistem sorunlarından kaçınılabilir . Ancak bu durumda, herhangi bir aklı diline eklenecek yeterli değer katmayacak kadar sınırlıdırlar. Aynı davranış, set işlemleri kullanılarak veya tüm karşılaştırmaları elle heceleyerek ifade edilebilir ve çoğu dil, zaten mükemmel bir çözüm varsa gereksiz sözdizimi eklemeye inanmaz.

Makro içeren dillerde, zaten orada değilse böyle bir şey eklemek kolaydır. Raketi düşünün

(define-syntax-rule (equal-any? a b ...)
  (or (equal? a b) ...))
(equal-any? "a" "b" "a")
> #t

Meta programlama olmadan diğer dillerde, belki de set / list üyelik kontrolü olarak yeniden düzenleyebilirsiniz:

if a ∈ {b, c}

Bazı (popüler) dillerde ==operatör geçişli değildir. JavaScript Mesela 0hem eşittir ''ve '0'o zaman, ama ''ve '0'birbirinden için eşit değildir. PHP bu tür tuhaflık daha.

Bunun a == b == cbaşka bir belirsizlik katacağı anlamına gelir , çünkü (a == b) & (a == c)veya olarak yorumlanıp yorumlanmadığına bağlı olarak farklı bir sonuç verebilir (a == b) & (a == c) & (b == c).

Çoğu dilde, bu bir Inişlev yazarak önemsiz bir şekilde başarılmalıdır , o zaman onu neden gerçek dilin bir parçası yapalım?

Linq, örneğin vardır Contains().

Pekala, tüm akranlarınız için C # uygulamam:

public static bool In<T>(this T obj, params T[] values)
{
    for(int i=0; i < values.Length; i++)
    {
        if (object.Equals(obj, values[i]))
            return true;
    }
    return false;
}

"if (a == b veya c)" çoğu dilde çalışır: a == b veya c negatif, null veya sıfır değilse.

Ayrıntılı olduğundan şikayet etmek, noktayı kaçırıyor: bir düzine şeyi koşullu bir şekilde kazmamalısınız. Bir değeri rastgele başka bir değerle karşılaştırmanız gerekiyorsa, bir alt yordam oluşturun.

Genellikle, söz diziminizi minimumda tutmak ve bunun yerine bu tür yapıların dilin kendisinde tanımlanmasına izin vermek istersiniz.

Örneğin, Haskell'de iki veya daha fazla bağımsız değişkeni olan herhangi bir işlevi, ters işaretler kullanarak bir infix operatörüne dönüştürebilirsiniz. Bu şunları yazmanıza izin verir:

if a `elem` [b, c] then ... else ...

Burada elem, iki değer alan normal bir işlevdir - bir değer ve bir değer listesi - ve ilki ikinci öğenin bir öğesi olup olmadığını kontrol eder.

Bunun andyerine kullanmak isterseniz ne olur or? Haskell'de, derleyici satıcısının yeni bir özellik uygulamasını beklemek yerine aşağıdakileri kullanabilirsiniz:

 if all (== a) [b, c] then ... else ...

Bazı diller bunu bir ölçüde sunmaktadır.

Belki belirli bir örnek olarak değil , örneğin bir Python satırı alın:

def minmax(min, max):
    def answer(value):
        return max > value > min
    return answer

inbounds = minmax(5, 15)
inbounds(7) ##returns True
inbounds(3) ##returns False
inbounds(18) ##returns False

Bu nedenle, bazı diller doğru şekilde ifade ettiğiniz sürece birden fazla karşılaştırmayla iyidir.

Ne yazık ki, karşılaştırmalar için beklediğiniz gibi çalışmıyor.

>>> def foo(a, b):
...     def answer(value):
...         return value == a or b
...     return answer
... 
>>> tester = foo(2, 4)
>>> tester(3)
4
>>> tester(2)
True
>>> tester(4)
4
>>> 

"Ne demek True ya da 4 döndürür?" - senden sonra işe alma

Bu durumda, en azından Python ile bir çözüm, onu biraz farklı kullanmaktır:

>>> def bar(a, b):
...     def ans(val):
...             return val == a or val == b
...     return ans
... 
>>> this = bar(4, 10)
>>> this(5)
False
>>> this(4)
True
>>> this(10)
True
>>> this(9)
False
>>> 

DÜZENLEME: Aşağıdaki, yine Python'da benzer bir şey yapardı ...

>>> def bar(a, b):
...     def answer(val):
...             return val in (a, b)
...     return answer
... 
>>> this = bar(3, 5)
>>> this(3)
True
>>> this(4)
False
>>> this(5)
True
>>> 

Kullandığınız hangisi dil Yani, onunla bu olmayabilir olamaz öncelikle mantık aslında nasıl çalıştığına yakından bakmak gerekir sadece, bunu. Tipik olarak, bu dili size ne söylemesini gerçekten istediğini bilmekle ilgilidir.

Tamamen tüm dillerin sahip olduğu bir Array'de kullanılan indexOf yöntemi, bir değeri başkalarıyla karşılaştırmaya izin verir, bu nedenle özel bir işleç çok mantıklı değildir.

Javascript'te şöyle yazar:

if ( [b, c].indexOf(a) != -1 ) { ....  }

Bunu neden yapamayacağımızı soruyorsun: if(a == b or c)

Python bunu çok verimli, aslında en verimli şekilde yapar set:

if a in set([b, c]):
    then_do_this()

Üyelik testi için 'set' öğenin karmalarının aynı olup olmadığını denetler ve ancak o zaman eşitlikle karşılaştırır, bu nedenle b ve c öğelerinin yıkanabilir olması gerekir, aksi takdirde bir liste doğrudan eşitlikle karşılaştırılır:

if a in [b, c]:
    then_do_this()

APL tarzı diller, tek bir işlemde bir vektördeki her bir öğe ile bir skaler karşılaştırmanıza izin verir. Bu bir Boolean vektörü üretir. Bir örnek olarak, minimal özellikli apl hesap makinemi utanmazca tanıtmak istiyorum, inca ( çevrimiçi yorumlayıcı ).

   a<5
5 
   b<4
4 
   c<5
5 
   a=b c
0 1 

Bunu tek bir değere düşürmek için, kapsayıcı veya sıfır olmayanları toplayıp kontrol ederek yapabiliriz.

   0!+/a=b c
1 
   c<6
6 
   0!+/a=b c
0

Diğer cevapların dediği gibi, konu sözdizimidir. Bir dereceye kadar, sözdizimi çözümler gelmiş dizi paradigmasını öğrenme belki ağır maliyetle bulundu.