Co to jest tylda (~) w definicji wyliczenia?

Zawsze jestem zaskoczony, że nawet po używaniu C # przez cały ten czas wciąż udaje mi się znaleźć rzeczy, o których nie wiedziałem ...

Próbowałem poszukać tego w Internecie, ale użycie „~” w wyszukiwaniu nie działa tak dobrze i nie znalazłem również niczego w MSDN (nie mówiąc, że go tam nie ma)

Widziałem ostatnio ten fragment kodu, co oznacza tylda (~)?

/// <summary>
/// Enumerates the ways a customer may purchase goods.
/// </summary>
[Flags]
public enum PurchaseMethod
{   
    All = ~0,
    None =  0,
    Cash =  1,
    Check =  2,
    CreditCard =  4
}

Byłem trochę zaskoczony, że to zobaczyłem, więc próbowałem to skompilować i zadziałało ... ale nadal nie wiem, co to znaczy / robi. Jakaś pomoc??

~ jest jednoargumentowym operatorem dopełniacza jedynki - odwraca bity swojego operandu.

~0 = 0xFFFFFFFF = -1

w arytmetyce uzupełnień do dwóch, ~x == -x-1

operator ~ można znaleźć w prawie każdym języku, który zapożyczył składnię z C, w tym w Objective-C / C ++ / C # / Java / Javascript.

Myślę, że:

[Flags]
public enum PurchaseMethod
{
    None = 0,
    Cash = 1,
    Check = 2,
    CreditCard = 4,
    All = Cash | Check | CreditCard
 }

Byłoby trochę bardziej jasne.

public enum PurchaseMethod
{   
    All = ~0, // all bits of All are 1. the ~ operator just inverts bits
    None =  0,
    Cash =  1,
    Check =  2,
    CreditCard =  4
}

Z powodu dwóch uzupełnień w C #, ~0 == -1liczba, w której wszystkie bity mają wartość 1 w reprezentacji binarnej.

Jest lepszy niż

All = Cash | Check | CreditCard

rozwiązanie, ponieważ jeśli później dodasz inną metodę, powiedz:

PayPal = 8 ,

skończysz już z tyldą-All, ale musisz zmienić linię all-line z drugą. Więc później jest mniej podatny na błędy.

pozdrowienia

Tylko uwaga na marginesie, kiedy używasz

All = Cash | Check | CreditCard

masz dodatkową korzyść, która Cash | Check | CreditCardbyłaby szacowana na Allinną wartość (-1), a nie na inną wartość (-1), która nie jest równa all, ale zawiera wszystkie wartości. Na przykład, jeśli używasz trzech pól wyboru w interfejsie użytkownika

[] Cash
[] Check
[] CreditCard

i zsumuj ich wartości, a użytkownik wybierze je wszystkie, zobaczysz Allw wynikowym wyliczeniu.

Dla innych, którzy uznali to pytanie za pouczające, mam szybki ~przykład do udostępnienia. Poniższy fragment z implementacji metody malowania, jak opisano szczegółowo w tej dokumentacji Mono , wykorzystuje ~z doskonałym efektem:

PaintCells (clipBounds, 
    DataGridViewPaintParts.All & ~DataGridViewPaintParts.SelectionBackground);

Bez ~operatora kod prawdopodobnie wyglądałby mniej więcej tak:

PaintCells (clipBounds, DataGridViewPaintParts.Background 
    | DataGridViewPaintParts.Border
    | DataGridViewPaintParts.ContentBackground
    | DataGridViewPaintParts.ContentForeground
    | DataGridViewPaintParts.ErrorIcon
    | DataGridViewPaintParts.Focus);

... bo wyliczenie wygląda tak:

public enum DataGridViewPaintParts
{
    None = 0,
    Background = 1,
    Border = 2,
    ContentBackground = 4,
    ContentForeground = 8,
    ErrorIcon = 16,
    Focus = 32,
    SelectionBackground = 64,
    All = 127 // which is equal to Background | Border | ... | Focus
}

Zwróć uwagę na podobieństwo tego wyliczenia do odpowiedzi Seana Brighta?

Myślę, że najważniejszym dla mnie wnioskiem jest to, że ~jest to ten sam operator w wyliczeniu, co w normalnym wierszu kodu.

To operator dopełniacza. Oto artykuł, do którego często odwołuję się w przypadku operatorów bitowych

http://www.blackwasp.co.uk/CSharpLogicalBitwiseOps.aspx

Również msdn używa go w swoim artykule wyliczeń, który pokazuje, że lepiej go używać

http://msdn.microsoft.com/en-us/library/cc138362.aspx

Alternatywą, której osobiście używam, a która robi to samo, co odpowiedź @Sean Bright, ale dla mnie wygląda lepiej, jest ta:

[Flags]
public enum PurchaseMethod
{
    None = 0,
    Cash = 1,
    Check = 2,
    CreditCard = 4,
    PayPal = 8,
    BitCoin = 16,
    All = Cash + Check + CreditCard + PayPal + BitCoin
}

Wskazówki jak binarny charakter tych liczb, które są potęgami dwójki, wydaje następujące twierdzenie prawdziwe: (a + b + c) == (a | b | c). I IMHO, +wygląda lepiej.

Poeksperymentowałem z ~ i stwierdziłem, że może mieć pułapki. Rozważmy ten fragment kodu LINQPad, który pokazuje, że wartość wyliczenia All nie zachowuje się zgodnie z oczekiwaniami, gdy wszystkie wartości są razem.

void Main()
{
    StatusFilterEnum x = StatusFilterEnum.Standard | StatusFilterEnum.Saved;
    bool isAll = (x & StatusFilterEnum.All) == StatusFilterEnum.All;
    //isAll is false but the naive user would expect true
    isAll.Dump();
}
[Flags]
public enum StatusFilterEnum {
      Standard =0,
      Saved =1,   
      All = ~0 
}

Po prostu chcę dodać, jeśli używasz wyliczenia [Flags], wygodniejsze może być użycie bitowego operatora przesunięcia w lewo, na przykład:

[Flags]
enum SampleEnum
{
    None   = 0,      // 0
    First  = 1 << 0, // 1b    = 1d
    Second = 1 << 1, // 10b   = 2d
    Third  = 1 << 2, // 100b  = 4d
    Fourth = 1 << 3, // 1000b = 8d
    All    = ~0      // 11111111b
}