Чому на Java не існує функції Constant?

Я намагався визначити причину констант на Яві, я дізнався, що Java дозволяє нам оголошувати константи за допомогою finalключового слова.

Моє запитання, чому Java не ввела функцію Constant ( const). Оскільки багато людей кажуть, що це походить від C ++, у C ++ у нас є constключове слово.

Будь ласка, поділіться своїми думками.

Кожен раз, коли я переходжу від важкого кодування C ++ до Java, мені потрібно трохи часу, щоб пристосуватися до відсутності коректності у Java. Це використання constв C ++ значно відрізняється, ніж просто декларування постійних змінних, якщо ви цього не знали. По суті, він гарантує, що об'єкт є незмінним при доступі через спеціальний вид покажчика, який називається const-pointer Коли в Java, в місцях, де я зазвичай хочу повернути const-pointer, я замість цього повертаю посилання з типом інтерфейсу містять лише методи, які не повинні мати побічних ефектів. На жаль, це не виконується мовою.

Вікіпедія пропонує наступну інформацію з цього питання:

Цікаво, що специфікація мови Java розглядає const як зарезервоване ключове слово - тобто таке, яке не можна використовувати як ідентифікатор змінної - але не призначає йому ніякої семантики. Вважається, що резервування ключового слова відбулося з метою розширення мови Java, щоб включати методи const у стилі C ++ та вказівник на тип const. Квиток запиту на удосконалення в Процесі спільноти Java для впровадження правильності const у Java був закритий у 2005 році, що означає, що правильність const, ймовірно, ніколи не знайде свій шлях до офіційної специфікації Java.

Що constозначає
По-перше, зрозумійте, що семантика ключового слова "const" означає різні речі для різних людей:

• тільки для читання посилань - Java finalсемантики - сам посилальні змінний не може бути перепризначено до точки в іншу (наприклад , осередок пам'яті), але сам екземпляр є змінним
• constдоступна для читання посилання - вказівник C / семантика посилань - означає, що ця посилання не може бути використана для зміни екземпляра (наприклад, не можна призначати змінні екземпляра, не може викликати зміни мутаційних методів) - впливає тільки на змінну посилання, тому посилання, що не відповідає const, вказує на той самий екземпляр може змінити екземпляр
• незмінний об'єкт - означає, що сам екземпляр не може бути змінений - застосовується до екземпляра, тому будь-яка посилання, що не стосується const, не буде дозволена або не може бути використана для зміни примірника
• якесь поєднання вищезазначеного ?
• інші ?

Чому чи чому б не по-const
друге, якщо ви дійсно хочете зануритися в деякі з аргументів "про" проти "кон", дивіться дискусію в цьому запиті на покращення (RFE) "помилку". Ця RFE вимагає функцію "const" типу "для читання". Відкрита в 1999 році, а потім закрита / відхилена Sun у 2005 році, тема "const" активно обговорювалася:

http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4211070

Хоча є багато хороших аргументів з обох сторін, деякі часто цитовані (але не обов'язково переконливі чи чіткі) причини проти const:

• може мати заплутану семантику, яку можна зловживати та / або зловживати (див. Що constозначає вище)
• може дублювати можливості, доступні в іншому випадку (наприклад, проектування незмінного класу, використовуючи незмінний інтерфейс)
• Це може бути повзуча особливість, що призводить до необхідності інших смислових змін, таких як підтримка передачі об'єктів за значенням

Перш ніж хтось спробує обговорити мене, чи це хороші чи погані причини, зауважте, що це не мої причини . Вони просто "суть" однієї з причин, за якими я ухилився від зневірення дискусії щодо RFE. Я не обов'язково погоджуюся з ними сам - я просто намагаюся сказати, чому деякі люди (не я) можуть вважати, що constключове слово може бути не дуже хорошою ідеєю. Особисто я хотів би, щоб більше «const» семантики було введено до мови однозначно.

const в C ++ не означає, що значення є константою.

const в C ++ випливає, що клієнт договору зобов’язується не змінювати його вартість.

Чи constзмінюється значення вираження, стає більш очевидним, якщо ви знаходитесь в середовищі, яке підтримує одночасність на основі потоку.

Оскільки Java розроблялася з самого початку для підтримки потоку і блокування одночасності, вона не додала плутанини, перевантажуючи термін, щоб мати семантику, яка finalє.

наприклад:

#include <iostream>

int main ()
{
    volatile const int x = 42;

    std::cout << x << std::endl;

    *const_cast<int*>(&x) = 7;

    std::cout << x << std::endl;

    return 0;
}

виходи 42, то 7.

Хоча xпозначений як const, як створений псевдонім, xякий не є суворим, не є постійною. Не кожен компілятор вимагає volatileтакої поведінки (хоча кожному компілятору дозволено вбудовувати константу)

При більш складних системах ви отримуєте псевдоніми const / non-const без використання const_cast, тому ввівшись у звичку думати, що const означає, що щось не зміниться, стає все більш небезпечним. constозначає лише, що ваш код не може змінити його без виступу, не те, що значення є постійним.

Це трохи старе запитання, але я подумав, що все-таки вкладу свої 2 копійки, оскільки ця тема сьогодні з'явилася в розмові.

Це точно не відповідає чому не існує const? але як зробити ваші заняття непорушними. (На жаль, у мене ще недостатньо репутації, щоб розмістити коментар до прийнятої відповіді)

Спосіб гарантувати незмінність об’єкта - це більш ретельно спроектувати свої класи, щоб вони були незмінні. Для цього потрібно трохи більше турбот, ніж клас, що змінюється.

Це повертається до ефективної Java- позиції 15 Джоша Блоха - Мінімізація змінності . Якщо ви ще не читали книгу, візьміть копію та прочитайте її кілька разів, я гарантую, що вона збільшить вашу образну «гру на Java» .

У пункті 15 Bloch пропонують обмежити можливість зміни класів, щоб забезпечити стан об'єкта.

Цитувати книгу безпосередньо:

Незмінний клас - це просто клас, екземпляри якого неможливо змінити. Вся інформація, що міститься в кожному екземплярі, надається при її створенні та фіксується протягом життя об’єкта. Бібліотеки платформи Java містять безліч незмінних класів, включаючи String, примітивні класи в коробці, а також BigInteger та BigDecimal. Для цього є багато вагомих причин: Незмінні класи легше проектувати, впроваджувати та використовувати, ніж класи, що змінюються. Вони менш схильні до помилок і більш безпечні.

Потім Bloch описує, як зробити свої класи незмінними, дотримуючись 5 простих правил:

1. Не надайте жодних методів, що змінюють стан об'єкта (тобто сеттери, мутатори ака )
2. Переконайтесь, що клас не може бути розширений (це означає оголошення класу як final).
3. Зробіть усі поля final.
4. Зробіть усі поля private.
5. Забезпечте виключний доступ до будь-яких змінних компонентів. (роблячи захисні копії об'єктів)

Для більш детальної інформації я настійно рекомендую забрати примірник книги.

Семантика C ++ constсильно відрізняється від Java final. Якби дизайнери використовували constце, це було б надмірно заплутаним.

Той факт, що constце застережене слово, говорить про те, що у дизайнерів були ідеї для їх втілення const, але з тих пір вони вирішили проти цього; побачити цю закриту помилку . Зазначені причини включають, що додавання підтримки для стилю C ++ constспричинить проблеми сумісності.

Існує спосіб створити "const" змінні в Java, але тільки для конкретних класів. Просто визначте клас із кінцевими властивостями та підкласуйте його. Потім використовуйте базовий клас, де ви хочете використовувати "const". Так само, якщо вам потрібно використовувати методи "const", додайте їх до базового класу. Компілятор не дозволить вам змінювати те, що, на його думку, є кінцевими методами базового класу, але він буде читати та викликати методи на підкласі.

Існуватиме два способи визначення констант - constпричому static finalз точно такою ж семантикою. Крім того, static finalописує поведінку краще, ніжconst

Ви можете використовувати статичний фінал, щоб створити щось, що працює аналогічно Const, я це використовував у минулому.

protected static final int cOTHER = 0;
protected static final int cRPM = 1;
protected static final int cSPEED = 2;
protected static final int cTPS = 3;
protected int DataItemEnum = 0;

public static final int INVALID_PIN = -1;
public static final int LED_PIN = 0;