Чому було твердження (j ++); заборонено?

Наступний код невірний (див. Його на ideone ):

public class Test
{
    public static void Main()
    {
        int j = 5;
        (j++);      // if we remove the "(" and ")" then this compiles fine.
    }
}

помилка CS0201: Лише призначення, виклик, приріст, зменшення, очікування та нові об'єкти вирази можуть використовуватися як оператор

1. Чому код складається, коли ми видаляємо круглі дужки?
2. Чому він не компілюється з дужками?
3. Чому C # був розроблений саме так?

Глибокі розуміння високо оцінені.

Я зроблю все можливе.

Як відзначали інші відповіді, компілятор, що відбувається тут, виявляє, що вираз використовується як вираз . У багатьох мовах - C, JavaScript та багатьох інших - цілком законно використовувати вираз як вислів. 2 + 2;є законним цими мовами, хоча це твердження, яке не має ніякого ефекту. Деякі вирази корисні лише для своїх значень, деякі вирази корисні лише для їх побічних ефектів (наприклад, заклик до методу повернення недійсних даних), а деякі вирази, на жаль, корисні для обох. (Як приріст.)

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

ВІДПОВІДЬ: Як правило, людина вважає, що конструкція об'єкта використовується як значення, яке воно виробляє, а не для побічного ефекту конструкції; на мою думку, це дозволяє new Foo();трохи невдало. Зокрема, я бачив цю закономірність у реальному коді, що спричинив дефект безпеки:

catch(FooException ex) { new BarException(ex); } 

Цей дефект напрочуд важко помітити, якщо код складний.

Таким чином, компілятор працює над тим, щоб виявити всі висловлювання, що складаються з виразів, яких немає у цьому списку. Зокрема, викладені в дужках вирази ідентифікуються як саме це - виразки в дужках. Їх немає у списку "дозволено як вирази висловлювань", тому їх заборонено.

Все це відповідає принципу дизайну мови C #. Якщо ви ввели текст, (x++);ви, ймовірно, робили щось не так . Це, мабуть, помилка друку M(x++);чи якась справедлива річ. Пам'ятайте, що ставлення команди компілятора C # не полягає в тому, "чи можемо ми знайти якийсь спосіб зробити цю роботу? " Ставлення команди компілятора C # таке: " якщо правдоподібний код виглядає як ймовірна помилка, повідомляємо розробника ". C # розробникам подобається таке ставлення.

Тепер, все , що сказав, є на самому ділі кілька дивних випадків , коли C # специфікація робить передбачають або стан безпосередньо , що круглі дужки заборонені , але C # компілятор дозволяє їм в будь-якому випадку. Майже у всіх цих випадках незначна невідповідність між вказаною поведінкою та дозволеною поведінкою є абсолютно нешкідливою, тому автори-компілятори ніколи не виправляли цих маленьких помилок. Про них можна прочитати тут:

Чи є різниця між поверненням myVar проти повернення (myVar)?

У специфікації мови C #

Висловлення виразів використовуються для оцінки виразів. Вирази, які можуть бути використані як оператори, включають виклики методів, виділення об'єктів за допомогою нового оператора, призначення з використанням = і операторів присвоєння складених даних, операції збільшення та зменшення з використанням операторів ++ і - та очікують виразів.

Поставлення дужок навколо оператора створює новий так званий вираз у дужках. З специфікації:

Вираз у дужках складається з виразу, укладеного в круглі дужки. ... Вираз в круглих дужках оцінюється виразом в дужках. Якщо вираз у круглих дужках позначає простір імен чи тип, виникає помилка часу компіляції. В іншому випадку результат дужки виразів є результатом оцінки виразного вмісту.

Оскільки круглі вирази не перераховані як допустимий вираз виразу, це не є дійсним твердженням відповідно до специфікації. Чому дизайнери вирішили зробити це таким чином - це хтось здогадується, але я думаю, що дужки не роблять корисної роботи, якщо все твердження міститься в дужках: stmtі (stmt)абсолютно однакові.

через те, що дужки навколо i++створюють / визначають вираз .. як говориться в повідомленні про помилку .. простий вираз не може використовуватися як вираз.

чому мова була розроблена таким чином? щоб запобігти помилкам, що мають оманливі вирази як заяви, які не створюють побічних ефектів, як, наприклад, код

int j = 5;
j+1; 

другий рядок не має ефекту (але ви, можливо, цього не помітили). Але замість того, щоб компілятор видалив його (оскільки код не потрібен) .it явно просить вас видалити його (щоб ви були в курсі або помилка) АБО виправити це, якщо ви забули щось набрати.

редагувати :

щоб зробити більш чіткою частину про Bracked .. дужки в c # (крім інших застосувань, як, наприклад, виклик функцій та викликів функцій), використовуються для групування виразів та повернення єдиного виразу (make of sub вирази).

на цьому рівні коду дозволені лише позиції .. так

j++; is a valid statement because it produces side effects

але, використовуючи прикріплений, ви перетворюєте це на вираз

myTempExpression = (j++)

і це

myTempExpression;

не вірно, тому що компілятор не може запевнити, що вираз як побічний ефект. (не без виникнення проблеми зупинки) ..