для полей класса - потому что, это гаратнировано приведет к разрушению инкапсуляции. Если сущность вместо name содержит optional<name> значит или а) будет аксесор к getOptionalName() что явное "неуважение к объекту", либо б) каждое внутренее использование будет проверять наличие значение что опять же очень сомнительно, весь код будет состоять из проверок или маппинги в значение. Следующая проблема - проектрование значителньо усложняется, так как POJO семантически корректно ложится в реляционную модель и может пользоваться всеми преимуществами проектиования используя классические паттерны, optional<> резко усложняет такое проектировани и заставляет внедрнять дополнительные преобразования, например при записи/чтении данных в реляционную базу.
2. Почему не для аргументов. Если в язык встроена конкструкция, а -ля value? и не требуется перегрузка функции, так как компилятор различает где const value а где optional value например - ок. Но это не больше чем синтаксический сахар, который снимает задачу тщательного проектирования такого метода. Когда же у нас в методе четкие типы, анпример (T) null то данный встроеный тип кастуется к целевому типу явно, и в такой метод можно передать или null или собственно значение, чтоб делает контракт метода пригодным для перегрузки или переопределения. Но null имеет свои недостатки и принципиалньо не избавляет от проблемы с проектированием метода. Почему все таки optional это сахар и null это плохо - потом что в недостаточно хорошо спроектированном методе возникает потребность обработки случаев когда один или несколько параметров опциональны, а вместо того чтобы пользоваться таким искушенияи лучше разбить метод на 2 или N методов с более конкретно ответсвеность, в которых недопустима опциональность вообще.
Вообще в джаве есть проблема с перегрузкой функций из-за отсутствия опциональных параметров, поскольку при попытке их использовать возникает комбинаторное количество методов и дикое количество условий в каком-то базовом методе. Поэтому опциональность должна быть явно оговорена и при большом количестве параметров вынесена в специальный класс для параметров, который будет заботиться о предоставлении значения для вызывающего метода.
Обсуждают сегодня