Що таке тильда (~) у визначенні enum?

Мене завжди дивує, що навіть після використання C # за весь цей час мені все одно вдається знайти речі, про які я не знав ...

Я намагався шукати в Інтернеті це, але використання "~" у пошуку не працює для мене так добре, і я теж не знайшов нічого в MSDN (не кажучи, що його немає)

Нещодавно я побачив цей фрагмент коду, що означає tilde (~)?

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

Я трохи здивувався, побачивши це, тому спробував скласти його, і це спрацювало ... але я досі не знаю, що це означає / робить. Будь-яка допомога ??

~ - оператор доповнення одинарного - він перегортає біти свого операнда.

~0 = 0xFFFFFFFF = -1

в арифметиці доповнення двох, ~x == -x-1

Оператора ~ можна знайти майже на будь-якій мові, яка запозичила синтаксис з C, включаючи Objective-C / C ++ / C # / Java / Javascript.

Я думаю, що:

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

Було б трохи зрозуміліше.

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

Через два доповнення в C #, ~0 == -1число, де всі біти дорівнюють 1 у двійковому поданні.

Це краще, ніж

All = Cash | Check | CreditCard

рішення, оскільки якщо ви додасте інший метод пізніше, скажіть:

PayPal = 8 ,

ви вже будете робити з тильдом-Усі, але доведеться змінити суцільну лінію на іншу. Тож його менш схильні до помилок пізніше.

з повагою

Просто бічна примітка, коли ви користуєтесь

All = Cash | Check | CreditCard

Ви маєте додаткову перевагу, яка Cash | Check | CreditCardб оцінювалась, Allа не інша величина (-1), яка не дорівнює всім, а містить усі значення. Наприклад, якщо ви використовуєте три прапорці в інтерфейсі

[] Cash
[] Check
[] CreditCard

і підсумовувати їхні значення, і користувач вибирає їх усі, ви б побачили Allв отриманому переліченні.

Для інших, хто визначив це питання висвітлюючим, я маю короткий ~приклад, щоб поділитися. Наступний фрагмент з реалізації способу фарби, детально описаний у цій монодокументації , має ~великий ефект:

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

Без ~оператора код, мабуть, виглядатиме приблизно так:

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

... тому що перерахування виглядає так:

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
}

Помічаєте подібність цього перерахунку на відповідь Шона Брайта?

Я думаю, що найважливішим для мене є те, що він ~є тим самим оператором у переліку, як і у звичайному рядку коду.

Це оператор доповнення. Ось стаття, яку я часто посилаюся на побітові оператори

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

Також msdn використовує це у статті про enums, яка демонструє, що воно краще використовує

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

Я особисто використовую альтернативу, яка робить те саме, що відповідь @Sean Bright, але мені краще виглядає:

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

Зверніть увагу , як бінарна природа цих чисел, які всі сили два, робить наступне твердження вірне: (a + b + c) == (a | b | c). І ІМХО, +виглядає краще.

Я зробив кілька експериментів з ~ і виявив, що це може мати підводні камені. Розглянемо цей фрагмент для LINQPad, який показує, що значення All enum не веде себе так, як очікувалося, коли всі значення порушені разом.

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 
}

Просто хочу додати, якщо ви використовуєте [Flags] enum, то, можливо, буде зручніше використовувати бітовий лівий оператор зсуву, як це:

[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
}