Neden numaralandırma değerlerine 0.0 atayabilirim ama 1.0 atamıyorum

Question 1

Sadece meraktan soruyorum: neden numaralandırma türündeki bir değişkene 0.0 atayabilirim ama 1.0 atayamıyorum? Aşağıdaki koda bir göz atın:

public enum Foo
{
    Bar,
    Baz
}

class Program
{
    static void Main()
    {
        Foo value1 = 0.0;
        Foo value2 = 1.0;   // This line does not compile
        Foo value3 = 4.2;   // This line does not compile
    }
}

Sayısal türler ve numaralandırma değerleri arasındaki dönüşümlere yalnızca yayınlar aracılığıyla izin verildiğini düşündüm. Yani Foo yazabilirim, value2 = (Foo) 1.0;böylece 2. satır Mainderlenebilir. 0.0C # 'daki değer için neden bir istisna var ?

Question 2

0.0'ı kullanabileceğiniz bir hatadır. Derleyici, sıfır değerine sahip tüm sabit ifadeleri örtük olarak sadece 0 olarak ele alır.

Şimdi, derleyicinin C # 5 belirtiminin 6.1.3 bölümüne göre sabit bir 0 ifadesinden sizin numaranıza örtük bir dönüşüme izin vermesi doğrudurint :

Örtülü bir numaralandırma dönüşümü, ondalık tamsayı-değişmez 0'ın herhangi bir enum türüne ve temel alınan türü bir enum türü olan herhangi bir null yapılabilir türe dönüştürülmesine izin verir. İkinci durumda, dönüştürme, temeldeki enum türüne dönüştürülerek ve sonucu sararak değerlendirilir (§4.1.10).

C # ekibiyle daha önce bunun hakkında konuştum: Yanlışlıkla 0,0 (ve aslında 0,0 m ve 0,0f) değerlerinden enum değerlerine dönüştürmeyi kaldırmayı çok isterdi , ancak ne yazık ki çok fazla kod kırdığını anladım - ilk etapta asla izin verilmemeliydi.

Mono mcsderleyici , aşağıdakilere izin vermesine rağmen, tüm bu kayan nokta dönüşümlerini yasaklar :

const int Zero = 0;
...

SomeEnum x = Zero;

gerçeğine rağmen Zerosabit ifadesidir ama değil ondalık tamsayı .

Gelecekte 0 değerine sahip herhangi bir tamsayı sabit ifadesine izin vermek için (yani taklit etmek için mcs) C # spesifikasyonunun değiştiğini görmek beni şaşırtmaz , ancak kayan nokta dönüşümlerinin resmi olarak doğru olmasını beklemem . (Daha önce C # 'ın geleceğini tahmin etme konusunda yanılmışım elbette ...)

Question 3

Jon'un cevabı doğru. Buna şu noktaları eklerim.

Bu aptal ve utanç verici hataya ben sebep oldum. Birçok özür.
Hata, derleyicideki "ifade sıfırdır" koşulunun anlamını yanlış anlamamdan kaynaklandı; Sadece tamsayı sıfır eşitliğini kontrol ettiğine inandım, aslında "bu, bu türün varsayılan değeri mi?" Aslında, hatanın önceki bir sürümünde, herhangi bir türün varsayılan değerini bir numaralandırmaya atamak gerçekten mümkündü! Artık sayıların yalnızca varsayılan değerleridir. (Ders: Yardımcı yüklemlerinizi dikkatlice adlandırın.)
Karıştırdığım uygulamaya çalıştığım davranış, aslında biraz farklı bir hata için geçici bir çözümdü. Korkunç hikayenin tamamını buradan okuyabilirsiniz: https://docs.microsoft.com/en-us/archive/blogs/ericlippert/the-root-of-all-evil-part-one ve https://docs.microsoft .com / en-us / archive / blogs / ericlippert / the-root-of-all-evil-part-two (Ders: Eski hataları düzeltirken yeni ve daha kötü hataları ortaya çıkarmak çok kolaydır.)
C # ekibi bu hatalı davranışı düzeltmek yerine korumaya karar verdi çünkü mevcut kodu zorlayıcı bir fayda sağlamadan kırma riski çok yüksekti. (Ders: ilk seferde doğru yapın!)
Ben bu davranışı korumak için Roslyn yazdığı kod yönteminde bulunabilir IsConstantNumericZeroiçinde https://github.com/dotnet/roslyn/blob/master/src/Compilers/CSharp/Portable/Binder/Semantics/Conversions/ConversionsBase.cs - Roslyn davranışının tam olarak ne olduğu hakkında daha fazla ayrıntı için ona bakın. Kodun neredeyse tamamını Dönüşümler dizinine yazdım; C # 'nin yorumlarda belirtimden nasıl ayrıldığına dair pek çok ilginç gerçek olduğu için hepsini okumanızı tavsiye ederim. Bulmayı kolaylaştırmak için her birini SPEC İHLALİ ile süsledim.

İlgi çekici bir nokta daha: C # ayrıca herhangi bir enum değerinin sıfırlığına bakılmaksızın bir numaralandırma başlatıcısında kullanılmasına izin verir :

enum E { A = 1 }
enum F { B = E.A }  // ???

Spesifikasyon, bunun yasal olup olmadığı konusunda biraz belirsizdir, ancak yine, bu derleyicide uzun süredir olduğu için, yeni derleyicilerin davranışı sürdürmesi muhtemeldir.

Question 4

C # 'da numaralandırmalar tanım gereği integral değerleridir. Tutarlılık için C # bu atamalardan hiçbirini kabul etmemelidir, ancak0.0 sessizce integral olarak ele alınır 0. Bu muhtemelen, değişmezin 0özel olarak ele alındığı ve esasen herhangi bir türü alabileceği C'den bir tutmadır - tamsayı, kayan nokta sayısı, boş gösterici… adını siz koyun.

Question 5

enum gerçekten (onu destekleyen tüm dillerde) sayısal değerler yerine anlamlı ve benzersiz dizelerle (etiketler) çalışmanın bir yolu olarak tasarlanmıştır. Dolayısıyla, örneğinizde, Foo numaralandırılmış bir veri türü ile uğraşırken yalnızca Bar ve Baz kullanmalısınız . Pek çok derleyici ondan kurtulmanıza izin verse bile, asla bir tamsayı kullanmamalısınız (karşılaştırmamalı veya atamamalısınız) (numaralandırmalar genellikle dahili tamsayıdır) ve bu durumda 0,0, dikkatsizce derleyici tarafından 0 olarak değerlendirilir.

Kavramsal olarak, numaralandırılmış bir değere bir n tamsayısı eklemek , satırın aşağısında n değerleri elde etmek veya ne kadar uzakta olduklarını görmek için val2 - val1 almak doğru olmalıdır, ancak dil spesifikasyonu buna açıkça izin vermedikçe, I Bundan kaçınırdım. (Numaralandırılmış bir değeri, onu kullanabileceğiniz şekillerde bir C işaretçisi gibi düşünün.) Numaralandırmaların kayan nokta sayıları ve aralarında sabit bir artışla gerçekleştirilememesinin bir nedeni yok, ancak duymadım bu herhangi bir dilde yapılıyor.