Создать функцию на ST

[Andrey G]

Добрый день,

Приведенный ниже код почему то возвращает 0 или 1 в зависимости от значения inputVariable
Если убрать оба exit; то возвращает как ожидается - 55 всегда
Такое ощущение что exit; неправильно работает внутри case of
может кто сталкивался?
версия 1.23.301.0

function function1: udint; 
    var_input 
        inputVariable : bool; 
    end_var
    var 
        localVariable : udint := 0; 
    end_var
    repeat

        case bool_to_udint(inputVariable) of
        0:
          localVariable := 55;
          exit;
        1:
          localVariable := 55;
          exit;          
      end_case
    until true
    end_repeat
    
    function1 := localVariable;
    
end_function

[Andrey G]

Добрый день,

Приведенный ниже код почему то возвращает 0 или 1 в зависимости от значения inputVariable
Если убрать оба exit; то возвращает как ожидается - 55 всегда
Такое ощущение что exit; неправильно работает внутри case of
может кто сталкивался?
версия 1.23.301.0

function function1: udint; 
    var_input 
        inputVariable : bool; 
    end_var
    var 
        localVariable : udint := 0; 
    end_var
    repeat

        case bool_to_udint(inputVariable) of
        0:
          localVariable := 55;
          exit;
        1:
          localVariable := 55;
          exit;          
      end_case
    until true
    end_repeat
    
    function1 := localVariable;
    
end_function

Поддержка отписала что проблема действительно в компиляторе и ее когда-нибудь починят.

[Валенок]

Поддержка отписала что проблема действительно в компиляторе и ее когда-нибудь починят.

TRUE для repeat это выход из цикла (это про то, что тут нет бесконечных циклов до которых доколебались)

А так, видимо exit здесь мастерили сишники)) Описанные симптомы располагают

[Andrey G]

TRUE для repeat это выход из цикла (это про то, что тут нет бесконечных циклов до которых доколебались)

А так, видимо exit здесь мастерили сишники)) Описанные симптомы располагают

Респект вам что код посмотрели ) Я так то про exit спрашивал но почему то дискуссия в сторону циклов ушла и советов как мне писать автомат.

repeat с безусловным выходом использую чтобы выскочить из case вызвав там exit. Я вообще думал это стандартная конструкция для ST, странно что такой ажиотаж вокруг нее.

[1exan]

Респект вам что код посмотрели ) Я так то про exit спрашивал но почему то дискуссия в сторону циклов ушла и советов как мне писать автомат.

repeat с безусловным выходом использую чтобы выскочить из case вызвав там exit. Я вообще думал это стандартная конструкция для ST, странно что такой ажиотаж вокруг нее.

оператор CASE в ST:

"CASE
Аналогичен switch в C. Альтернативные ветки не имеют закрывающей программной скобки
и не могут выполняться одна за другой. Соответственно оператор break не имеет смысла и
отсутствует. "

в справке ОЛ по CASE тоже ни exit ни repeat не упоминаются

[Andrey G]

оператор CASE в ST:

"CASE
Аналогичен switch в C. Альтернативные ветки не имеют закрывающей программной скобки
и не могут выполняться одна за другой. Соответственно оператор break не имеет смысла и
отсутствует. "

в справке ОЛ по CASE тоже ни exit ни repeat не упоминаются

break; в СИ так же удобно использовать если вам не нужно выполнять всю ветку.
например если у вас в ветке несколько проверок перед выполнением остального кода. Тогда у Вас есть вариант поместить код который должен выполнится под условие

case 1:
  if (условие)
  {
     код;
  }
  break;

Когда условий много, вложенность if становится большой.

case 1:
  if (условие1)
  {
     if (условие2)
    {
       if (условие3)
       {
          код;
       }
     }
   }
   break;

В таком случае бывает удобно записать так:

case 1:
  if (!условие1) break;
  if (!условие2) break;
  if (!условие3) break;
     
  код;
  break;

[Andrey G]

Этот код сам по себе не логичен, зачем здесь бесконечный цикл? Не удивительно что компилятор работает не корректно

Я собственно про некорректность работы компилятора и пишу.
Если компилятор код скомпилировал, то он должен работать в соответствии с документацией. Если не может скомпилировать - должен выдать ошибку.
Здесь налицо непредсказуемое поведение которое кому-нибудь точно потратит много времени
Я понимаю что у нас тут не gcc и никто ничего не вылизывал годами. Нашел ошибку, поделился с сообществом и разработчиками.
Пример написан для демонстрации неправильной работы компилятора, чтобы не утруждать Вас чтением 200+ строк кода.
Про логичность я кажется ничего не спрашивал.

[Денисов Максим Сергеевич]

Я собственно про некорректность работы компилятора и пишу.
Если компилятор код скомпилировал, то он должен работать в соответствии с документацией. Если не может скомпилировать - должен выдать ошибку.
Здесь налицо непредсказуемое поведение которое кому-нибудь точно потратит много времени
Я понимаю что у нас тут не gcc и никто ничего не вылизывал годами. Нашел ошибку, поделился с сообществом и разработчиками.
Пример написан для демонстрации неправильной работы компилятора, чтобы не утруждать Вас чтением 200+ строк кода.
Про логичность я кажется ничего не спрашивал.

Приложите, пожалуйста, проект здесь или если будет удобнее можете направить на почту.

[Andrey G]

ну тут вобщем то не к exit больше вопросов, а к самому репиту, любое его использование не дает правильный результат, я например добился того что если ни чего после репита не стоит, то функция возвращает ноль, если есть некая строчка, то единицу

Спасибо, это полезная информация.
Бесконечный репит использую для переключения нескольких состояний автомата за один скан, попробую по-другому сделать раз репит ненадежно работает

[Cs-Cs]

Бесконечный репит использую для переключения нескольких состояний автомата за один скан, попробую по-другому сделать раз репит ненадежно работает

Не надо так! Надо переключать всё за один цикл программы ПРки, а не цикл в цикле.