Здравствуйте
Вопрос:
Как можно проверить корректность математических
и логических операций над переменными заданного
типа.
на входе [(int) = (int) + (int)] на выходе [true]
на входе [(int) = (String) + (int)] на выходе [false]
на входе [(String) = (String) + (int)] на выходе [true]
на входе [(String) > (int)] на выходе [false]
на входе [(int) < (int)] на выходе [true]
и т.д.
Может есть какие-нибудь оптимизированные алгоритмы
для того чтобы не перебирать все возможные варианты
со всеми операторами и типами
Буду благодарен за любую информацию.

Может проще проверять тип данных. А операции уже оставить на потом.

Как раз это "потом" и интересует. На входе есть типы.
Требуется проверить возможность действия:
"левая часть" оператор "правая часть"

Может, имеет смысл объединить типы в группы (числовые, строковые) и проверять возможность операций для групп?
Или как-нибудь распределить их по уровням.

Цитата(Lamer @ 3.3.2005, 14:40)

Может, имеет смысл объединить типы в группы

Именно это и имелось в виду.

Написать метод, принимающий два СТРОКОВЫХ параметра, именно имена типов. Внутри метода создать два объекта, соответствующих запрошенным типам (выбор из, ИМХО, не очень длинного CASE), и попробовать выполнить 1) математическую операцию (например, сложение) и 2) логическую (например, <). Если возник Exception - вернуть false. Для математики важно именно сложение, поскольку сложение строк (конкатенация) для String допустима, а вычитание или деление - нет. Возможно даже обойтись одной операцией - недопустимость математики означает обычно и недопустимость логики.

А можно поподробнее. Как выполнить математическую операцию (например, сложение)
двух объектов
<!-- Object = Object1 + Object2
The operator + is undefined for the argument type(s) java.lang.Object, java.lang.Object -->
однако
Или я что-то не понимаю?

Цитата(firsttime @ 4.3.2005, 01:26)

Как выполнить математическую операцию (например, сложение) двух объектов

Никак. Перегружать операторы в Java нельзя.

Так что же делать!!!!????

Может объяснишь, что за задача ?
А то какая-то надуманность проблемы настораживает. Ну не помню я за свою практику такой проблемы.

Проблема:
На входе есть исходник к примеру:
[ int a = 5 + "str"; /*Строка 1*/
int b = 5 + 6; /*Строка 2*/ ]
Нужно определить что строка 2 допустима,
а строка 1 - нет

Код

public interface Addable {      add(Addable a);      int getValue();      setValue(int v); } public class MyInteger implements Addable {      private int x;      public MyInteger(int value)      {            x = value;      }      public void add(Addable a)      {            x += a.getValue();      }      public int getValue()      {            return x;      }      public void setValue(int value)      {            x = value;      } } public class Apple implements Addable {      private int radious;      public Apple (int radious)      {            this.radious = radious;      }      public void add(Addable a)      {            radious += 45454;      }      public int getValue()      {            return radious;      }      public void setValue(int radious)      {            this.radious = radious;      } } // .... Apple a = new Apple(); a.setValue(232); MyInteger mi = new MyInteger(33); mi.add(a);

Только вот зачем это все нужно?

Добавлено @ 10:46

Цитата(firsttime @ 4.3.2005, 01:42)

На входе есть исходник к примеру: [ int a = 5 + "str"; /*Строка 1*/ int b = 5 + 6; /*Строка 2*/ ] Нужно определить что строка 2 допустима,

Так чего ж ты пишешь что тебе складывать надо???? Парсишь строки, определяешь токены, находишь их "тип", если он разный - строка не подходит.

Строка отпарсена. Есть очередь событий. Что-то типа:
<!--
(int) (identifier) (=) (int) (+) (string) (;) /* строка1 */
(int) (identifier) (=) (int) (+) (int) (;)/* строка2 */
(int) (==) (int) /* строка3 */
(float) (>=) (String) /* строка4 */
(String) (identifier) (=) (int) (+) (string) (;) /* строка5 */
-->
и таких куча разных вариантов (все не переберешь)
Нужно получить
/* строка1 */ - false
/* строка1 */ - true
/* строка1 */ - true
/* строка1 */ - false
/* строка1 */ - true[/color][color=skyblue]

Если строка распарсена, то каждый токен уже имеет тип (или может иметь). Если у тебя токены одного типа, то операция может быть корректно выполнена, если же есть разные типы, то нет.

(String) (identifier) (=) (int) (+) (string) (;) /* строка5 */
Токены разного типа, однако строка корректна
(string) (>) (string)
Токены одного типа, однако строка некорректна