Есть ли термины «истинный», «ложный» и переключающий логическое значение? [закрыто]

Допустим, я пытаюсь описать свой код на техническом совещании.

Сначала я установил логическое foobarзначениеtrue

а также

Во-вторых, я установил логическое foobarзначениеfalse

кажется немного многословным Если foobarбы меня переключили, я бы, наверное, сказал:

В-третьих, я переключаю foobar

Подразумевается, что это логическое значение. Так я не должен быть в состоянии:

В- четвертых, я Truthify Foobar

а также

В-пятых, я фальсифицирую фубар

Что также косвенно скажет моим слушателям, что мы имеем дело с булевой переменной? Есть ли подходящая терминология для этого? Спасибо.

• Установка значения в true - это установка
• Установка его в false очищает его.
• Изменение текущего значения переключает его.

Конечно, вы также можете использовать «установив его на истинное» и «установив на ложное» .

Если это вообще возможно, вместо того, чтобы фокусироваться на логическом значении, вы должны попытаться описать, что оно представляет. Некоторые примеры:

• сервис? старт / остановка вместо старт = истина / ложь
• спецэффект в игровом движке? вкл выкл
• электрический сигнал? Набор / сброс
• ...

Таким образом, вы будете говорить в более естественных терминах. И поэтому на собрании вместо «правдивого foobar, а затем фальсификации» вы просто «запустите foobar, а затем остановите его» (если foobar действительно является службой).

Когда вам действительно нужно поговорить о логическом значении, вы можете выбрать «установить / сбросить» или «установить в значение true» и «установить в значение false». "Toggle" звучит довольно приятно во всех контекстах.

И если вы работаете в булевом магазине (что бы это ни значило), вам, вероятно, нужно больше слов, чем то, что может предложить словарь. В этом случае истина и фальсификация - это просто части вашего микропоговора .

Мне нравится «установить» / «очистить», но будьте осторожны с неоднозначностью в вашей фразе. Как указывает Филип , «установка переменной bool» может означать запись некоторого значения в переменную. Но «установка флага» более понятна.

Связанная терминология: преобразование 0 / ненулевого целого числа в значение 0/1 называется «логическим значением» .

Если вы на самом деле используете значение 0/1 как целое число (а не как true / false bool), вы можете использовать это слово. В противном случае он, вероятно, появится, только если вы говорите о стоимости операций, которые должен выполнить компилятор. (Или, если вы вручную векторизуете с помощью SIMD, сравните, чтобы получить все ноль / все-один бит в каждом элементе вектора).

В C и C ++ a boolможет неявно преобразовывать обратно в целое число как 0 или 1, а в обычных реализациях boolхранится как однобайтовое значение, равное 0 или 1 (не просто любое ненулевое значение). Это позволяет эффективно a && b, но на практике многие компиляторы C пропустили оптимизацию .

bool booleanize(int a) { return a; }   // C++

Эта функция компилируется в несколько инструкций (не включая ret) на большинстве архитектур. (MIPS - интересное исключение, имеющее инструкции сравнения в регистр вместо отдельного регистра флага / кода условия). в проводнике компилятора Godbolt для большого пальца x86-64, MIPS и ARM мы можем увидеть версию x86-64:

    test    edi, edi    # set flags according to   a & a
    setne   al
    ret                 # return value in AL, the low byte of RAX

Извините, этот пример того, что логическое выражение получилось немного большим / не по теме!

Я думаю, что «установить Foobarв истину» и «установить Foobarв ложь» являются прямыми и краткими. Я не верю, что есть отдельные слова для этих фраз, и когда вам нужно быть технически и точным, иногда лучше быть готовым быть немного словесным, чем рисковать смущать вашу аудиторию.

«Настройка» - это правильный способ описания действия по присвоению значения переменной. Если вы хотите получить педантичный об этом, вы могли бы назвать это «назначение», но «набор» является очень распространенным. На самом деле, это идиоматическая Java - писать setFoobar()(и getFoobar()) методы для выполнения присваивания. C # делает шаг дальше с getи setопределения собственности.

Что касается вашего второго пункта об использовании «trueify» и «falsify» to «посредством импликации, скажите моим слушателям, что мы имеем дело с булевой переменной», вы уже говорите своим слушателям, что переменная «Boolean», когда вы говорите:

Я настроен Foobarнаtrue

Можно также использовать Assert или Retract , чаще всего, когда речь идет о предложениях, а не о простых переменных, например, в Prolog. Обычно существуют разные термины, зависящие от того, что представляет логическое значение, а не один общий термин для всех языков, имеющих логические значения (установить / очистить флаг или бит, включить / отключить устройство или режим, утверждение / убрать предложение, возможно, больше).

Изменение логического значения с trueна falseили наоборот называется отрицанием .

Чтобы установить значение логического значения, falseсчитается фальсификацией логического значения. Я бы понял вас, если бы вы сказали «правда», однако это звучит неправильно. Я не уверен, что глагол для того true, чтобы сделать что-то , так что это может быть правильно.

Я бы подождал, пока кто-нибудь с лучшим ответом придет, прежде чем вы начнете использовать «правду» волей-неволей.

Логическое является эквивалентом SPST (однополюсный, одного броска) электрический выключатель: один поворачивает его на или прочь .